mdh.sePublications
Change search
Link to record
Permanent link

Direct link
BETA
Publications (10 of 85) Show all publications
UL Muram, F., Gallina, B. & Kanwal, S. (2019). A Tool-supported Model-based Method for Facilitating the EN50129-compliant Safety Approval Process. In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2019: . Paper presented at 3rd International Conference Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification RSS-Rail-2019, 04 Jun 2019, Lille, France (pp. 125-141).
Open this publication in new window or tab >>A Tool-supported Model-based Method for Facilitating the EN50129-compliant Safety Approval Process
2019 (English)In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2019, 2019, p. 125-141Conference paper, Published paper (Refereed)
Abstract [en]

Compliance with the CENELEC series is mandatory during the planning of as well as development of railway systems. For compliance purposes, the creation of safety plans, which define safety-related activities and all other process elements relevant at the planning phase, is also needed. These plans are expected to be executed during the development phase. Specifically, EN 50129 defines the safety plan acceptance and approval process, where interactions between the applicant and the certification body are recommended: after the planning phase, to ensure the compliance between plans and standards, and after the development phase, to ensure the effective and not-deviating-unless-justified execution of plans. In this paper, we provide a tool-supported method for facilitating the safety approval processes/certification liaison processes. More specifically, the facilitation consists in guidance for modelling planned processes and the requirements listed in the standards in order to enable the automatic generation of baselines, post-planning processes and evidence models, needed during the execution phase and change impact tracking for manual monitoring of the compatibility between plans and their execution. The applicability of the proposed method is illustrated in the context of EN 50126-1 and EN 50129 standards.

Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 11495
Keywords
EN 50129, EN 50126-1, safety management, safety processes, regulatory compliance, safety plans, model transformation
National Category
Engineering and Technology Computer Systems
Identifiers
urn:nbn:se:mdh:diva-43920 (URN)10.1007/978-3-030-18744-6_8 (DOI)2-s2.0-85066850709 (Scopus ID)9783030187439 (ISBN)
Conference
3rd International Conference Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification RSS-Rail-2019, 04 Jun 2019, Lille, France
Projects
AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems
Available from: 2019-06-14 Created: 2019-06-14 Last updated: 2019-06-18Bibliographically approved
Haider, Z., Gallina, B., Carlsson, A., Mazzini, S. & Puri, S. (2019). Concerto FLA-based multi-concern assurance for space systems. Ada User Journal, 40(1), 35-39
Open this publication in new window or tab >>Concerto FLA-based multi-concern assurance for space systems
Show others...
2019 (English)In: Ada User Journal, ISSN 1381-6551, Vol. 40, no 1, p. 35-39Article in journal (Refereed) Published
Abstract [en]

Space systems often need to be engineered in compliance with standards such as ECSS and need to ensure a certain degree of dependability. Given the multi-faceted nature of dependability (characterized by a set of concerns), assuring dependability implies multi-concern assurance, which requires the modelling of various system characteristics and their co-assessment and co-analysis, in order to enable the management of trade-offs between them. CHESS is a systems engineering methodology and an open source toolset, which includes ConcertoFLA. ConcertoFLA allows users (system architects and dependability engineers) to decorate component-based architectural models with dependability-related information, execute Failure Logic Analysis (FLA) techniques, and get the results back-propagated onto the original model. In this paper, we present the customization of the CHESS methodology and ConcertoFLA in the context of the ECSS standards to enable architects and dependability engineers to define a system and perform dependability-centered co-analysis for assuring the required non-functional properties of the system according to ECSS requirements. The proposed customization is then applied in the context of spacecraft Attitude Control Systems engineering, which is a part of satellite on-board software. 

