023 - Agent-oriented Modelling for a Vehicle Cruise Controller
Abstract
Specifying a vehicle cruise controller is a standard case study for software development methods. We apply a new agent-oriented modelling technique to this problem to animate the requirement for testing. Our approach relates reactive system modelling to the identification of characteristic sets of observations. Its relationship to other approaches is briefly discussed.