Show simple item record

dc.contributor.authorBillington, David
dc.contributor.authorEstivill-Castro, Vladimir
dc.contributor.authorHexel, Rene
dc.contributor.authorRock, Andrew
dc.contributor.editorAndo, N
dc.contributor.editorBalakirsky, S
dc.contributor.editorHemker, T
dc.contributor.editorReggiani, M
dc.contributor.editorVonStryk, O
dc.date.accessioned2017-05-03T14:16:04Z
dc.date.available2017-05-03T14:16:04Z
dc.date.issued2010
dc.date.modified2011-11-01T06:55:37Z
dc.identifier.issn0302-9743
dc.identifier.doi10.1007/978-3-642-17319-6_21
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.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.format.extent2886055 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglish
dc.language.isoeng
dc.publisherSpringer
dc.publisher.placeGermany
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofpagefrom204
dc.relation.ispartofpageto216
dc.relation.ispartofjournalLecture Notes in Computer science
dc.relation.ispartofvolume6472
dc.rights.retentionY
dc.subject.fieldofresearchSoftware Engineering
dc.subject.fieldofresearchAdaptive Agents and Intelligent Robotics
dc.subject.fieldofresearchcode080309
dc.subject.fieldofresearchcode080101
dc.titleModelling behaviour requirements for automatic interpretation, simulation and deployment
dc.typeJournal article
dc.type.descriptionC1 - Articles
dc.type.codeC - Journal Articles
gro.facultyGriffith Sciences, School of Information and Communication Technology
gro.rights.copyright© 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.com
gro.date.issued2010
gro.hasfulltextFull Text
gro.griffith.authorRock, Andrew B.
gro.griffith.authorBillington, David
gro.griffith.authorHexel, Rene
gro.griffith.authorEstivill-Castro, Vladimir


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