Place, publisher, year, edition, pages
Ada-Europe, 2019
Keywords
CHESS toolset, Dependability analysis, Dependability assurance, ECSS standard series, Failure Logic Analysis, Multi-concern
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-44662 (URN)2-s2.0-85067085087 (Scopus ID)
Available from: 2019-06-27 Created: 2019-06-27 Last updated: 2019-06-27Bibliographically approved
Nešić, D., Nyberg, M. & Gallina, B. (2019). Constructing product-line safety cases from contract-based specifications. In: Proceedings of the ACM Symposium on Applied Computing: . Paper presented at 34th Annual ACM Symposium on Applied Computing, SAC 2019, 8 April 2019 through 12 April 2019 (pp. 2022-2031). Association for Computing Machinery
Open this publication in new window or tab >>Constructing product-line safety cases from contract-based specifications
2019 (English)In: Proceedings of the ACM Symposium on Applied Computing, Association for Computing Machinery , 2019, p. 2022-2031Conference paper, Published paper (Refereed)
Abstract [en]

Safety cases are used to argue that safety-critical systems satisfy the requirements that are determined to mitigate the potential hazards in the systems operating environment. Although typically a manual task, safety cases have been successfully created for systems without many configuration options. However, in highly configurable systems, typically developed as a Product Line (PL), arguing about each possible configuration, and ensuring the completeness of the safety case are still open research problems. This paper presents a novel and general approach, based on Contract-Based Specification (CBS), for the construction of a safety case for an arbitrary PL. Starting from a general CBS framework, we present a PL extensions that allows expressing configurable systems and preserves the properties of the original CBS framework. Then, we define the transformation from arbitrary PL models, created using extended CBS framework, to a safety case argumentation-structure, expressed using the Goal Structuring Notation. Finally, the approach is exemplified on a simplified, but real, and currently produced system by Scania CV AB.

Place, publisher, year, edition, pages
Association for Computing Machinery, 2019
Keywords
Contract-based specification, Product line engineering, Safety case, Electric circuit breakers, Specifications, Argumentation structures, Based specification, Configuration options, Goal structuring notation, Operating environment, Safety critical systems, Safety engineering
National Category
Computer and Information Sciences
Identifiers
urn:nbn:se:mdh:diva-43503 (URN)10.1145/3297280.3297479 (DOI)2-s2.0-85065658280 (Scopus ID)
Conference
34th Annual ACM Symposium on Applied Computing, SAC 2019, 8 April 2019 through 12 April 2019
Note

Conference code: 147772; Export Date: 24 May 2019; Conference Paper

Available from: 2019-06-11 Created: 2019-06-11 Last updated: 2019-06-11Bibliographically approved
Haider, Z., Gallina, B. & Moreno, E. Z. (2019). FLA2FT: Automatic Generation of Fault Tree from ConcertoFLA Results. In: Proceedings - 2018 3rd International Conference on System Reliability and Safety, ICSRS 201811 April 2019: . Paper presented at 3rd International Conference on System Reliability and Safety, ICSRS 2018; Barcelona; Spain; 24 November 2018 through 26 November 2018 (pp. 176-181). , Article ID 8688825.
Open this publication in new window or tab >>FLA2FT: Automatic Generation of Fault Tree from ConcertoFLA Results
2019 (English)In: Proceedings - 2018 3rd International Conference on System Reliability and Safety, ICSRS 201811 April 2019, 2019, p. 176-181, article id 8688825Conference paper, Published paper (Refereed)
Abstract [en]

Dependability-critical systems (e.g., space systems) need to be engineered according to dependability standards (e.g. ECSS standards), which require the application of various dependability analyses, including Fault Tree Analysis (FTA). Due to the complex nature of such systems, conducting FTA may turn out to be time-consuming and error prone. Thus, automation is highly desirable. In this paper, we build on top of our previous work and we propose FLA2FT, a tool-supported Fault Tree (FT) generation from ConcertoFLA results. More specifically, we integrate FTA in a well-established existing system modeling and analysis methodology to generate FT automatically using model transformations. To illustrate the usage of FLA2FT, we apply it to the space domain and automate the generation of ECSS-compliant FTs for an Attitude Control System (ACS). Finally, we draw our conclusions and sketch future work.

