Integrated Design Tool for Embedded Control Systems

Currently, computer-based control systems are still being implemented using the same techniques as 10 years ago. The purpose of this project is the development of a design framework, consisting of tools and libraries, which allows the designer to build high reliable heterogeneous real-time embedded systems in a very short time at a fraction of the present day costs. The ultimate focus of current research is on transformation control laws to efficient concurrent algorithms, with concerns about important non-functional real-time control systems demands, such as fault-tolerance, safety, reliability, etc. The approach is based on software implementation of CSP process algebra, in a modern way (pure object- oriented design in Java). Furthermore, it is intended that the tool will support the desirable system-engineering stepwise refinement design approach, relying on past research achievements - the mechatronics design trajectory based on the building-blocks approach, covering all complex (mechatronics) engineering phases: physical system modeling, control law design, embedded control system implementation and real-life realization. Therefore, we expect that this project will result in an adequate tool, with results applicable in a wide range of target hardware platforms, based on common (off-the- shelf) distributed heterogeneous (cheap) processing units.

[1]  V. Bos,et al.  Model checking manufacturing systems : a case study , 2000 .

[2]  G. H. Hilderink,et al.  A distributed real-time Java system based on CSP , 1999, Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607).

[3]  John Hogg.  Islands: aliasing protection in object-oriented languages , 1991, OOPSLA 1991.

[4]  Tom DeMarco,et al.  Structured Analysis and System Specification (Reprint) , 2002, Software Pioneers.

[5]  A. W. Heerink,et al.  Côte de Resyste in Progress , 2000 .

[6]  Ed F. Deprettere,et al.  The Artemis Architecture Workbench , 2000 .

[7]  Inmos Limited,et al.  OCCAM 2 reference manual , 1988 .

[8]  Johannes F. Broenink,et al.  A structured approach to embedded control systems implementation , 2001, Proceedings of the 2001 IEEE International Conference on Control Applications (CCA'01) (Cat. No.01CH37204).

[9]  Andy D. Pimentel,et al.  On Hybrid Abstraction-level Models in Architecture Simulation , 2000 .

[10]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[11]  Andrew William Roscoe,et al.  The Theory and Practice of Concurrency , 1997 .

[12]  Bruce Powell Douglass,et al.  Real-time UML (2nd ed.): developing efficient objects for embedded systems , 1997 .

[13]  P. Breedveld.  Multibond graph elements in physical systems theory , 1985 .

[14]  Paul J.M. Havinga,et al.  Channel Communication and Reconfigurable Hardware , 2000 .

[15]  Gerald H. Hilderink,et al.  Building Blocks for Embedded Control Systems , 2000 .

[16]  L. J. van Bokhoven,et al.  System-Level Modeling and Performance Analysis , 2000 .

[17]  J.P.A. Hendriks.  Realization of Tool Support for CSP Diagrams and Generation of Concurrent Java Software , 2001 .

[18]  Johannes F. Broenink,et al.  Communicating threads for Java , 1999 .

[19]  Bruce Powel Douglass.  Real-time UML - developing efficient objects for embedded systems , 1997, Addison-Wesley object technology series.

[20]  Ciarán Bryce,et al.  An approach to safe object sharing , 2000, OOPSLA '00.

[21]  Gerald H. Hilderink,et al.  BUILDING BLOCKS FOR CONTROL SYSTEM SOFTWARE , 2001 .