In this paper we present an end-to-end framework for the design and the implementation of embedded systems on a symmetric multicore. The developer first specifies the system using the PRELUDE language, a formal realtime architecture description language. The compiler then translates the program into a set of communicating periodic tasks that preserves the semantics of the original program. The ...
