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

  • Authors:

  • Joseph Porter;Gábor Karsai;Péter Völgyesi;Harmon Nine;Peter Humke;Graham Hemingway;Ryan Thibodeaux;János Sztipanovits

  • Affiliations:

  • Institute for Software Integrated Systems, Vanderbilt University, Nashville, USA TN 37203;Institute for Software Integrated Systems, Vanderbilt University, Nashville, USA TN 37203;Institute for Software Integrated Systems, Vanderbilt University, Nashville, USA TN 37203;Institute for Software Integrated Systems, Vanderbilt University, Nashville, USA TN 37203;Institute for Software Integrated Systems, Vanderbilt University, Nashville, USA TN 37203;Institute for Software Integrated Systems, Vanderbilt University, Nashville, USA TN 37203;Institute for Software Integrated Systems, Vanderbilt University, Nashville, USA TN 37203;Institute for Software Integrated Systems, Vanderbilt University, Nashville, USA TN 37203

  • Venue:
  • Models in Software Engineering
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

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.