CHaRy: the C-LAB hard real-time system to support mechatronical design

Complete worst-case execution time analysis of straight-line hard real-time programs

“…PTA is part of the C-LAB Hard Real-Time System (CHaRy [3]). CHaRy is designed to schedule controller applications on a parallel computer.…”

The Specification Language SpecC within the PARADISE Design Environment

“…For example, the tool CHaRy 2 is used for timing analysis of the SpecC model in the analysis dimension, as depicted in the lower part of Fig.4. CHaRy [Al96,Al97,StAl97] is a software synthesis tool for periodic controller applications. CHaRy allows to guarantee hard real-time conditions.…”