Engineering Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach

Abstract

Several approaches have been developed to assist automotive system manufacturers in designing safer vehicles by complying with functional safety standards. However, most of these approaches either mainly focus on the technical aspects of automotive systems and ignore the social ones, or they are not equipped with an adequate automated support. To this end, we propose a model-based approach for modeling and analyzing the Functional Safety Requirements (FSR) for automotive systems, which is based on the ISO 26262 standard and considers both technical and social aspects of such systems. This approach proposes a UML profile for modeling the FSR starting from item definition until safety validation, and it proposes constraints expressed in OCL to be used for the verification of FSR models. We illustrate the utility of the approach using an example from the automotive domain.

Security modelling and formal verification of survivability properties: Application to cyber–physical systems

“…An application of the SysML language to a critical system for assessing repair/survivability strategies can be found in Biagi et al (2018). Finally, in Gharib et al (2019) a UML profile for modelling functional safety requirements is proposed, the requirements are expressed in OCL and verified directly on the UML model.…”