Modelling behaviour requirements for automatic interpretation, simulation and deployment

File Size Format
64434_1.pdf 2818Kb Adobe PDF View
Title Modelling behaviour requirements for automatic interpretation, simulation and deployment
Author Billington, David; Estivill-Castro, Vladimir; Hexel, Rene; Rock, Andrew
Journal Name Lecture Notes in Computer Science
Year Published 2010
Place of publication Germany
Publisher Springer
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.
Peer Reviewed Yes
Published Yes
Alternative URI http://dx.doi.org/10.1007/978-3-642-17319-6_21
Copyright Statement 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
Volume 6472
Page from 204
Page to 216
ISSN 0302-9743
Date Accessioned 2010-11-15
Language en_AU
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Subject Adaptive Agents and Intelligent Robotics; Software Engineering
URI http://hdl.handle.net/10072/35924
Publication Type Journal Articles (Refereed Article)
Publication Type Code c1

Show simple item record

Griffith University copyright notice