Executable Specifications for Heterogeneous Embedded Systems
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.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.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.Object Management Group™: Unified Modeling Language (UML), version 2.2, February 2009 Google Scholar
- 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