@inproceedings{, author = {Nicolas, Carlos-Fernando and Eizaguirre, Fernando and Ortube, Asier Larrucea and Barner, Simon and Chauvel, Franck and Sagardui, Goiuria and P{\'{e}}rez, Jon}, title = {GSN Support of Mixed-Criticality Systems Certification}, booktitle = {Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS}, publisher = {Springer}, series = {LNCS}, number = {10489}, pages = {157--172}, year = {2017}, month = sep, timestamp = 2017.09.12, abstract = {Safety-critical applications could benefit from the standardisation, cost reduction and cross-domain suitability of current heterogeneous computing platforms. They are of particular interest for Mixed-Criticality Product Lines (MCPL) where safety- and non-safety functions can be deployed on a single embedded device using suitable isolation artefacts and development processes. The development of MCPLs can be facilitated by providing a reference architecture, a model-based design, analysis tools and Modular Safety Cases (MSC) to support the safety claims. In this paper, we present a method based on the MSCs to ease the certification of MCPLs. This approach consists of a semi-automated composition of layered argument fragments that trace the safety requirements argumentation to the supporting evidences. The core of the method presented in this paper is an argument database that is represented using the Goal Structuring Notation language (GSN). The defined method enables the concurrent generation of the arguments and the compilation of evidences, as well as the automated composition of safety cases for the variants of products. In addition, this paper exposes an industrial-grade case study consisting of a safety wind turbine system where the presented methodology is exemplified.}, isbn = {978-3-319-66284-8}, doi = {10.1007/978-3-319-66284-8_14}, keywords = {Goal Structuring Notation (GSN), Model-Based Development, Safety-critical Systems, Product Lines, Variability}, } @inproceedings{MK_IMBSA_2014, author = {Khalil, Maged and Prieto, Alejandro and H{\"{o}}lzl, Florian}, title = {A pattern-based approach towards the guided reuse of safety mechanisms in the automotive domain}, booktitle = {Proceedings of the International Symposium on Model-Based Safety and Assessment ({IMBSA} 2014)}, publisher = {Springer}, series = {LNCS}, volume = {8822}, pages = {137--151}, year = {2014}, abstract = {The reuse of architectural measures or safety mechanisms is widely-spread in practice, especially in well-understood domains, as is reusing the corresponding safety-case to document the fulfillment of the target safety goal(s). This seems to harmonize well with the fact that safety standards recommend (if not dictate) performing many analyses during the concept phase of development as well as the early adoption of multiple measures at the architectural design level. Yet this front-loading is hindered by the fact that safety argumentation is not well-integrated into architectural models in the automotive domain and as such does not support comprehensible and reproducible argumentation nor any evidence for argument correctness. The reuse is neither systematic nor adequate. Using a simplified description of safety mechanisms, we defined a pattern library capturing known solution algorithms and architectural measures/constraints in a seamless holistic model-based approach with corresponding tool support. Based on a meta-model encompassing both development artifacts and safety case elements, the pattern library encapsulates all the information necessary for reuse, which can then be integrated into existing development environments. This paper explores the model and the approach using an illustrative implementation example, along with the supporting workflow for the usage of the approach in both “designer” and “user” roles.}, doi = {10.1007/978-3-319-12214-4_11}, keywords = {Safety-critical systems, pattern-based design, architectures, safety cases, automotive, reuse, Model-based Systems Engineering, MbSE}, }