11.2.2 Reducing the Gap Between Formal and Informal Worlds in Automotive Safety‐Critical Systems

Abstract

Abstract. The upcoming ISO26262 standard, which deals with the functional safety of road vehicles, will induce car manufacturers to adapt the way in which vehicle systems are usually developed. To achieve this, more rigorous development processes along with new tools and techniques will most certainly be necessary. This paper presents an overview of current initiatives at Renault dealing with the improvement of development processes for mechatronic systems to comply with ISO 26262. It focuses on introducing more formalization in the systems engineering design process via the definition of an ontology to formalize the concepts and knowledge of the systems engineering, functional safety and automotive specialty domains (e.g. braking, energy management). The ontology is at the heart of our improvement initiatives since it allows establishing logical consistency of the whole design process. A regenerative hybrid braking system integrated into a full electrical vehicle will serve as the case study for the evaluation of the improvements made possible by the approach.

Use of Patterns for Know-How Reuse in a Model-Based Systems Engineering Framework

“…This generated a strong divergence in how to express patterns, thus reducing the capability to reuse them as is. However, some research has shown how the gap can be reduced by introducing more formalization inside the SE design process via the definition of an ontology to formalize concepts [80]. In accordance with this, the current request for proposal for the future version 2 of SysML (mentioned previously in section V.A.)…”

Preliminary Hazard Analysis Generation Integrated with Operational Architecture - Application to Automobile

“…The conceptual model in Chalé et al (14) deals with links between systems engineering and ISO 26262 (3) but it is too generic to satisfy requirements 3 and 5. There is a unique view and concepts are not classified according to the processes.…”

“…As Chalé et al (14) or Deniaud et al (15), the conceptual model we propose in this section is based on the analysis of key standards: IEEE 1220 (16), ISO 15288 (10) for Systems Engineering concepts and ISO 26262 (3) for safety concepts. In order to fulfill the above requirements, the model is divided into three views corresponding to the three main processes of system design (Requirements Analysis, Functional Architecture Design and Physical Architecture Design).…”

Systems Engineering Requirements: A Guided Example of an Applied Knowledge System

“…The application of ontology engineering in systems engineering seems to be a very promising trend [12], [4]. We call it system verification based on Knowledge Management, and it deals with assisting System Engineers to get a complete and consistent set of requirements (e.g.…”