Skip to Main content Skip to Navigation
Conference papers

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

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.
Document type :
Conference papers
Complete list of metadatas
Contributor : Laboratoire Cedric <>
Submitted on : Friday, March 6, 2015 - 11:37:55 AM
Last modification on : Monday, February 3, 2020 - 5:08:02 PM


  • HAL Id : hal-01126045, version 1



Ofaina Taofifenua, Hugo Chale, Thierry Gaudré, Alexandra Topa, Nicole Lévy, et al.. Reducing the Gap Between Formal and Informal Worlds in Automotive Safety-Critical Systems. 21th annual INCOSE International Symposium, Jun 2011, Denver, United States. ⟨hal-01126045⟩



Record views