CHaRy: the C-LAB hard real-time system to support mechatronical design
- 22 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 271-278
- https://doi.org/10.1109/ecbs.1997.581880
Abstract
CHaRy is a software system to support the synthesis of periodic controller applications, where hard real-time conditions must be guaranteed for software tasks. Due to complexity reasons, CHaRy decomposes the overall problem of implementing periodic controllers on parallel embedded computers to sub-problem partitioning, timing analysis, allocation and schedulability analysis. This rigorous decomposition is relatively new for hard real-time software. Since CHaRy takes into account both the embedded controller applications as well as the encompassing system, the engineering of computer based systems (ECBS) is supported. Since all these sub-problems are still of huge complexity, CHaRy provides efficient heuristics for all these subjects. Hence CHaRy supports the mapping of controller models (implemented by C code) to a number of tasks (partitioning), the extraction of their computation times (timing analysis), and their assignment to a processor network (allocation), so that all hard real-time conditions are guaranteed (schedulability analysis). The paper provides an overview of the system, supported by many examples.Keywords
This publication has 15 references indexed in Scilit:
- On the false path problem in hard real-time programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Allocation and scheduling of complex periodic tasksPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Simulation of hybrid mechatronic systems: a case studyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- LoDiT — Automatisches Partitionieren von mechatronischen Systemen für die verteilte SimulationPublished by Springer Nature ,1996
- Design and Application of a Distributed Simulation- and Runtime-Platform for Mechatronic Systems in the Field of Robot ControlPublished by Springer Nature ,1995
- HRT-HOOD: A structured design method for hard real-time systemsReal-Time Systems, 1994
- The End Of The Line For Static Cyclic Scheduling?Published by Institute of Electrical and Electronics Engineers (IEEE) ,1993
- The high-level synthesis of digital systemsProceedings of the IEEE, 1990
- On the complexity of fixed-priority scheduling of periodic, real-time tasksPerformance Evaluation, 1982
- A note on preemptive scheduling of periodic, real-time tasksInformation Processing Letters, 1980