Synchronous Modules in ad hoc distributed embedded realtime system

Synchronous programming addresses issues in the design and implementation of safety critical systems by its ability to specify, verify and implement them as Reactive and Deterministic systems- systems that react to an input sequence in a designed fashion. Current Esterel compilers and run time executives need all the application modules to be available for compilation and execution. But real world systems can never be closed. New functionality will have to be added or removed. It is an open system. We intend to design and implement a compiler that can handle a non closed set of Esterel modules, ie. ad hoc Esterel modules and a run time environment with the ability to execute these ad hoc Esterel modules in conformance to the semantics of Esterel. The run time environment should be able to induct a newly arrived module or allow some module to withdraw. The ad hoc Esterel modules may have constraints on their behavior. If an arrival or departure can break the Esterel semantics, then the run time system will take a decision that is designed in. The run time architecture should support the Integrated Modular architecture recommended for avionics.