A UML-Based Design Framework for Time-Triggered Applications

Abstract

Time-triggered architectures (TTAs) are strong candidate platforms for safety-critical real-time applications. A typical time-triggered architecture is constituted by one or more clusters. Each cluster consists of nodes communicating with one another via a time-triggered communication protocol. Designing applications to run on such a platform is a challenging task. We address this problem by constructing a UML-based design framework which exposes the essential features of the time-triggered platforms at the UMLlevel and allows applications to be developed at a more abstract level before full implementation. To support preliminary functional validation, we have constructed a translator by which SystemC code can be automatically generated from UML designs. Our framework enables fast prototyping of time-triggered applications and early design validation. It also supports key design principles of TTAs, such as temporal firewalls and composability.

Modeling time-triggered architecture based safety-critical embedded systems using SystemC

“…A UML based design framework has already been proposed for the development of TTA based applications with the autogeneration of SystemC software [11]. This approach starts from the decomposition of a system into cluster and nodes but does not support the earlier architectural design phase.…”

Understanding Change Prone Classes in Object Oriented Software

“…It supports object-oriented designs which in turn encourage component reuse. It can be used to provide multiple views of the system under design [6]. The UML based design enabled us to apply formal verification and validation techniques [5].…”