Object lifecycles: modeling the world in states
Object lifecycles: modeling the world in states
Object-oriented modeling and design
Object-oriented modeling and design
Team automata for groupware systems
GROUP '97 Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
Synchronizations in Team Automata for Groupware Systems
Computer Supported Cooperative Work
From Requirements Change to Design Change: A Formal Path
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
Modeling Software with Finite State Machines
Modeling Software with Finite State Machines
A tool to visualize behavior and design evolution
Ninth international workshop on Principles of software evolution: in conjunction with the 6th ESEC/FSE joint meeting
Practical UML Statecharts in C/C++, Second Edition: Event-Driven Programming for Embedded Systems
Practical UML Statecharts in C/C++, Second Edition: Event-Driven Programming for Embedded Systems
Architecture for Hybrid Robotic Behavior
HAIS '09 Proceedings of the 4th International Conference on Hybrid Artificial Intelligence Systems
From Requirements to Embedded Software - Formalising the Key Steps
ASWEC '09 Proceedings of the 2009 Australian Software Engineering Conference
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
"integrare", a collaborative environment for behavior-oriented design
CDVE'07 Proceedings of the 4th international conference on Cooperative design, visualization, and engineering
The proof algorithms of plausible logic form a hierarchy
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
A defeasible logic for clauses
AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
SIMPAR'12 Proceedings of the Third international conference on Simulation, Modeling, and Programming for Autonomous Robots
| Hi-index | 0.00 |
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.