Modular simulation for logic, distributed, real-time control systems

The present paper describes a CAD environment developed to model, simulate and evaluate the correctness and performance of distributed real-time control systems. The flexible modular approach allows the clear separation of the definition and evaluation of a control algorithm as a stand-alone entity from that of the synchronization mechanisms among tasks and processors. Particular care has been paid to ensure a consistent temporal evolution and to the economics and uniformity of the representation of structurally different tasks.<
>