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.
Keywords
Download to read the full chapter text
Chapter PDF
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2005 International Federation for Information Processing
About this paper
Cite this paper
Rakotomalala, E., Elloy, JP., Molinaro, P., Bavoux, B., Jampi, D. (2005). ENSURING HIGH QUALITY IN SPECIFICATIONS FOR AUTOMOTIVE EMBEDDED CONTROL SYSTEMS. In: Rettberg, A., Zanella, M.C., Rammig, F.J. (eds) From Specification to Embedded Systems Application. IFIP On-Line Library in Computer Science, vol 184. Springer, Boston, MA. https://doi.org/10.1007/11523277_3
Download citation
DOI: https://doi.org/10.1007/11523277_3
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-27557-4
Online ISBN: 978-0-387-27559-8
eBook Packages: Computer ScienceComputer Science (R0)