Show simple item record

dc.contributor.authorEstivill-Castro, Vladimir
dc.contributor.authorHexel, Rene
dc.date.accessioned2017-11-29T22:56:29Z
dc.date.available2017-11-29T22:56:29Z
dc.date.issued2016
dc.identifier.isbn9781509046164
dc.identifier.doi10.1109/SIMPAR.2016.7862408
dc.identifier.urihttp://hdl.handle.net/10072/124233
dc.description.abstractMore and more, pre-runtime testing or verification of software in robotic systems is not feasible. For example, autonomous robots using learning behaviors to handle new environments. What sort of software architecture would then enable runtime-verification? We propose that logic-labeled finite-state machines (LLFSMs), jointly with regular expressions are a potent tool to describe acceptable and unacceptable system behaviors. Our architecture has the advantage of expressive power, since sometimes regular expressions are more succinct and comprehensible, while other times, the visual display of the LLFSM would be more accessible to requirements engineers. Moreover, LLFSMs have a prescribed schedule that enables their comprehensive testing and formal verification, and in similar ways, allows monitoring at run-time. The architecture facilitates verification of monitor LLFSMs and higher safety than alternatives such as ROSRV. Moreover, for a subset of LTL (co-safe LTV), LLFSMs can be synthesised from LTL constraints.
dc.description.peerreviewedYes
dc.languageEnglish
dc.publisherInstitute of Electrical and Electronics Engineers (IEEE)
dc.publisher.placeUnited States
dc.relation.ispartofconferencenameIEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR)
dc.relation.ispartofconferencetitle2016 IEEE INTERNATIONAL CONFERENCE ON SIMULATION, MODELING, AND PROGRAMMING FOR AUTONOMOUS ROBOTS (SIMPAR)
dc.relation.ispartofdatefrom2016-12-13
dc.relation.ispartofdateto2016-12-16
dc.relation.ispartoflocationSan Francisco, CA
dc.relation.ispartofpagefrom281
dc.relation.ispartofpageto288
dc.subject.fieldofresearchSoftware Engineering
dc.subject.fieldofresearchAdaptive Agents and Intelligent Robotics
dc.subject.fieldofresearchcode080309
dc.subject.fieldofresearchcode080101
dc.titleRun-time Verification of Regularly Expressed Behavioral Properties in Robotic Systems with Logic-Labeled 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
gro.griffith.authorEstivill-Castro, Vladimir


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