Show simple item record

dc.contributor.authorEstivill-Castro, V
dc.contributor.authorHexel, R
dc.contributor.authorRamlrez Regalado, A
dc.contributor.editorAlbert M. K. Cheng
dc.date.accessioned2017-11-29T23:03:10Z
dc.date.available2017-11-29T23:03:10Z
dc.date.issued2016
dc.identifier.isbn9781509011506
dc.identifier.doi10.1109/DCPS.2016.7588297
dc.identifier.urihttp://hdl.handle.net/10072/124181
dc.description.abstractWe 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.peerreviewedYes
dc.languageEnglish
dc.publisherInstitute of Electrical and Electronics Engineers (IEEE)
dc.publisher.placeUnited States
dc.relation.ispartofconferencenameDCPS 2016
dc.relation.ispartofconferencetitle2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems, DCPS 2016
dc.relation.ispartofdatefrom2016-04-12
dc.relation.ispartofdateto2016-04-12
dc.relation.ispartoflocationHofburg, Vienna, Austria
dc.subject.fieldofresearchSoftware engineering
dc.subject.fieldofresearchcode4612
dc.titleArchitecture for logic programing with arrangements of finite-state machines
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.facultyGriffith Sciences, School of Information and Communication Technology
gro.hasfulltextNo Full Text
gro.griffith.authorHexel, Rene


Files in this item

FilesSizeFormatView

There are no files associated with 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