12,000

We have over 12,000 students, from over 100 countries, within one of the safest campuses in the UK

93%

93% of Lancaster students go into work or further study within six months of graduating

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

« Back

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

Research output: Contribution in Book/Report/ProceedingsPaper

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
Original languageEnglish

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.