Modeling Time-Triggered Architecture Based Real-Time Systems Using SystemC

Pérez, Jon; Nicolás, Carlos Fernando; Obermaisser, Roman; Salloum, C. El

doi:10.1007/978-1-4614-1427-8_8

Cited by 4 publications

(4 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The E-TTM [13] is a SystemC based extension for the modeling of the functionality of real-time embedded systems based on the Time-Triggered Architecture (TTA) [15]. It extends SystemC with the sparse notion of time, and decouples computation activities from communication, while they both share a global notion of time.…”

Section: B Executable Time-triggered Model (E-ttm)mentioning

confidence: 99%

“…Following the approach proposed in the E-TTM [13], the execution of components is instantaneous and restricted to the activity interval of the sparse-time model. If multiple components are simultaneously triggered at a given macrotick, they are executed sequentially.…”

Section: ) Execution and Communicationmentioning

confidence: 99%

“…2) Architecture of models: The PIMs rely on the architectural hierarchy described in [13], where computational components can be defined as systems, distributed application subsystems (DASes) and jobs. Systems and DASes are abstract hierarchical components, whereas jobs are atomic components.…”

Section: The Platform Specific Time-triggered Model (Ps-ttm)mentioning

confidence: 99%

“…UML [9] and SysML [10]), the Architecture Analysis and Design Language (AADL) [11], the Fault-Tolerant Operating System (FTOS) [12], and the Executable Time-Triggered Model (E-TTM) [13].…”

Section: Related Workmentioning

confidence: 99%

See 3 more Smart Citations

A novel modeling framework for time-triggered safety-critical embedded systems

Ayestaran

Nicolás

Pérez

et al. 2014

Proceedings of the 2014 Forum on Specification and Design Languages (FDL)

Self Cite

View full text Add to dashboard Cite

This paper presents the Platform Specific Time Triggered Model (PS-TTM), a SystemC based modeling and simulation framework for time-triggered safety-critical embedded systems. The approach facilitates the modeling of Time-Triggered Architecture (TTA) based embedded systems, following a strict separation between the designs of functionality and platform. The PS-TTM provides a value and time domain deterministic simulation environment for an early functional and temporal assessment of the systems. Moreover, the framework includes a time-triggered automatic test executor that enables to perform non-intrusive simulated fault injection (SFI) to the models. The SFI makes an early dependability assessment possible, what reduces the risk of late and expensive discovery of safety related pitfalls. The feasibility of the proposed framework is illustrated with a case study, based on the modeling, simulation and validation of a simplified railway on-board signaling system.

show abstract

Section: B Executable Time-triggered Model (E-ttm)mentioning

confidence: 99%

Section: ) Execution and Communicationmentioning

confidence: 99%

Section: The Platform Specific Time-triggered Model (Ps-ttm)mentioning

confidence: 99%

“…UML [9] and SysML [10]), the Architecture Analysis and Design Language (AADL) [11], the Fault-Tolerant Operating System (FTOS) [12], and the Executable Time-Triggered Model (E-TTM) [13].…”

Section: Related Workmentioning

confidence: 99%

See 2 more Smart Citations