A Software Framework for Hard Real-Time Distributed Embedded Systems

The paper presents a framework for distributed embedded applications that can be used to engineer open, and the same time, predictable embedded systems. Applications are composed from components (actors), which communicate transparently by exchanging labeled messages (signals) over a real-time network. The signals are exchanged at precisely specified time instants, in accordance with the Distributed Timed Multitasking (DTM) model of computation, resulting in the elimination of task and transaction I/O jitter. DTM is supported by an operational environment, which has been integrated with application components in an implementation model specifying explicitly the composition of software nodes allocated to physical network nodes. The framework is characterized by complete separation of computation and communication, whereby communication is delegated to the timed-multitasking operational environment. This has resulted in a simplified application model in which actors have been reduced to actor tasks composed of prefabricated components, such as state machine and action function blocks.

[1]  Paul Caspi.  Some Issues in Model-Based Development for Embedded Control Systems , 2006, DIPES.

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

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

[4]  Jinpeng Ma,et al.  A Formal Component Framework for Distributed Embedded Systems , 2006, CBSE.

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

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

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

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

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

[10]  Christo Angelov,et al.  Component-Based Design of Safe Real-Time Kernels for Embedded Systems , 2007, 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO 2007).

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

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

[13]  Thomas A. Henzinger,et al.  The Embedded Systems Design Challenge , 2006, FM.

[14]  Christo Angelov,et al.  A Timed Multitasking Architecture for Distributed Embedded Systems , 2007, 2007 International Symposium on Industrial Embedded Systems.

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

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

[17]  Sangiovanni-VincentelliAlberto,et al.  Platform-Based Design and Software Design Methodology for Embedded Systems , 2001 .