Design and prototyping of real-time systems using CSP and CML


A procedure for systematic design of event based systems is introduced by means of the Production Cell case study. The design is documented by CSP-style processes, which allow both verification using formal techniques and also validation of a rapid prototype in the functional language CML. 
DOI: 10.1109/EMWRTS.1997.613772

10 Figures and Tables


  • Presentations referencing similar topics