PSAM 16 Conference Paper Overview
Welcome to the PSAM 16 Conference paper and speaker overview page.
Lead Author: Ivo Häring Co-author(s): Vivek Sudheendran, vivek.sudheendran@desy.de
Roman Sankin, roman.sankin@de.bosch.com
| SysML supported functional safety ISO 26262 and cybersecurity STRIDE/HEAVENS assessment for automotive model-based system engineering |
|---|
| To manage the increasing complexity of modern automotive systems, development companies adhere to model based systems engineering (MBSE). Within MBSE processes, suitable modeling approaches need to be selected and combined. Modelling and simulation approaches include semi-formal modeling, software generation, engineering simulation and software emulation. By now, even the selection, tailoring and interfacing of modeling approaches can be supported within framing methodologies. Within such a digitalized development process context, the presentation addresses the question, how to use SysML modeling to support efficiently the functional safety as well as the cybersecurity (IT security) assessment within the early stages of the system development process in the automotive domain. The feasibility of the approach is realized by the development of a concept for functional safety and cybersecurity analysis which supports the Software Platform Embedded Systems (SPES) framework. The concept is documented with metamodels and is backed by SysML profiles which extend the SPES profile within the IBM Rational Rhapsody environment. The profile for the safety analysis supports ISO 26262 functional safety process on the system level. The profile for cybersecurity analysis supports assessment at the system level adhering to the guidelines of the Microsoft STRIDE based HEAaling Vulnerabilities to Enhance Software Security and Safety (HEAVENS) security model, which was specifically developed for the automotive domain. SysML model-based prototypes, i.e. SysML system designs including their functional safety and cybersecurity assessment, are developed, which validate the approach within an automotive MBSE pilot project. A sample prototype application shows the feasibility of the approach and allows to estimate the effort of SysML supported functional safety and cybersecurity assessments within a SPES conform environment. Main results include the feasibility of reuse and invention of SPES oriented SysML models (e.g. context, scenario, goal, function) intended for system design. The functional safety and cybersecurity relevant model extensions and refinements are realized within these system models. The refinements and extensions result in functional safety relevant models which support item definition, hazard and risk analysis, functional safety concept and technical safety concept. Similarly, cybersecurity relevant SysML models help in Target of Evaluation (TOE) description, threat analysis and risk assessment and cybersecurity requirement derivation according to the HEAVENS approach. The automations imparted on these extended SysML models by using helpers, enhance the usability of the models within the approach. For instance, the helpers provide automatic functional safety and cybersecurity parameter determination within models (e.g. ASIL determination, security level derivation) and filtered graphical views given sufficient inputs. Application of a model checker assists fast execution of the analyses and generation of the assessment artifacts, e.g. tabular overview of risks and their control with safety functions or cyber threats and related counter measures. |
Paper IV42 Preview
Author and Presentation Info
Lead Author Name: Ivo Häring (ivo.haering@emi.fraunhofer.de)
Bio: Ivo Häring holds a PhD of the Max-Planck-Institute for the Physics of Complex Systems (MPIPKS) and TU Dresden. Since 2004 he works at Fraunhofer Ernst-Mach-Institut, EMI, currently as Senior Scientist in the Department Safety and Resilience of Technical Systems. He is Lecturer in security, safety and resilience engineering at the University of Applied Science Furtwangen, within advanced continuous academic courses together Fraunhofer Academy, and at the Department of Sustainable Systems Engineering (INATECH) of the University Freiburg. He has an applied research project (set up) and publication record of more than 25 million Euro funding. Relevant sample projects include the German BMWK projects KIsSME on “AI for selective near-real-time acquisition of scenario and maneuver data in testing highly automated vehicles” with focus on scenario criticality evaluation and RDV on “Real driving validation” with focus on safety simulation using Markov approaches.
Country: Germany
Company: Ivo Häring, Fraunhofer EMI, Am Klingelberg 1, 79588 Efringen-Kirchen, Germany
Job Title: Senior Scientist
Bio: Ivo Häring holds a PhD of the Max-Planck-Institute for the Physics of Complex Systems (MPIPKS) and TU Dresden. Since 2004 he works at Fraunhofer Ernst-Mach-Institut, EMI, currently as Senior Scientist in the Department Safety and Resilience of Technical Systems. He is Lecturer in security, safety and resilience engineering at the University of Applied Science Furtwangen, within advanced continuous academic courses together Fraunhofer Academy, and at the Department of Sustainable Systems Engineering (INATECH) of the University Freiburg. He has an applied research project (set up) and publication record of more than 25 million Euro funding. Relevant sample projects include the German BMWK projects KIsSME on “AI for selective near-real-time acquisition of scenario and maneuver data in testing highly automated vehicles” with focus on scenario criticality evaluation and RDV on “Real driving validation” with focus on safety simulation using Markov approaches.
Country: Germany
Company: Ivo Häring, Fraunhofer EMI, Am Klingelberg 1, 79588 Efringen-Kirchen, Germany
Job Title: Senior Scientist