Design of Embedded Real-time Systems: Developing a Method for Practical Software Engineering

Hans Henrik Løvengreen, Anders P. Ravn, Hans Rischel

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

    281 Downloads (Pure)

    Abstract

    The methodological issues and practical problems in development and industrial use of a theory-based design method for embedded, real-time systems are discussed. The method has been used for several years in a number of smaller industries that develop both electronics and software for a professional market. The design is expressed in a notation for communicating sequential processes, while data types and operations are expressed in a notation built on mathematical set theory. The authors present an order in which to use the notations, a technique for deriving states and operations, and a method to provide systematic checks of a design with respect to system requirements
    Original languageEnglish
    Title of host publicationIEEE International Conference on Computer Systems and Software Engineering
    PublisherIEEE
    Publication date1990
    Pages385-390
    ISBN (Print)0-8186-2041-2
    DOIs
    Publication statusPublished - 1990
    EventIEEE International Conference on Computer Systems and Software Engineering - Tel-Aviv
    Duration: 1 Jan 1990 → …

    Conference

    ConferenceIEEE International Conference on Computer Systems and Software Engineering
    CityTel-Aviv
    Period01/01/1990 → …

    Bibliographical note

    Copyright: 1990 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

    Løvengreen, H. H., Ravn, A. P., & Rischel, H. (1990). Design of Embedded Real-time Systems: Developing a Method for Practical Software Engineering. In IEEE International Conference on Computer Systems and Software Engineering (pp. 385-390). IEEE. https://doi.org/10.1109/CMPEUR.1990.113649