Abstract
AbstractSafety‐critical systems are of paramount importance for many application domains, where safety properties are a key driver to engineer critical aspects and avoid system failures. For the benefits of large‐scale reuse, software product lines (SPL) have been adopted in critical systems industry. However, the integration of safety analysis in the SPL development process is nontrivial. Also, the different usage contexts of safety‐critical systems complicates component fault modeling tasks and the identification of potential hazards. In this light, better methods become necessary to estimate the impact of dependability properties during Hazard Analysis and Risk Assessment. Existing methods incorporating the analysis of safety properties in SPL are limited as they do not include hazard analysis and component fault modeling. In this paper, we present the novel DEPendable Software Product Line Engineering (DEPendable‐SPLE) approach, which extends traditional SPL processes to support the reuse of safety assets. We also present a detailed analysis of the impact of product and context features on the SPL design, safety analysis, and safety requirements. We applied DEPendable‐SPLE to a realistic case study from the aerospace domain to illustrate how to model and reuse safety properties. DEPendable‐SPLE reduced the effort of safety analysis for certifying system variants.
Highlights
Systems are safety-critical where the occurrence of failures may have catastrophic consequences, e.g., damages to property, environment, injuries or loss of life
Existing variant management techniques [11,32,33,34,35,36] were not originally designed to support variability in a system model enhanced with dependability information, we have developed an adapter to the Base Variability Resolution (BVR) toolset 36 to enable support for managing variability in AADL system models enhanced with AADL error annex dependability annotations
In this paper we presented the DEPendable-Software Product Line Engineering (SPLE) approach that extends conventional SPLE processes with support for variability management in both design and dependability analysis
Summary
Safety-critical systems are of paramount importance for many application domains where safety properties are a key driver to engineer critical aspects and avoid system failures. The different usage contexts of safety-critical systems complicates component fault modeling tasks and the identification of potential hazards. In this light, better methods become necessary to estimate the impact of dependability properties during Hazard Analysis and Risk Assessment (HARA). Existing methods incorporating the analysis of safety properties in software product lines (SPL) are limited as they do not include hazard analysis and component fault modeling. The approach detailed in this paper presents an extension of previous work with conventional SPL approaches to incorporate safety analysis and requirements in the development of safety-critical systems. We outline a case study belonging to the aerospace domain to illustrate how to model and reuse safety properties
Sign-in/Register to view highlights & summary Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
