Achieving confidence in safety, and robustness of complex systems is a key issue for an automotive manufacturer. Specifications are the first and crucial stage of the engineering process. The aim is to provide a high level of quality assurance for the specifications of systems incorporing several reused parts. This paper presents a method using an external modeling of the function supervision. We propose a framework based on modes analysis and a formal operation which allows to combine automaton descriptions of modes by adding logic commutations between modes.
CITATION STYLE
Rakotomalala, E., Elloy, J. P., Molinaro, P., Bavoux, B., & Jampi, D. (2005). Ensuring high quality in specifications for automotive embedded control systems. IFIP Advances in Information and Communication Technology, 184, 23–34. https://doi.org/10.1007/11523277_3
Mendeley helps you to discover research relevant for your work.