Skip to main content Skip to navigation

023 - Agent-oriented Modelling for a Vehicle Cruise Controller


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.