This paper presents an integrated framework for designing and implementing safety-critical embedded systems. The development begins with the specification of the system using the Prelude language. Then there is the compilation step, where the Prelude compiler translates the program into a set of communicating periodic tasks that preserve the semantics of the original program. The necessary sche...
