Integrating Variants of DC

摘要

This paper presents a logical language which integrates many variants of DC, and acts a wide spectrum language covering specification, design and programming of real-time computing systems. We have investigated the links of our language with some well-known variants of DC in the previous sections. Our language provides a mathematically sound basis for real-time refinement calculus and as well as proof systems for time-critical computing systems. It has been successfully used in formalising a specification language TRSL, mixed hardware/software systems and Sequential Hybrid Systems.