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

fYear

2001

fDate

2001

Firstpage

69

Lastpage

76

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Object-Oriented Real-Time Dependable Systems, 2001. Proceedings. Sixth International Workshop on

Conference_Location

Rome

ISSN

1530-1443

Print_ISBN

0-7695-1068-X

Type

conf

DOI

10.1109/WORDS.2001.945115

Filename

945115