Blair, Lynne and Jones, T. (2001) The use of automata in modelling and building a real-time component based system. In: Object-Oriented Real-Time Dependable Systems, 2001. Proceedings. Sixth International Workshop on :. IEEE, pp. 69-76. ISBN 0-7695-1068-X
Full text not available from this repository.Abstract
Stochastically enhanced timed automata are used to model components of real-time systems. These automata components can be combined and replaced as required, but only with other automata. A new technique is presented which allows an automaton to be mapped on to a JavaBean, which can then be combined with other JavaBeans and components using known techniques. A system known as STINGRAE (Swimming Training INteractive Goggles for Real-time Aquatic Environments) is used as an example of this technique.