Model-driven methods for developing ISO-certified safety-critical systems

Laurenz Gutleder, Christian Huemer
2020
Since the release of the IEC 61508 international standard for Functional Safety of Electrical/Electronic/Programmable Electronic (E/E/PE) Safety-related Systems and its specific variants, classical methods of system development have quickly reached their limits due to sophisticated safety requirements such as full traceability. One possible approach to address the issue of managing the ever increasing complexity in the development processes of certified safety-critical systems is model-based
more » ... tems engineering (MBSE). Different model-based methods are applied depending on their safety-critical domains and specific safety standards such as the ISO 26262 for functional safety of road vehicles rather than applying a set of general methods based only on the parent standard IEC 61508. The first part of the work comprises a Systematic Mapping Study (SMS) investigating and classifying a high number of scientific publications to analyze the similarities and differences of the applied model-based methods and their reasons of application in the standards IEC 61508, ISO 26262 for road vehicles, EN 50128 for railway systems, and DO-178 for airborne systems. Based on the results, a Systematic Map is created in order to identify patterns of model-based methods in different sectors of industry. The second part of the thesis addresses the question of an appropriate means to represent the ISO 26262 Automotive Safety Integrity Level (ASIL) tailoring and decomposition concept in a SysML extension. This includes the development of a SysML profile, a use case, and a descriptive evaluation based on the requirements specified in the ISO 26262 series of standards. This SysML profile can help to simplify the modeling and decomposition requirements for the Automotive Safety Integrity Level concept.
doi:10.34726/hss.2020.71545 fatcat:x65pkpo3qjhwtoj6bb66jgvppe