Affordable Access

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

Authors
Publisher
IEEE
Publication Date
Keywords
  • A Procedure For Systematic Design Of Event Based Systems Is Introduced By Means Of The Production Ce
  • The Design Is Documented By Csp Style Processes
  • Which Allow Both Verification Using Formal Techniques And Also Validation Of A Rapid Prototype In Th
Disciplines
  • Design

Abstract

Design and prototyping of real-time systems using CSP and CML - DTU Orbit (04/03/14) Design and prototyping of real-time systems using CSP and CML - DTU Orbit (04/03/14) 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 General information State: Published Organisations: Department of Informatics and Mathematical Modeling Authors: Rischel, H. (Intern), Sun, H. Y. (Intern) Pages: 121-127 Publication date: 1997 Host publication information Title: Real-Time Systems, 1997. Proceedings., Ninth Euromicro Workshop on Publisher: IEEE ISBN (Print): 0-8186-8034-2 Main Research Area: Technical/natural sciences Conference: Real-Time Systems, 1997. Proceedings., Ninth Euromicro Workshop on, 01/01/97 Documents: Rischel.pdf DOIs: 10.1109/EMWRTS.1997.613772 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 Source: orbit Source-ID: 259034 Publication: Research - peer-review › Article in proceedings – Annual report year: 1997

There are no comments yet on this publication. Be the first to share your thoughts.