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

@inproceedings{citeulike:613404, 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 = {Jones, T. and Blair, L. }, citeulike-article-id = {613404}, journal = {Object-Oriented Real-Time Dependable Systems, 2001. Proceedings. Sixth International Workshop on}, keywords = {formal}, pages = {69--76}, posted-at = {2006-05-04 16:34:51}, priority = {2}, title = {The use of automata in modelling and building a real-time component based system}, url = {http://ieeexplore.ieee.org/xpls/abs\_all.jsp?arnumber=945115}, year = {2001} }

TY - CONF ID - citeulike:613404 L3 - citeulike-article-id:613404 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 JF - Object-Oriented Real-Time Dependable Systems, 2001. Proceedings. Sixth International Workshop on EP - 76 TI - The use of automata in modelling and building a real-time component based system SP - 69 KW - formal AU - Jones, T AU - Blair, L PY - 2001/// UR - http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=945115 ER -