Chapter

Models in Software Engineering

Volume 5421 of the series Lecture Notes in Computer Science pp 20-34

Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation

  • Joseph PorterAffiliated withInstitute for Software Integrated Systems, Vanderbilt University
  • , Gábor KarsaiAffiliated withInstitute for Software Integrated Systems, Vanderbilt University
  • , Péter VölgyesiAffiliated withInstitute for Software Integrated Systems, Vanderbilt University
  • , Harmon NineAffiliated withInstitute for Software Integrated Systems, Vanderbilt University
  • , Peter HumkeAffiliated withInstitute for Software Integrated Systems, Vanderbilt University
  • , Graham HemingwayAffiliated withInstitute for Software Integrated Systems, Vanderbilt University
  • , Ryan ThibodeauxAffiliated withInstitute for Software Integrated Systems, Vanderbilt University
  • , János SztipanovitsAffiliated withInstitute for Software Integrated Systems, Vanderbilt University

* Final gross prices may vary according to local VAT.

Get Access

Abstract

While design automation for hardware systems is quite advanced, this is not the case for practical embedded systems. The current state-of-the-art is to use a software modeling environment and integrated development environment for code development and debugging, but these rarely include the sort of automatic synthesis and verification capabilities available in the VLSI domain. We present a model-based integration environment which uses a graphical architecture description language (EsMoL) to pull together control design, code and configuration generation, platform-specific simulation, and a number of other features useful for taming the heterogeneity inherent in safety-critical embedded control system designs. We describe concepts, elements, and development status for this suite of tools.