Title :
The use of automata in modelling and building a real-time component based system
Author :
Jones, Trevor ; Blair, Lynne
Author_Institution :
Dept. of Comput., Lancaster Univ., UK
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
Keywords :
Java; computer based training; distributed object management; interactive systems; real-time systems; software engineering; stochastic automata; subroutines; JavaBeans; STINGRAE; automata components; automaton mapping; interactive goggles; real-time aquatic environments; real-time system component modelling; stochastically enhanced timed automata; swimming training; Automata; Fires; Hardware; Java; Power system modeling; Prototypes; Real time systems; Software prototyping; Stochastic systems; Testing;
Conference_Titel :
Object-Oriented Real-Time Dependable Systems, 2001. Proceedings. Sixth International Workshop on
Conference_Location :
Rome
Print_ISBN :
0-7695-1068-X
DOI :
10.1109/WORDS.2001.945115
