Real-time systems development with SDL and next generation validation tools

    Thumbnail
    Download
    Citations
    Altmetric
    Author
    Sinnott, Richard O.
    Date
    2001
    Source Title
    IEEE Real-Time Embedded System Workshop
    Publisher
    IEEE
    University of Melbourne Author/s
    Sinnott, Richard
    Metadata
    Show full item record
    Document Type
    Conference Paper
    Citations
    Sinnott, R. O. (2001). Real-time systems development with SDL and next generation validation tools. In IEEE Real-Time Embedded System Workshop, London, UK.
    Access Status
    Open Access
    URI
    http://hdl.handle.net/11343/28799
    Description

    ©2001 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.
    Abstract
    The language SDL has long been applied in the development of various kinds of systems. Real-time systems are one application area where SDL has been applied extensively. Whilst SDL allows for certain modelling aspects of real-time systems to be represented, the language and its associated tool support have certain drawbacks for modelling and reasoning about such systems. In this paper we highlight the limitations of SDL and its associated tool support in this domain and present language extensions and next generation real-time system tool support to help overcome them. The applicability of the extensions and tools is demonstrated through a case study based upon a multimedia binding object used to support a configuration of time dependent information producers and consumers realising the so called lip-synchronisation algorithm.
    Keywords
    SDL; validation; real-time systems

    Export Reference in RIS Format     

    Collections