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

Research

Links

Text available via DOI:

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/ISSN › Conference contribution/Paper › peer-review

Published

Standard

The use of automata in modelling and building a real-time component based system. / Blair, Lynne; Jones, T.
Object-Oriented Real-Time Dependable Systems, 2001. Proceedings. Sixth International Workshop on. IEEE, 2001. p. 69-76.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Harvard

Blair, L & 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, 6th International Workshop on Object Oriented Real-Time Dependable Systems (WORDS 2001), 1/01/00. https://doi.org/10.1109/WORDS.2001.945115

APA

Blair, L., & 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 (pp. 69-76). IEEE. https://doi.org/10.1109/WORDS.2001.945115

Vancouver

Blair L, Jones T. 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. 2001. p. 69-76 doi: 10.1109/WORDS.2001.945115

Author

Blair, Lynne ; Jones, T. / The use of automata in modelling and building a real-time component based system. Object-Oriented Real-Time Dependable Systems, 2001. Proceedings. Sixth International Workshop on. IEEE, 2001. pp. 69-76

Bibtex

@inproceedings{9548530521a04160bc4edc9797478c02,
title = "The use of automata in modelling and building a real-time component based system",
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.",
author = "Lynne Blair and T. Jones",
year = "2001",
doi = "10.1109/WORDS.2001.945115",
language = "English",
isbn = "0-7695-1068-X",
pages = "69--76",
booktitle = "Object-Oriented Real-Time Dependable Systems, 2001. Proceedings. Sixth International Workshop on",
publisher = "IEEE",
note = "6th International Workshop on Object Oriented Real-Time Dependable Systems (WORDS 2001) ; Conference date: 01-01-1900",

}

RIS

TY - GEN

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

AU - Blair, Lynne

AU - Jones, T.

PY - 2001

Y1 - 2001

N2 - 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.

AB - 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.

U2 - 10.1109/WORDS.2001.945115

DO - 10.1109/WORDS.2001.945115

M3 - Conference contribution/Paper

SN - 0-7695-1068-X

SP - 69

EP - 76

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

PB - IEEE

T2 - 6th International Workshop on Object Oriented Real-Time Dependable Systems (WORDS 2001)

Y2 - 1 January 1900

ER -