A realtime architecture design language for multi-rate embedded control systems

This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but extends it to support efficiently systems with multiple real-time constraints, such as deadline constraints or peri-odicity constraints. It provides a high-level of abstraction and benefits from the formal properties of synchronous lan-guages. The language defines a small set of rate transi-tion operators, which enable the description of user-defined deterministic multi-rate communication patterns between components of different rates. The compiler of the language automatically translates a program into a set of communi-cating real-time tasks implemented as concurrent C threads that can be executed on a standard real-time operating sys-tem. Categories and Subject Descriptors C.3 [Special purpose and application-based systems]