dc.contributor.author | Billington, David | |
dc.contributor.author | Estivill-Castro, Vladimir | |
dc.contributor.author | Hexel, Rene | |
dc.contributor.author | Rock, Andrew | |
dc.contributor.editor | Ando, N | |
dc.contributor.editor | Balakirsky, S | |
dc.contributor.editor | Hemker, T | |
dc.contributor.editor | Reggiani, M | |
dc.contributor.editor | VonStryk, O | |
dc.date.accessioned | 2017-05-03T14:16:04Z | |
dc.date.available | 2017-05-03T14:16:04Z | |
dc.date.issued | 2010 | |
dc.date.modified | 2011-11-01T06:55:37Z | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.doi | 10.1007/978-3-642-17319-6_21 | |
dc.identifier.uri | http://hdl.handle.net/10072/35924 | |
dc.description.abstract | In 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.peerreviewed | Yes | |
dc.description.publicationstatus | Yes | |
dc.format.extent | 2886055 bytes | |
dc.format.mimetype | application/pdf | |
dc.language | English | |
dc.language.iso | en_AU | |
dc.publisher | Springer | |
dc.publisher.place | Germany | |
dc.relation.ispartofstudentpublication | N | |
dc.relation.ispartofpagefrom | 204 | |
dc.relation.ispartofpageto | 216 | |
dc.relation.ispartofjournal | Lecture Notes in Computer science | |
dc.relation.ispartofvolume | 6472 | |
dc.rights.retention | Y | |
dc.subject.fieldofresearch | Software Engineering | |
dc.subject.fieldofresearch | Adaptive Agents and Intelligent Robotics | |
dc.subject.fieldofresearchcode | 080309 | |
dc.subject.fieldofresearchcode | 080101 | |
dc.title | Modelling behaviour requirements for automatic interpretation, simulation and deployment | |
dc.type | Journal article | |
dc.type.description | C1 - Articles | |
dc.type.code | C - Journal Articles | |
gro.faculty | Griffith 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.issued | 2010 | |
gro.hasfulltext | Full Text | |
gro.griffith.author | Rock, Andrew B. | |
gro.griffith.author | Billington, David | |
gro.griffith.author | Hexel, Rene | |
gro.griffith.author | Estivill-Castro, Vladimir | |