Sequential animation of a structured analysis required logical model of a vending machine controller

This report summarises part of a research programme investigating prototyping methods for real-time systems. Previous work has examined Ada tasking as an animation tool for data flow models and the use of data flow to model real time system functional requirements. The present report describes work carried out in animating a Vending Machine case study using the sequential programming paradigm.