Code Generation Strategies for Partitioned Systems

Design and verification of Distributed Real-time Embed-ded (DRE) systems are crucial because a failure or a secu-rity problem may cause loss of life or the premature end of a mission. Code for such systems must be verified to avoid failures and errors. To improve dependability and reliability, the concept of partitioned architecture has been proposed. Partitioned architectures isolate partitions and reduce failures propagation. However, system’s configura-tion as well as application code remain hand-written, which is error-prone, difficult to check and certify. In this paper, we present an approach to automatically generate and configure partitioned systems. We model par-titioned systems using a language suitable for real-time em-bedded systems. Then, we automatically generate code from models. Generated code follows the semantics of the model so it enforces specified requirements. 1