Real-time object-oriented modeling
Real-time object-oriented modeling
HRT-HOOD: a structured design method for hard real-time systems
Real-Time Systems
Formal timing analysis for distributed real-time programs
Real-Time Systems
Deadline-monotonic software scheduling for the co-synthesis of parallel hard real-time systems
EDTC '95 Proceedings of the 1995 European conference on Design and Test
Adding instruction cache effect to schedulability analysis of preemptive real-time systems
RTAS '96 Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium (RTAS '96)
Simulation of hybrid mechatronic systems: a case study
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications
Pr/T-Net Based Seamless Design of Embedded Real-Time Systems
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Simulation of hybrid mechatronic systems: a case study
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Hi-index | 0.00 |
CHaRy is a software system to support the synthesis of periodic controller applications, where hard real-time Conditions must be guaranteedfor software tasks. Due to complexity reasons, CHaRy decomposes the overall problem of implementing periodic controllers on parallel embedded computers to the sub-problems partitioning, timing analysis, allocation and schedulability analysis. This rigourous 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), alld their assignment to a processor network (allocation), so that all hard real-time conditions are guaranteed (schedulability analysis). This paper provides an overview of the system, supported by many examples.