A Component-Based Framework for Distributed Control Systems

The paper presents a two-level software framework for distributed embedded applications. At the top level, an application is conceived as a composition of embedded actors that communicate transparently by exchanging labeled messages (signals), independent of their allocation onto network nodes. Signals are exchanged at precisely specified time instants, in accordance with the concept of distributed timed multitasking (DTM). The combination of actors, signal-based communication and DTM provides a framework for the development of open yet predictable embedded systems. At the lower level of specification, actors are modeled as software objects that are configured from executable components - basic, composite and modal function blocks, as well as supervisory state machines. Actor behaviour is specified with a hybrid executable model - a clocked event-driven state machine operating in conjunction with modal function blocks, which can be used to implement a broad range of applications such as sequential, continuous and hybrid control systems

[1]  Edward A. Lee,et al.  Hierarchical finite state machines with multiple concurrency models , 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

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

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

[4]  Joseph Sifakis,et al.  Embedded Systems Design: The ARTIST Roadmap for Research and Development , 2005, Lecture Notes in Computer Science.

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

[6]  Christo Angelov,et al.  Component-Based Design of Embedded Software: An Analysis of Design Issues , 2004, FIDJI.

[7]  Steve Heath,et al.  Embedded Systems Design , 1997 .

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

[9]  Christo Angelov,et al.  Design Models for Reusable and Reconfigurable State Machines , 2005, EUC.

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

[11]  Christo Angelov,et al.  A software framework for component-based embedded applications , 2004, 11th Asia-Pacific Software Engineering Conference.

[12]  Jean-Raymond Abrial Steam-Boiler Control Specification Problem , 1995, Formal Methods for Industrial Applications.

[13]  Axel Jantsch,et al.  Modeling embedded systems and SoCs - concurrency and time in models of computation , 2003, The Morgan Kaufmann series in systems on silicon.

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

[15]  Florence Maraninchi,et al.  Applying Formal Methods to Industrial Cases: The Language Approach (The Production-Cell and Mode-Aut , 2000 .

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

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

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