dc.contributor.author | Estivill-Castro, V | |
dc.contributor.author | Hexel, R | |
dc.contributor.author | Ramlrez Regalado, A | |
dc.contributor.editor | Albert M. K. Cheng | |
dc.date.accessioned | 2017-11-29T23:03:10Z | |
dc.date.available | 2017-11-29T23:03:10Z | |
dc.date.issued | 2016 | |
dc.identifier.isbn | 9781509011506 | |
dc.identifier.doi | 10.1109/DCPS.2016.7588297 | |
dc.identifier.uri | http://hdl.handle.net/10072/124181 | |
dc.description.abstract | We incorporate logic programs (in particular Prolog) into reactive systems. We do this using Logic-labeled finitestate machines (LLFSMs), whose non-event-driven nature results in a deterministic schedule. We also advocate the use of a middleware under the Pull-approach, as opposed to the, currently very common, Push-approach, achieving deterministic semantics and the ability to ensure correctness in both the time and value domains. The deterministic schedule has other advantages, such as bounded resource use for inter-process communication as well as a smaller state space for formal verification. We demonstrate this architecture through a simple case study, contrasting the current prevalent Push approach in ROS [1] with the Pull approach recommended for LLFSMs. | |
dc.description.peerreviewed | Yes | |
dc.language | English | |
dc.publisher | Institute of Electrical and Electronics Engineers (IEEE) | |
dc.publisher.place | United States | |
dc.relation.ispartofconferencename | DCPS 2016 | |
dc.relation.ispartofconferencetitle | 2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems, DCPS 2016 | |
dc.relation.ispartofdatefrom | 2016-04-12 | |
dc.relation.ispartofdateto | 2016-04-12 | |
dc.relation.ispartoflocation | Hofburg, Vienna, Austria | |
dc.subject.fieldofresearch | Software engineering | |
dc.subject.fieldofresearchcode | 4612 | |
dc.title | Architecture for logic programing with arrangements of finite-state machines | |
dc.type | Conference output | |
dc.type.description | E1 - Conferences | |
dc.type.code | E - Conference Publications | |
gro.faculty | Griffith Sciences, School of Information and Communication Technology | |
gro.hasfulltext | No Full Text | |
gro.griffith.author | Hexel, Rene | |