Executable Specifications for Heterogeneous Embedded Systems

An Answer to the Design of Complex Systems
  • Yves Leduc
  • Nathalie Messina


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.


  1. 1.
    Capability Maturity Model Integration Product Team: CMMI® for Development, Version 1.02. Carnegie Mellon Software Engineering Institute, Carnegie Mellon University, August 2006 Google Scholar
  2. 2.
    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) Google Scholar
  3. 3.
    Object Management Group™: Unified Modeling Language (UML), version 2.2, February 2009 Google Scholar
  4. 4.
    Labbani, O., Dekeyser, J.-L., Rutten, É.: Separating control and data flow: methodology and automotive system case study. INRIA report 5832, February 2006 Google Scholar
  5. 5.
    Berry, G., Gonthier, G.: The Esterel synchronous programming language: design, semantics, implementation. Sci. Comput. Program. 19(2), 87–152 (1992) MATHCrossRefGoogle Scholar
  6. 6.
    Hales, T.: Formal proof. Not. Am. Math. Soc. 55(11), 1370 (2008) MathSciNetMATHGoogle Scholar
  7. 7.
    Harrison, J.: Formal proof—theory and practice. Not. Am. Math. Soc. 55(11), 1395 (2008) MATHGoogle Scholar

Copyright information

© Springer Science+Business Media B.V. 2012

Authors and Affiliations

  1. 1.Advanced System Technology, Wireless Terminal Business UnitTexas InstrumentsVilleneuve-LoubetFrance

Personalised recommendations