A UML-Based Design Framework for Time-Triggered Applications

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 UML-level 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.

[1]  Thomas A. Henzinger,et al.  From control models to real-time code using Giotto , 2003 .

[2]  P. S. Thiagarajan,et al.  Model-Driven SoC Design: The UML-SystemC Bridge , 2005 .

[3]  Stavros Tripakis,et al.  From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications , 2003 .

[4]  Thorsten Grotker,et al.  System Design with SystemC , 2002 .

[5]  Holger Zeltwanger,et al.  Time-Triggered Communication on CAN , 2002 .

[6]  Ursula Goltz,et al.  Model Based System Development in Automotive , 2003 .

[7]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[8]  István Majzik,et al.  UML based design of time triggered systems , 2004, Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings..

[9]  Ulrik Eklund,et al.  A Method for Model Based Automotive Software Development , 2002 .

[10]  Bran Selic,et al.  Using UML for Modeling Complex Real-Time Systems , 1998, LCTES.

[11]  Alberto L. Sangiovanni-Vincentelli,et al.  A hierarchical coordination language for interacting real-time tasks , 2006, EMSOFT '06.

[12]  Hermann Kopetz,et al.  The time-triggered architecture , 2003 .

[13]  John M. Rushby,et al.  Bus Architectures for Safety-Critical Embedded Systems , 2001, EMSOFT.

[14]  Wolfgang Müller,et al.  UML for SOC Design , 2005 .

[15]  Peter Braun,et al.  Architecture Centric Modeling of Automotive Control Software , 2003 .

[16]  B. Martin,et al.  Model-based development for time-triggered architectures , 2004, The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576).

[17]  Maria Bruce,et al.  Distributed Brake-By-Wire Based on TTP/C , 2002 .

[18]  Jack Donovan,et al.  SystemC: From the Ground Up , 2004 .

[19]  Bernd Hedenetz,et al.  BRAKE-BY-WIRE WITHOUT MECHANICAL BACKUP BY USING A TTP-COMMUNICATION NETWORK , 1998 .

[20]  Günther Bauer.  The Time-Triggered Paradigm , 2003 .

[21]  H. Kopetz,et al.  TTP -- A New Approach to Solving the Interoperability Problem of Independently Developed ECUs , 1998 .

[22]  Peter Braun,et al.  Automotive Software Development: A Model Based Approach , 2002 .