Show simple item record

dc.contributor.authorEstivill-Castro, Vlad
dc.contributor.authorHexel, Rene
dc.contributor.authorLusty, Carl
dc.contributor.editorBrugali, D
dc.contributor.editorBroenink, JF
dc.contributor.editorKroeger, T
dc.contributor.editorMacDonald, BA
dc.date.accessioned2017-08-30T05:03:57Z
dc.date.available2017-08-30T05:03:57Z
dc.date.issued2014
dc.identifier.isbn978-3-319-11899-4
dc.identifier.issn0302-9743
dc.identifier.refurihttp://simpar.org/home
dc.identifier.doi10.1007/978-3-319-11900-7_16
dc.identifier.urihttp://hdl.handle.net/10072/68541
dc.description.abstractWe present gusimplewhiteboard, a software architecture analogous to ROS:services and ROS: messages, that enables the construction and extremely efficient inter-process relaying of message-types as C++11 objects, All gusimplewhiteboard objects reside in shared memory. Moreover, our principle is to use idempotent message communication, in direct contrast to previously released platforms for robotic-module communication, that are based on an event-driven subscriber model that queues and multi-threads. We combine this with compiled, time-triggered, logic-labeled finite state machines (llfsms) the are executed concurrently, but scheduled sequentially, in an extremely efficient manner, removing all race conditions and requirements for explicit synchronisation. Together, these tools enable effective robotic behaviour design, where arrangements of llfsms can be organised as hierarchies of machines and submachines, enabling composition of very complex systems. They have proven to be very powerful for Model-Driven Development, capable of simulation, validation, and formal verification.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.languageEnglish
dc.publisherSpringer-Verlag
dc.publisher.placeBerlin
dc.publisher.urihttp://2014.simpar.org/home
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofconferencename4th International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR)
dc.relation.ispartofconferencetitleSIMULATION, MODELING, AND PROGRAMMING FOR AUTONOMOUS ROBOTS (SIMPAR 2014)
dc.relation.ispartofdatefrom2014-10-20
dc.relation.ispartofdateto2014-10-23
dc.relation.ispartoflocationBergamo, ITALY
dc.relation.ispartofpagefrom182
dc.relation.ispartofpagefrom13 pages
dc.relation.ispartofpageto194
dc.relation.ispartofpageto13 pages
dc.relation.ispartofvolume8810
dc.rights.retentionY
dc.subject.fieldofresearchSoftware Engineering
dc.subject.fieldofresearchSimulation and Modelling
dc.subject.fieldofresearchcode080309
dc.subject.fieldofresearchcode080110
dc.titleHigh Performance Relaying of C++11 Objects across Processes and Logic-Labeled Finite-State Machines
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
dc.description.versionPost-print
gro.facultyGriffith Sciences, School of Information and Communication Technology
gro.rights.copyright© 2014 Springer International Publishing Switzerland. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. The original publication is available at www.springerlink.com.
gro.hasfulltextFull Text
gro.griffith.authorHexel, Rene
gro.griffith.authorEstivill-Castro, Vladimir
gro.griffith.authorLusty, Carl B.


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