Title :
Design and prototyping of real-time systems using CSP and CML
Author :
Rischel, Hans ; Sun, Hongyan
Author_Institution :
Dept. of Inf. Technol., Tech. Univ. Denmark, Lyngby, Denmark
Abstract :
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
Keywords :
communicating sequential processes; functional languages; production control; program verification; real-time systems; software prototyping; CSP style processes; Production Cell case study; event based systems; formal techniques; functional language CML; rapid prototype; real time systems prototyping; systematic design; verification; Belts; Design methodology; Feeds; Production systems; Prototypes; Real time systems; Robots; Safety; Synchronization; Testing;
Conference_Titel :
Real-Time Systems, 1997. Proceedings., Ninth Euromicro Workshop on
Conference_Location :
Toledo
Print_ISBN :
0-8186-8034-2
DOI :
10.1109/EMWRTS.1997.613772
