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

Hans Rischel; Hong Yan Sun

doi:10.1109/EMWRTS.1997.613772

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

Hans Rischel, Hong Yan Sun

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

418 Downloads (Pure)

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

Original language	English
Title of host publication	Real-Time Systems, 1997. Proceedings., Ninth Euromicro Workshop on
Publisher	IEEE
Publication date	1997
Pages	121-127
ISBN (Print)	0-8186-8034-2
DOIs	https://doi.org/10.1109/EMWRTS.1997.613772
Publication status	Published - 1997
Event	Real-Time Systems, 1997. Proceedings., Ninth Euromicro Workshop on - Duration: 1 Jan 1997 → …

Conference

Conference	Real-Time Systems, 1997. Proceedings., Ninth Euromicro Workshop on
Period	01/01/1997 → …

Bibliographical note

Copyright: 1997 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE

Access to Document

10.1109/EMWRTS.1997.613772

RischelFinal published version, 608 KB

OpenUrl availability

Full text

Cite this

@inproceedings{5209a964e43146ffb85e234301a250ed,

title = "Design and prototyping of real-time systems using CSP and CML",

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",

author = "Hans Rischel and Sun, {Hong Yan}",

note = "Copyright: 1997 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE; Real-Time Systems, 1997. Proceedings., Ninth Euromicro Workshop on ; Conference date: 01-01-1997",

year = "1997",

doi = "10.1109/EMWRTS.1997.613772",

language = "English",

isbn = "0-8186-8034-2",

pages = "121--127",

booktitle = "Real-Time Systems, 1997. Proceedings., Ninth Euromicro Workshop on",

publisher = "IEEE",

address = "United States",

}

TY - GEN

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

AU - Rischel, Hans

AU - Sun, Hong Yan

N1 - Copyright: 1997 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE

PY - 1997

Y1 - 1997

N2 - 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

AB - 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

U2 - 10.1109/EMWRTS.1997.613772

DO - 10.1109/EMWRTS.1997.613772

M3 - Article in proceedings

SN - 0-8186-8034-2

SP - 121

EP - 127

BT - Real-Time Systems, 1997. Proceedings., Ninth Euromicro Workshop on

PB - IEEE

T2 - Real-Time Systems, 1997. Proceedings., Ninth Euromicro Workshop on

Y2 - 1 January 1997

ER -

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

Abstract

Conference

Bibliographical note

Access to Document

OpenUrl availability

Fingerprint

Cite this