Show simple item record

dc.contributor.authorSinnott, Richard O.en_US
dc.date.accessioned2014-05-21T22:04:44Z
dc.date.available2014-05-21T22:04:44Z
dc.date.issued2001en_US
dc.identifier.citationSinnott, R. O. (2001). Real-time systems development with SDL and next generation validation tools. In IEEE Real-Time Embedded System Workshop, London, UK.en_US
dc.identifier.urihttp://hdl.handle.net/11343/28799
dc.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.en_US
dc.description.abstractThe 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.en_US
dc.languageengen_US
dc.publisherIEEEen_US
dc.subjectSDLen_US
dc.subjectvalidationen_US
dc.subjectreal-time systemsen_US
dc.titleReal-time systems development with SDL and next generation validation toolsen_US
dc.typeConference Paperen_US
melbourne.peerreviewPeer Revieweden_US
melbourne.affiliationThe University of Melbourneen_US
melbourne.affiliation.departmentComputing and Information Systems
melbourne.affiliation.facultyEngineering and Information Technology
melbourne.publication.statusUnpublisheden_US
melbourne.source.titleIEEE Real-Time Embedded System Workshopen_US
melbourne.source.locationconferenceLondon, UKen_US
dc.description.sourcedateconference3 Decemberen_US
melbourne.elementsidNA
melbourne.contributor.authorSinnott, Richard
melbourne.accessrightsOpen Access


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record