Abstract
Control software is one of the most important elements of safety-critical systems, whether it is used in aerospace, automotive, naval or medical engineering. Control software is used, for example, to regulate the altitude of an aircraft, the speed of an automobile, the heading of a ship or the intensity of an ion beam.
The design of modern embedded software requires that its functional and non functional semantics, including those of the entire system, be expressed clearly within the software to support its correctness at all levels of its implementation. Such semantics must be expressed in languages adapted to the different levels of software implementation and the systems they interact with. Therefore, block diagrams used by control theorists must also be able to support semantic properties, such as stability and performance, and their proofs. Software implementations of these block diagrams must be, correspondingly, fully documented with the same properties and their proofs, in such a way that they can be automatically parsed and verified.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Féron, E. (2012). Model-Based Auto Coding of Embedded Control Software with Full Semantics. In: Abelló, A., Bellatreche, L., Benatallah, B. (eds) Model and Data Engineering. MEDI 2012. Lecture Notes in Computer Science, vol 7602. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33609-6_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-33609-6_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33608-9
Online ISBN: 978-3-642-33609-6
eBook Packages: Computer ScienceComputer Science (R0)