Show simple item record

dc.contributor.authorChen, David
dc.contributor.authorHexel, Rene
dc.contributor.authorRaja, Fawad Riasat
dc.contributor.editorMaciaszek, L
dc.contributor.editorFilipe, J
dc.date.accessioned2018-02-21T04:51:50Z
dc.date.available2018-02-21T04:51:50Z
dc.date.issued2016
dc.identifier.isbn9789897581892
dc.identifier.doi10.5220/0005915602720281
dc.identifier.urihttp://hdl.handle.net/10072/123644
dc.description.abstractEngineering real-time communication protocols is a complex task, particularly in the safety-critical domain. Current protocols exhibit a strong tradeoff between flexibility and the ability to detect and handle faults in a deterministic way. Model-driven engineering promises a high level design of verifiable and directly runnable implementations. Arrangements of logic-labelled finite-state machines (LLFSMs) allow the implementation of complex system behaviours at a high level through a subsumption architecture with clear execution semantics. Here, we show that the ability of LLFSMs to handle elaborate hierarchical module interactions can be utilised towards the implementation of testable, safety-critical real-time communication protocols. We present an efficient implementation and evaluation of INCUS, a time-triggered protocol for safety-critical real-time communication that transcends the rigidity imposed by existing real-time communication systems through the use of a high-level subs umption architecture.
dc.description.peerreviewedYes
dc.languageEnglish
dc.publisherSCITEPRESS: Science and Technology Publications
dc.publisher.placePortugal
dc.relation.ispartofconferencename11th International Conference on Evaluation of Novel Software Approaches to Software Engineering
dc.relation.ispartofconferencetitleENASE: PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL SOFTWARE APPROACHES TO SOFTWARE ENGINEERING
dc.relation.ispartofdatefrom2016-04-27
dc.relation.ispartofdateto2016-04-28
dc.relation.ispartoflocationRome, ITALY
dc.relation.ispartofpagefrom272
dc.relation.ispartofpagefrom10 pages
dc.relation.ispartofpageto281
dc.relation.ispartofpageto10 pages
dc.subject.fieldofresearchNetworking and communications
dc.subject.fieldofresearchCybersecurity and privacy
dc.subject.fieldofresearchcode460609
dc.subject.fieldofresearchcode4604
dc.titleEngineering Real-Time Communication Through Time-triggered Subsumption: Towards Flexibility with INCUS and LLFSMs
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
dc.description.versionVersion of Record (VoR)
gro.facultyGriffith Sciences, School of Information and Communication Technology
gro.rights.copyright© 2016 ScitePress. The attached file is reproduced here in accordance with the copyright policy of the publisher. Please refer to the conference's website for access to the definitive, published version.
gro.hasfulltextFull Text
gro.griffith.authorHexel, Rene
gro.griffith.authorChen, David


Files in this item

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record