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

Hans Rischel, Hong Yan Sun

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    218 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 languageEnglish
    Title of host publicationReal-Time Systems, 1997. Proceedings., Ninth Euromicro Workshop on
    PublisherIEEE
    Publication date1997
    Pages121-127
    ISBN (Print)0-8186-8034-2
    DOIs
    Publication statusPublished - 1997
    EventReal-Time Systems, 1997. Proceedings., Ninth Euromicro Workshop on -
    Duration: 1 Jan 1997 → …

    Conference

    ConferenceReal-Time Systems, 1997. Proceedings., Ninth Euromicro Workshop on
    Period01/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

    Cite this

    Rischel, H., & Sun, H. Y. (1997). Design and prototyping of real-time systems using CSP and CML. In Real-Time Systems, 1997. Proceedings., Ninth Euromicro Workshop on (pp. 121-127). IEEE. https://doi.org/10.1109/EMWRTS.1997.613772