Fault tolerant data flow modeling using the generic modeling environment

Mark L. McKelvin, Jonathan Sprinkle, Claudio Pinello, Alberto Sangiovanni-Vincentelli

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Scopus citations

Abstract

Designing embedded software jar safety-critical, real-time feedback control applications is a complex and error prone task. Fault tolerance is an important aspect of safety. In general, fault tolerance is achieved by duplicating hardware components, a solution that is often more expensive than needed. In applications such as automotive electronics, a bset of the functionalities has to be guaranteed while others are not crucial to the safety of the operation of the vehicle. In this case, we must make sure that this subset is operational under the potential faults of the architecture. A model of computaion called Fault-Tolerant Data Flow (FTDF) was recently introduced to describe at the highest level of abstraction of the design the fault tolerance requirements on the functionality of the system. Then, the problem of implementing the system efficiently on a platform consists of finding a mapping of the FTDF model on the components of the platform. A complete design flow for this kind of application requires a user-friendly graphical interface to capture the functionality of the systems with the FTDF model, algorithms for choosing an architecture optimally, (possibly automatic) code generation for the parts of the system to be implemented in software and verification tools, hi this paper, we use the Generic Modeling Environment (GME) developed at Vanderbilt University to design a graphical design capture system and to provide the infrastructure for automatic code generation. The design flow is embedded into the Metropolis environment developed at the University of California at Berkeley to provide the necessary verification and analysis framework

Original languageEnglish (US)
Title of host publicationProceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005
EditorsJ. Rozenblit, T. O'Neill, J. Peng
Pages229-235
Number of pages7
StatePublished - Dec 9 2005
Externally publishedYes
EventProceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005 - Greenbelt, MD, United States
Duration: Apr 4 2005Apr 7 2005

Publication series

NameProceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005

Other

OtherProceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005
CountryUnited States
CityGreenbelt, MD
Period4/4/054/7/05

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'Fault tolerant data flow modeling using the generic modeling environment'. Together they form a unique fingerprint.

  • Cite this

    McKelvin, M. L., Sprinkle, J., Pinello, C., & Sangiovanni-Vincentelli, A. (2005). Fault tolerant data flow modeling using the generic modeling environment. In J. Rozenblit, T. O'Neill, & J. Peng (Eds.), Proceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005 (pp. 229-235). (Proceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005).