Ensuring high quality in specifications for automotive embedded control systems

1Citations
Citations of this article
5Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

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.

Cite

CITATION STYLE

APA

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

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free