A Transformational Approach to the Design of Distributed Real-time Systems

This paper presents a transformational approach to the design of distributed real time systems. The starting point of the development is formal requirement specification in the DC (Duration Calculus). The target is a system specification described in SL (Specification Language). A set of standard transformation rules are applied to refine requirements to design specification. The case of study of the multi user multi media system demonstrates the processes of our method in detail.