The use of Automata in Modelling and Building a Real-time Component Based System

Trevor Jones; Lynne Blair

doi:10.1109/WORDS.2001.945115

W
WORDS
2001
Sixth International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'01)
Abstract - The use of Automata in Modelling and Building a Real-time Component Based System

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/EndNote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Trevor Jones Articles by Lynne Blair

Sixth International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'01)

The use of Automata in Modelling and Building a Real-time Component Based System

Rome, Italy

January 08-January 10

ISBN: 0-7695-1068-X

	ASCII Text	x
	Trevor Jones, Lynne Blair, "The use of Automata in Modelling and Building a Real-time Component Based System," Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on, pp. 69, Sixth International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'01), 2001.

	BibTex	x
	@article{ 10.1109/WORDS.2001.945115, author = {Trevor Jones and Lynne Blair}, title = {The use of Automata in Modelling and Building a Real-time Component Based System}, journal ={Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on}, volume = {0}, year = {2001}, issn = {1530-1443}, pages = {69}, doi = {http://doi.ieeecomputersociety.org/10.1109/WORDS.2001.945115}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on TI - The use of Automata in Modelling and Building a Real-time Component Based System SN - 1530-1443 SP EP A1 - Trevor Jones, A1 - Lynne Blair, PY - 2001 VL - 0 JA - Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on ER -

Trevor Jones, Lancaster University

Lynne Blair, Lancaster University

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/WORDS.2001.945115

Stochastically enhanced timed automata are used to model components of r eal-time systems. These automata components can be combined and r eplaced as required, but only with other automata.A new technique is presented which allows an automaton to be mapped onto a java-bean, which can then be combined with other java-beans and components using known techniques. A system known as STINGRAE is used as an example of this technique.

Citation:

Trevor Jones, Lynne Blair, "The use of Automata in Modelling and Building a Real-time Component Based System," words, pp.69, Sixth International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'01), 2001

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.