Modelling Behaviour Requirements for Automatic Interpretation, Simulation and Deployment

  • David Billington
  • Vladimir Estivill-Castro
  • René Hexel
  • Andrew Rock
Conference paper

DOI: 10.1007/978-3-642-17319-6_21

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6472)
Cite this paper as:
Billington D., Estivill-Castro V., Hexel R., Rock A. (2010) Modelling Behaviour Requirements for Automatic Interpretation, Simulation and Deployment. In: Ando N., Balakirsky S., Hemker T., Reggiani M., von Stryk O. (eds) Simulation, Modeling, and Programming for Autonomous Robots. SIMPAR 2010. Lecture Notes in Computer Science, vol 6472. Springer, Berlin, Heidelberg

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.

Keywords

requirements engineering interpretation of models knowledge representation 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • David Billington
    • 1
  • Vladimir Estivill-Castro
    • 1
  • René Hexel
    • 1
  • Andrew Rock
    • 1
  1. 1.Griffith UniversityNathanAustralia

Personalised recommendations