From Requirements to Embedded Software - Formalising the Key Steps

Authors:
Toby Myers;R. Geoff Dromey
Affiliations:
-;-
Venue:
ASWEC '09 Proceedings of the 2009 Australian Software Engineering Conference
Year:
2009

Citing 0
Cited 2

Modelling behaviour requirements for automatic interpretation, simulation and deployment

SIMPAR'10 Proceedings of the Second international conference on Simulation, modeling, and programming for autonomous robots
Visual-trace simulation of concurrent finite-state machines for validation and model-checking of complex behaviour

SIMPAR'12 Proceedings of the Third international conference on Simulation, Modeling, and Programming for Autonomous Robots

Quantified Score

Hi-index	0.00

Visualization

Abstract

Failure of a design to satisfy a system's requirements can result in schedule and cost overruns. When using current approaches, ensuring requirements are satisfied is often delayed until late in the development process during a cycle of testing and debugging. This paper introduces a more rigorous approach to design using Behavior Engineering, which has previously been applied primarily to requirements analysis and specification development. To support design with Behavior Engineering we introduce the embedded Behavior Runtime Environment, a virtual machine created to execute a Behavior Engineering design on an embedded system. The result is a model-driven development approach that can create embedded system software that satisfies its requirements, as a result of applying the development process.