A real-time 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 periconstraints. It provides a high-level of abstraction and benefits from the formal properties of synchronous languages. The language defines a small set of rate transition 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 communicating real-time tasks implemented as concurrent C threads that can be executed on a standard real-time operating system. Categories and Subject Descriptors C.3 [Special purpose and application-based systems]: Real-time and embedded systems; D.2.11 [Software Architectures]: Languages; D.3.2 [Language c...

• Type: Conference
• Year: 2010
• Where: SAC
• Authors: Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti
• Keywords: Applied Computing, Multiple Real-time Constraints, Real-time, SAC 2010, Software Architectures