mdh.sePublications
Change search
Link to record
Permanent link

Direct link
BETA
Publications (10 of 90) 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
Gallina, B., Javed, M. A., Martin, H. & Bramberger, R. (2019). Co-engineering of security and safety life-cycles for engineering security-informed safety-critical automotive systems in compliance with SAE J3061 and ISO 26262. In: 24th International Conference on Reliable Software Technologies Ada-Europe-2019: . Paper presented at 24th International Conference on Reliable Software Technologies Ada-Europe-2019, 10 Jun 2019, Warsaw, Poland.
Open this publication in new window or tab >>Co-engineering of security and safety life-cycles for engineering security-informed safety-critical automotive systems in compliance with SAE J3061 and ISO 26262
2019 (English)In: 24th International Conference on Reliable Software Technologies Ada-Europe-2019, 2019Conference paper, Published paper (Refereed)
National Category
Engineering and Technology Computer Systems
Identifiers
urn:nbn:se:mdh:diva-45032 (URN)
Conference
24th International Conference on Reliable Software Technologies Ada-Europe-2019, 10 Jun 2019, Warsaw, Poland
Projects
AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems
Available from: 2019-08-26 Created: 2019-08-26 Last updated: 2019-08-26Bibliographically 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)000474685800280 ()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-10-11Bibliographically approved
Cai, S., Gallina, B., Nyström, D. & Seceleanu, C. (2019). Data Aggregation Processes: A Survey, A Taxonomy, and Design Guidelines. Computing, 101(10), 1397-1429
Open this publication in new window or tab >>Data Aggregation Processes: A Survey, A Taxonomy, and Design Guidelines
2019 (English)In: Computing, ISSN 0010-485X, E-ISSN 1436-5057, Vol. 101, no 10, p. 1397-1429Article in journal (Refereed) Published
Abstract [en]

Data aggregation processes are essential constituents for data management in modern computer systems, such as decision support systems and Internet of Things (IoT) systems, many with timing constraints. Understanding the common and variable features of data aggregation processes, especially their implications to the timerelated properties, is key to improving the quality of the designed system and reduce design effort. In this paper, we present a survey of data aggregation processes in a variety of application domains from literature.We investigate their common and variable features, which serves as the basis of our previously proposed taxonomy called DAGGTAX. By studying the implications of the DAGGTAX features, we formulate a set of constraints to be satisfied during design, which helps to check the correctness of the specifications and reduce the design space. We also provide a set of design heuristics that could help designers to decide the appropriate mechanisms for achieving the selected features. We apply DAGGTAX on industrial case studies, showing that DAGGTAX not only strengthens the understanding, but also serves as the foundation of a design tool which facilitates the model-driven design of data aggregation processes.

National Category
Engineering and Technology Computer Systems
Identifiers
urn:nbn:se:mdh:diva-41747 (URN)10.1007/s00607-018-0679-5 (DOI)000487922400002 ()
Projects
Adequacy-based Testing of Extra-Functional Properties of Embedded Systems (VR)
Available from: 2018-12-18 Created: 2018-12-18 Last updated: 2019-10-17Bibliographically 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
Capilla, R., Gallina, B., Cetina, C. & Favaro, J. (2019). Opportunities for Software Reuse in an Uncertain World: From Past to Emerging Trends. Journal of Software: Evolution and Process, 31(8), Article ID e2217.
Open this publication in new window or tab >>Opportunities for Software Reuse in an Uncertain World: From Past to Emerging Trends
2019 (English)In: Journal of Software: Evolution and Process, ISSN 2047-7473, E-ISSN 2047-7481, Vol. 31, no 8, article id e2217Article in journal (Refereed) Published
Abstract [en]

Much has been investigated about software reuse since the software crisis. The development of software reuse methods, implementation techniques, and cost models has resulted in a significant amount of research over years. Nevertheless, the increasing adoption of reuse techniques, many of them subsumed under higher level software engineering processes, and advanced programming techniques that ease the way to reuse software assets, have hidden somehow in the recent years new research trends on the practice of reuse and caused the disappearance of several reuse conferences. Also, new forms of reuse like open data and feature models have brought new opportunities for reuse beyond the traditional software components. From past to present, we summarize in this research the recent history of software reuse, and we report new research areas and forms of reuse according to current needs in industry and application domains, as well as promising research trends for the upcoming years.

National Category
Engineering and Technology Computer Systems
Identifiers
urn:nbn:se:mdh:diva-45041 (URN)10.1002/smr.2217 (DOI)000481828500005 ()2-s2.0-85070808337 (Scopus ID)
Projects
AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems
Available from: 2019-08-22 Created: 2019-08-22 Last updated: 2019-10-11Bibliographically approved
Cai, S., Gallina, B., Nyström, D. & Seceleanu, C. (2019). Specification and Automated Verification of Atomic Concurrent Real-Time Transactions.
Open this publication in new window or tab >>Specification and Automated Verification of Atomic Concurrent Real-Time Transactions
2019 (English)Manuscript (preprint) (Other academic)
National Category
Software Engineering
Identifiers
urn:nbn:se:mdh:diva-45212 (URN)
Available from: 2019-09-13 Created: 2019-09-13 Last updated: 2019-09-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-09-13Bibliographically 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
Organisations
Identifiers
ORCID iD: ORCID iD iconorcid.org/0000-0002-6952-1053

Search in DiVA

Show all publications