National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-43414 (URN)10.1109/ICSRS.2018.8688825 (DOI)000470707500028 ()2-s2.0-85065017531 (Scopus ID)9781728102382 (ISBN)
Conference
3rd International Conference on System Reliability and Safety, ICSRS 2018; Barcelona; Spain; 24 November 2018 through 26 November 2018
Available from: 2019-05-09 Created: 2019-05-09 Last updated: 2019-06-20Bibliographically approved
Cai, S., Gallina, B., Nyström, D. & Seceleanu, C. (2019). Statistical Model Checking for Real-Time Database Management Systems: A Case Study. In: The 24th IEEE Conference on Emerging Technologies and Factory Automation ETFA2019: . Paper presented at The 24th IEEE Conference on Emerging Technologies and Factory Automation ETFA2019, 10 Sep 2019, Zaragoza, Spain.
Open this publication in new window or tab >>Statistical Model Checking for Real-Time Database Management Systems: A Case Study
2019 (English)In: The 24th IEEE Conference on Emerging Technologies and Factory Automation ETFA2019, 2019Conference paper, Published paper (Refereed)
Abstract [en]

Many industrial control systems manage critical data using Database Management Systems (DBMS). The correctness of transactions, especially their atomicity, isolation and temporal correctness, is essential for the dependability of the entire system. Existing methods and techniques, however, either lack the ability to analyze the interplay of these properties, or do not scale well for systems with large amounts of transactions and data, and complex transaction management mechanisms. In this paper, we propose to analyze large scale real-time database systems using statistical model checking. We propose a pattern-based framework, by extending our previous work, to model the real-time DBMS as a network of stochastic timed automata, which can be analyzed by UPPAAL Statistical Model Checker. We present an industrial case study, in which we design a collision avoidance system for multiple autonomous construction vehicles, via concurrency control of a real-time DBMS. The desired properties of the designed system are analyzed using our proposed framework.

National Category
Engineering and Technology Computer Systems
Identifiers
urn:nbn:se:mdh:diva-45045 (URN)
Conference
The 24th IEEE Conference on Emerging Technologies and Factory Automation ETFA2019, 10 Sep 2019, Zaragoza, Spain
Projects
Adequacy-based Testing of Extra-Functional Properties of Embedded Systems (VR)
Available from: 2019-08-22 Created: 2019-08-22 Last updated: 2019-08-22Bibliographically approved
Luis de la Vara, J., Ruiz Lopez, A., Gallina, B., Blondelle, G., Alaña, E., Herrero, J., . . . Bramberger, R. (2019). The AMASS Approach for Assurance and Certification of Critical Systems. In: embedded world 2019 ewC-2019: . Paper presented at Embedded world 2019 ewC-2019, 26 Feb 2019, Nuremberg, Germany.
Open this publication in new window or tab >>The AMASS Approach for Assurance and Certification of Critical Systems
Show others...
2019 (English)In: embedded world 2019 ewC-2019, 2019Conference paper, Published paper (Refereed)
Abstract [en]

Safety-critical systems are subject to rigorous assurance and certification processes to guarantee that they do not pose unreasonable risks to people, property, or the environment. The associated activities are usually complex and time-consuming, thus they need adequate support for their execution. The activities are further becoming more challenging as the systems are evolving towards open, interconnected systems with new features, e.g. Internet connectivity, and new assurance needs, e.g. compliance with several assurance standards for different dependability attributes. This requires the development of novel approaches for cost-effective assurance and certification. With the overall goal of lowering assurance and certification costs in face of rapidly changing features and market needs, the AMASS project has created and consolidated the de-facto European-wide open solution for assurance and certification of critical systems. This has been achieved by establishing a novel holistic and reuse-oriented approach for architecture-driven assurance, multi-concern assurance, and for seamless interoperability between assurance and engineering activities along with third-party activities. This paper introduces the main elements of the AMASS approach and how to use them and benefit from them.

