dc.contributor.author | Chen, David | |
dc.contributor.author | Hexel, Rene | |
dc.contributor.author | Raja, Fawad Riasat | |
dc.contributor.editor | Maciaszek, L | |
dc.contributor.editor | Filipe, J | |
dc.date.accessioned | 2018-02-21T04:51:50Z | |
dc.date.available | 2018-02-21T04:51:50Z | |
dc.date.issued | 2016 | |
dc.identifier.isbn | 9789897581892 | |
dc.identifier.doi | 10.5220/0005915602720281 | |
dc.identifier.uri | http://hdl.handle.net/10072/123644 | |
dc.description.abstract | Engineering 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.peerreviewed | Yes | |
dc.language | English | |
dc.publisher | SCITEPRESS: Science and Technology Publications | |
dc.publisher.place | Portugal | |
dc.relation.ispartofconferencename | 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering | |
dc.relation.ispartofconferencetitle | ENASE: PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL SOFTWARE APPROACHES TO SOFTWARE ENGINEERING | |
dc.relation.ispartofdatefrom | 2016-04-27 | |
dc.relation.ispartofdateto | 2016-04-28 | |
dc.relation.ispartoflocation | Rome, ITALY | |
dc.relation.ispartofpagefrom | 272 | |
dc.relation.ispartofpagefrom | 10 pages | |
dc.relation.ispartofpageto | 281 | |
dc.relation.ispartofpageto | 10 pages | |
dc.subject.fieldofresearch | Networking and communications | |
dc.subject.fieldofresearch | Cybersecurity and privacy | |
dc.subject.fieldofresearchcode | 460609 | |
dc.subject.fieldofresearchcode | 4604 | |
dc.title | Engineering Real-Time Communication Through Time-triggered Subsumption: Towards Flexibility with INCUS and LLFSMs | |
dc.type | Conference output | |
dc.type.description | E1 - Conferences | |
dc.type.code | E - Conference Publications | |
dc.description.version | Version of Record (VoR) | |
gro.faculty | Griffith 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.hasfulltext | Full Text | |
gro.griffith.author | Hexel, Rene | |
gro.griffith.author | Chen, David | |