Home > Research > Publications & Outputs > The use of automata in modelling and building a...
View graph of relations

The use of automata in modelling and building a real-time component based system

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Published
Publication date2001
Host publicationObject-Oriented Real-Time Dependable Systems, 2001. Proceedings. Sixth International Workshop on
PublisherIEEE
Pages69-76
Number of pages8
ISBN (print)0-7695-1068-X
<mark>Original language</mark>English
Event6th International Workshop on Object Oriented Real-Time Dependable Systems (WORDS 2001) -
Duration: 1/01/1900 → …

Conference

Conference6th International Workshop on Object Oriented Real-Time Dependable Systems (WORDS 2001)
Period1/01/00 → …

Conference

Conference6th International Workshop on Object Oriented Real-Time Dependable Systems (WORDS 2001)
Period1/01/00 → …

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.