Abstract
It is possible to raise the abstraction level of the description of a system. Using an effective methodology to separate data and control, we show that a truly executable specification flow is possible, and that it is highly beneficial in the validation and verification of complex systems. This methodology is technology-independent and accommodates a mixture of hardware and software, analog and digital, electronic and micromechanics components.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Capability Maturity Model Integration Product Team: CMMI® for Development, Version 1.02. Carnegie Mellon Software Engineering Institute, Carnegie Mellon University, August 2006
Schubert, P.J., Vitkin, L., Winters, F.: Executable specs: what makes one, and how are they used. In: SAE® 2006 Conference, Society of Automotive Engineers, Inc., 2006-01-1357 (2006)
Object Management Groupâ„¢: Unified Modeling Language (UML), version 2.2, February 2009
Labbani, O., Dekeyser, J.-L., Rutten, É.: Separating control and data flow: methodology and automotive system case study. INRIA report 5832, February 2006
Berry, G., Gonthier, G.: The Esterel synchronous programming language: design, semantics, implementation. Sci. Comput. Program. 19(2), 87–152 (1992)
Hales, T.: Formal proof. Not. Am. Math. Soc. 55(11), 1370 (2008)
Harrison, J.: Formal proof—theory and practice. Not. Am. Math. Soc. 55(11), 1395 (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Leduc, Y., Messina, N. (2012). Executable Specifications for Heterogeneous Embedded Systems. In: Nicolescu, G., O'Connor, I., Piguet, C. (eds) Design Technology for Heterogeneous Embedded Systems. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-1125-9_3
Download citation
DOI: https://doi.org/10.1007/978-94-007-1125-9_3
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-1124-2
Online ISBN: 978-94-007-1125-9
eBook Packages: EngineeringEngineering (R0)