A Timed Multitasking Architecture for Distributed Embedded Systems

The paper presents a software architecture for Distributed Timed Multitasking -a new model of computation that can be used to engineer open, and the same time, predictable embedded systems. Systems are composed from components (actors) that communicate transparently by exchanging labeled messages (signals) over a real-time network. Actors may be viewed as real-time tasks with event-triggered input/output signal drivers. The latter are executed atomically at precisely specified time instants, resulting in the elimination of transaction I/O jitter. Drivers are actually integrated into a middleware component -the Timed Communication Bus, which provides for complete separation of computation and communication, as well as transparent interaction between embedded actors, independent of their allocation on network nodes. The Communication Bus has been conceived as a subsystem of a distributed timed multitasking kernel whose architecture and operation are discussed as well.

[1]  Pradeep K. Khosla,et al.  Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects , 1997, IEEE Trans. Software Eng..

[2]  Alan Burns,et al.  HARTEX—a safe real‐time kernel for distributed computer control systems , 2002, Softw. Pract. Exp..

[3]  Christo Angelov,et al.  A Component-Based Framework for Distributed Control Systems , 2006, 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06).

[4]  Thomas A. Henzinger,et al.  Embedded Control Systems Development with Giotto , 2001, OM '01.

[5]  Axel Jantsch,et al.  Models of computation and languages for embedded system design , 2005 .

[6]  William Moses Modelling control systems using IEC 61499 , 2001 .

[7]  Edward A. Lee,et al.  Timed multitasking for real-time embedded software , 2003 .

[8]  Dipl.-Inform. Karl-Heinz John,et al.  IEC 61131-3: Programming Industrial Automation Systems , 2001, Springer Berlin Heidelberg.

[9]  Thomas A. Henzinger,et al.  Composable code generation for distributed giotto , 2005, LCTES '05.

[10]  Ivica Crnkovic,et al.  SaveCCM - a component model for safety-critical real-time systems , 2004, Proceedings. 30th Euromicro Conference, 2004..

[11]  Christo Angelov,et al.  Distributed Timed Multitasking - A Model of Computation for Hard Real-Time Distributed Systems , 2006, DIPES.

[12]  Alberto L. Sangiovanni-Vincentelli,et al.  Platform-Based Design and Software Design Methodology for Embedded Systems , 2001, IEEE Des. Test Comput..

[13]  Roman Obermaisser,et al.  Virtual networks in an integrated time-triggered architecture , 2005, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems.

[14]  Damir Isovic Components in Real-Time Systems , 2002 .

[15]  Edward A. Lee,et al.  System-Level Types for Component-Based Design , 2001, EMSOFT.

[16]  Bran Selic,et al.  Real-time object-oriented modeling , 1994, Wiley professional computing.

[17]  Hermann Kopetz,et al.  The time-triggered architecture , 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).

[18]  Thomas A. Henzinger,et al.  Event-Driven Programming with Logical Execution Times , 2004, HSCC.

[19]  Christo Angelov,et al.  A Jitter-Free Operational Environment for Dependable Embedded Systems , 2005, IESS.