DocumentCode
3133754
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
fYear
1997
fDate
11-13 Jun 1997
Firstpage
121
Lastpage
127
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Real-Time Systems, 1997. Proceedings., Ninth Euromicro Workshop on
Conference_Location
Toledo
Print_ISBN
0-8186-8034-2
Type
conf
DOI
10.1109/EMWRTS.1997.613772
Filename
613772
Link To Document