Keywords
AMASS, assurance, certification, safety-critical systems, cyber-physical systems, platform, ecosystem, community
National Category
Engineering and Technology Computer Systems
Identifiers
urn:nbn:se:mdh:diva-43915 (URN)
Conference
Embedded world 2019 ewC-2019, 26 Feb 2019, Nuremberg, Germany
Projects
AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems
Available from: 2019-06-17 Created: 2019-06-17 Last updated: 2019-06-17Bibliographically approved
Cai, S., Gallina, B., Nyström, D., Seceleanu, C. & Larsson, A. (2019). Tool-supported design of data aggregation processes in cloud monitoring systems. Journal of Ambient Intelligence and Humanized Computing, 10(7), 2519-2535
Open this publication in new window or tab >>Tool-supported design of data aggregation processes in cloud monitoring systems
Show others...
2019 (English)In: Journal of Ambient Intelligence and Humanized Computing, ISSN 1868-5137, E-ISSN 1868-5145, Vol. 10, no 7, p. 2519-2535Article in journal (Refereed) Published
Abstract [en]

Efficient monitoring of a cloud system involves multiple aggregation processes and large amounts of data with various and interdependent requirements. A thorough understanding and analysis of the characteristics of data aggregation processes can help to improve the software quality and reduce development cost. In this paper, we propose a systematic approach for designing data aggregation processes in cloud monitoring systems. Our approach applies a feature-oriented taxonomy called DAGGTAX (Data AGGregation TAXonomy) to systematically specify the features of the designed system, and SAT-based analysis to check the consistency of the specifications. Following our approach, designers first specify the data aggregation processes by selecting and composing the features from DAGGTAX. These specified features, as well as design constraints, are then formalized as propositional formulas, whose consistency is checked by the Z3 SAT solver. To support our approach, we propose a design tool called SAFARE (SAt-based Feature-oriented dAta aggREgation design), which implements DAGGTAX-based specification of data aggregation processes and design constraints, and integrates the state-of-the-art solver Z3 for automated analysis. We also propose a set of general design constraints, which are integrated by default in SAFARE. The effectiveness of our approach is demonstrated via a case study provided by industry, which aims to design a cloud monitoring system for video streaming. The case study shows that DAGGTAX and SAFARE can help designers to identify reusable features, eliminate infeasible design decisions, and derive crucial system parameters.

Place, publisher, year, edition, pages
Springer Verlag, 2019
Keywords
Cloud monitoring system design, Consistency checking, Data aggregation, Feature model, Computer software selection and evaluation, Design, Quality control, Specifications, Taxonomies, Based specification, Cloud monitoring, Efficient monitoring, Feature modeling, Large amounts of data, Propositional formulas, Monitoring
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
urn:nbn:se:mdh:diva-43881 (URN)10.1007/s12652-018-0730-6 (DOI)000469922500004 ()2-s2.0-85049591829 (Scopus ID)
Available from: 2019-06-11 Created: 2019-06-11 Last updated: 2019-06-18Bibliographically approved
Javed, M. A., Gallina, B. & Carlsson, A. (2019). Towards variant management and change impact analysis in safety-oriented process-product lines. In: Proceedings of the ACM Symposium on Applied Computing: . Paper presented at 34th Annual ACM Symposium on Applied Computing, SAC 2019, 8 April 2019 through 12 April 2019 (pp. 2372-2375). Association for Computing Machinery
Open this publication in new window or tab >>Towards variant management and change impact analysis in safety-oriented process-product lines
2019 (English)In: Proceedings of the ACM Symposium on Applied Computing, Association for Computing Machinery , 2019, p. 2372-2375Conference paper, Published paper (Refereed)
Abstract [en]

In safety-critical (software) systems, safety management embraces both processes and products, which due to e.g., product's upgrade, tend to be tailored, giving rise to safety-oriented product lines and corresponding safety-oriented process lines. To tailor these lines systematically, their inter-dependencies would have been taken into consideration. To date, however, no satisfying implemented solution is available on the shelf. Accordingly, this paper focuses on the co-engineering of process and product lines. At first, the process and product lines need to be established for which the integration between Eclipse Process Framework (EPF) Composer, Composition with Guarantees for High-integrity Embedded Software Components Assembly (CHESS) Tool and Base Variability Resolution (BVR) Tool is achieved; they are process engineering, product design and variant management solutions, respectively. After that, the process and product lines are integrated. This is done for cross-dimension variant management and change impact analysis. The applicability of the integrated lines is illustrated for the attitude and orbit control subsystem.

