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

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.

[1]  Christian Weber,et al.  CAx/engineering data management integration: Enabler for methodical benefits in the design process , 2005 .

[2]  C.J.H. Mann,et al.  A Practical Guide to SysML: The Systems Modeling Language , 2009 .

[3]  Robert H. Bishop.  Mechatronic Systems, Sensors, and Actuators: Fundamentals and Modeling , 2007 .

[4]  Thomas R. Gruber,et al.  Toward principles for the design of ontologies used for knowledge sharing? , 1995, Int. J. Hum. Comput. Stud..

[5]  Steffen Staab,et al.  Methodology for development and employment of ontology based knowledge management applications , 2002, SGMD.

[6]  Stephan Roser,et al.  Ontology-Based Model Transformation , 2005, MoDELS Satellite Events.

[7]  Peter Struss,et al.  Model-Based Systems in the Automotive Industry , 2004, AI Mag..

[8]  Anneke Kleppe,et al.  MDA explained - the Model Driven Architecture: practice and promise , 2003, Addison Wesley object technology series.

[9]  Nathalie Aussenac-Gilles,et al.  Construction et enrichissement automatique d'ontologie à partir de ressources externes , 2010, ArXiv.

[10]  Yinglin Wang,et al.  A Method to Guarantee Ontology Consistency on Property Range Changes , 2008, 2008 IFIP International Conference on Network and Parallel Computing.

[11]  John A. McDermid,et al.  Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure , 2001, Reliab. Eng. Syst. Saf..

[12]  Eva Söderström,et al.  Towards a Framework for Comparing Process Modelling Languages , 2002, CAiSE.

[13]  Thierry Gaudré,et al.  10.1.1 A Process and Data Model for Automotive Safety-Critical Systems Design , 2010 .

[14]  Gabor Karsai,et al.  Model Reuse with Metamodel-Based Transformations , 2002, ICSR.

[15]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.