Show simple item record

dc.contributor.authorSinnott, Richard O.en_US
dc.date.accessioned2014-05-21T22:03:52Z
dc.date.available2014-05-21T22:03:52Z
dc.date.issued2004en_US
dc.identifier.citationSinnott, R. O. (2004). The formal, tool supported development of real time systems. In Proceedings of the Second International Conference on Software Engineering and Formal Methods (SEFM 2004), Beijing, China.en_US
dc.identifier.urihttp://hdl.handle.net/11343/28789
dc.description©2004 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.publisherIEEE Computer Societyen_US
dc.subjectSDLen_US
dc.subjectvalidationen_US
dc.subjectreal-time systemsen_US
dc.titleThe formal, tool supported development of real time systemsen_US
dc.typeConference Paperen_US
melbourne.peerreviewPeer Revieweden_US
melbourne.affiliationThe University of Melbourneen_US
melbourne.publication.statusPublisheden_US
melbourne.source.titleProceedings of the Second International Conference on Software Engineering and Formal Methods (SEFM 2004)en_US
melbourne.source.locationconferenceBeijing, Chinaen_US
dc.description.sourcedateconference28-30 Septemberen_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