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

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

DOI: 10.1007/978-3-642-01648-6_3

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5421)
Cite this paper as:
Porter J. et al. (2009) Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation. In: Chaudron M.R.V. (eds) Models in Software Engineering. MODELS 2008. Lecture Notes in Computer Science, vol 5421. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Joseph Porter
    • 1
  • Gábor Karsai
    • 1
  • Péter Völgyesi
    • 1
  • Harmon Nine
    • 1
  • Peter Humke
    • 1
  • Graham Hemingway
    • 1
  • Ryan Thibodeaux
    • 1
  • János Sztipanovits
    • 1
  1. 1.Institute for Software Integrated SystemsVanderbilt UniversityNashvilleUSA

Personalised recommendations