25/2010 : Modeling Time-Triggered Architecture Based Safety-Critical Embedded Systems Using SystemC

RR Number

25/2010

Conference

Forum on specification & Design Languages (FDL), 2010, Southampton, UK.

Author(s)

Carlos Fernando Nicolas, Roman Obermaisser, Jon Perez, Christian El Salloum

Abstract

This paper proposes a SystemC based extension for the modeling of generic Time-Triggered Architecture (TTA)based safety-critical embedded systems. The extension called Executable Time-Triggered Model (E-TTM) supports the time-triggered model of computation and provides a time domain deterministic modeling framework based on SystemC. E-TTM can be used in the architectural design phase to support early functional, temporal and dependability assessments. The development of safety-critical embedded systems that must satisfy a certain set of timing constraints with an ever-increasing functionality leads to considerable complexity growth. E-TTM tackles the complexity challenge by means of simplification strategies such as abstraction, partition, segmentation and time determinism.

Bibtex

@article{ obermaisser:2010-25,
  author =       "Roman Obermaisser and Jon Perez and Christian El Salloum and Carlos Fernando Nicolas",
  title =        "Modeling Time-Triggered Architecture Based Safety-Critical Embedded Systems Using SystemC",
  journal =      "Forum on specification & Design Languages (FDL), 2010, Southampton, UK.",
  year =         "2010",
  month =        "Sep."
}

Download