Show simple item record

dc.contributor.authorBillington, Daviden_US
dc.contributor.authorEstivill-Castro, Vladimiren_US
dc.contributor.authorHexel, Reneen_US
dc.contributor.authorRock, Andrewen_US
dc.date.accessioned2017-04-24T11:31:16Z
dc.date.available2017-04-24T11:31:16Z
dc.date.issued2010en_US
dc.date.modified2011-11-01T06:55:37Z
dc.identifier.issn03029743en_US
dc.identifier.doi10.1007/978-3-642-17319-6_21en_AU
dc.identifier.urihttp://hdl.handle.net/10072/35924
dc.description.abstractIn this paper we propose a high level approach to capture the behaviour of an autonomous robotic or embedded system. Using requirements engineering, we construct models of the behaviour where system activities are captured mainly by collaborating state machines while the domain knowledge is captured by a non-monotonic logic. We explain our infrastructure that enables interpretation, simulation, automatic deployment, and testing of the models, minimising the need for developers to code. The approach also minimises faults introduced in the software development cycle and ensures a large part of the software is independent of the particular robotic platform.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_AU
dc.format.extent2886055 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglishen_US
dc.language.isoen_AU
dc.publisherSpringeren_US
dc.publisher.placeGermanyen_US
dc.relation.ispartofstudentpublicationNen_AU
dc.relation.ispartofpagefrom204en_US
dc.relation.ispartofpageto216en_US
dc.relation.ispartofjournalLecture Notes in Computer scienceen_US
dc.relation.ispartofvolume6472en_US
dc.rights.retentionYen_AU
dc.subject.fieldofresearchSoftware Engineeringen_US
dc.subject.fieldofresearchAdaptive Agents and Intelligent Roboticsen_US
dc.subject.fieldofresearchcode080309en_US
dc.subject.fieldofresearchcode080101en_US
dc.titleModelling behaviour requirements for automatic interpretation, simulation and deploymenten_US
dc.typeJournal articleen_US
dc.type.descriptionC1 - Peer Reviewed (HERDC)en_US
dc.type.codeC - Journal Articlesen_US
gro.facultyGriffith Sciences, School of Information and Communication Technologyen_US
gro.rights.copyrightCopyright 2010 Springer Berlin / Heidelberg. 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.comen_AU
gro.date.issued2010
gro.hasfulltextFull Text


Files in this item

This item appears in the following Collection(s)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record