Place, publisher, year, edition, pages
Association for Computing Machinery, 2019
Keywords
BVR Tool, Change Impact Analysis, CHESS Tool, EPF Composer, Process Engineering, Process-Product Lines, Product Design, Safety engineering, Attitude and orbit control subsystems, Eclipse process framework, Embedded software components, Inter-dependencies, Process products, Variant managements
National Category
Other Engineering and Technologies
Identifiers
urn:nbn:se:mdh:diva-43504 (URN)10.1145/3297280.3297634 (DOI)2-s2.0-85065650221 (Scopus ID)
Conference
34th Annual ACM Symposium on Applied Computing, SAC 2019, 8 April 2019 through 12 April 2019
Available from: 2019-05-28 Created: 2019-05-28 Last updated: 2019-05-28Bibliographically approved
de Oliveira, A. L., Paiva Bressan, L., Montecchi, L. & Gallina, B. (2018). A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence. In: 14th European Dependable Computing Conference EDCC-2018: . Paper presented at 14th European Dependable Computing Conference EDCC-2018, 10 Sep 2018, Iasi, Romania.
Open this publication in new window or tab >>A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence
2018 (English)In: 14th European Dependable Computing Conference EDCC-2018, 2018Conference paper, Published paper (Refereed)
National Category
Engineering and Technology Computer Systems
Identifiers
urn:nbn:se:mdh:diva-40869 (URN)10.1109/EDCC.2018.00019 (DOI)2-s2.0-85058374880 (Scopus ID)
Conference
14th European Dependable Computing Conference EDCC-2018, 10 Sep 2018, Iasi, Romania
Projects
AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems
Available from: 2018-09-20 Created: 2018-09-20 Last updated: 2018-12-27Bibliographically approved
Gannous, A., Andrews, A. & Gallina, B. (2018). Bridging the gap between testing and safety certification. In: IEEE Aerospace Conference Proceedings: . Paper presented at 2018 IEEE Aerospace Conference, AERO 2018, 3 March 2018 through 10 March 2018 (pp. 1-18). IEEE Computer Society
Open this publication in new window or tab >>Bridging the gap between testing and safety certification
2018 (English)In: IEEE Aerospace Conference Proceedings, IEEE Computer Society , 2018, p. 1-18Conference paper, Published paper (Refereed)
Abstract [en]

DO-178C and its supplement DO-331 provide a set of objectives to be achieved for any development of airborne software systems when model-driven development approaches are in use. Fail-safeMBT is an academic recently proposed model-based approach for testing safety-critical systems. Fail-safeMBT is a potential innovative testing process that needs compelling arguments to be adopted for the development of aeronautical software. In this paper, we reduce the gap between industrial settings and academic settings by adopting the safety case approach and derive substantiation data aimed at arguing Fail-safeMBT compliance with the standards. We explain Fail-safeMBT processes in compliance with software process engineering Meta-Model 2.0, then apply Fail-safeMBT on the Autopilot system. Finally, we link Fail-safeMBT outputs to DO-178/DO-331 process elements, then we derive a substantiation from Fail-safeMBT outputs to support the compelling arguments for achieving certification objectives. Thus, we provide a validation of Fail-safeMBT in the avionic domain.

Place, publisher, year, edition, pages
IEEE Computer Society, 2018
Keywords
Accident prevention, C (programming language), Regulatory compliance, Software testing, Systems analysis, Airborne software, Autopilot systems, Industrial settings, Model based approach, Model driven development approaches, Safety certification, Safety critical systems, Software process engineerings, Safety testing
National Category
Computer and Information Sciences
Identifiers
urn:nbn:se:mdh:diva-40294 (URN)10.1109/AERO.2018.8396539 (DOI)2-s2.0-85049862575 (Scopus ID)9781538620144 (ISBN)
Conference
2018 IEEE Aerospace Conference, AERO 2018, 3 March 2018 through 10 March 2018
Available from: 2018-07-26 Created: 2018-07-26 Last updated: 2018-07-26Bibliographically approved
Organisations
Identifiers
ORCID iD: ORCID iD iconorcid.org/0000-0002-6952-1053

Search in DiVA

Show all publications