A Transformational Approach to the Systematic Design of Real-Time Systems

@inproceedings{Tun2003ATA,
  title={A Transformational Approach to the Systematic Design of Real-Time Systems},
  author={Manuel I. Capel Tu{\~n}{\'o}n and Jose Ram{\'o}n Balsas Almagro},
  year={2003}
}
In this paper, a bottom-up formal technique to obtain a correct system specification from the RT/SA requirements specification of a real-time system is proposed. The systematic procedure yields a complete specification in terms of CSP+T processes by means of the application of a set of transformation rules, which give a formal semantics to the semi-formal analysis entities of RT/SA. The approach takes advantage of the long tradition of RT/SA methodologies in the industry and at the same time… CONTINUE READING