loading...
Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications
Mesa, AZ April 16-April 19
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICDSC.2001.91898721st IEEE International Conference on ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Fernando Marotta, Angelo Morzenti, Dino Mandrioli, "Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications," Distributed Computing Systems, International Conference on, pp. 0567, 21st IEEE International Conference on Distributed Computing Systems (ICDCS'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/ICDSC.2001.918987,
author = {Fernando Marotta and Angelo Morzenti and Dino Mandrioli},
title = {Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications},
journal ={Distributed Computing Systems, International Conference on},
volume = {0},
year = {2001},
isbn = {0-7695-1077-9},
pages = {0567},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICDSC.2001.918987},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Distributed Computing Systems, International Conference on
TI - Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications
SN - 0-7695-1077-9
SP
EP
A1 - Fernando Marotta,
A1 - Angelo Morzenti,
A1 - Dino Mandrioli,
PY - 2001
VL - 0
JA - Distributed Computing Systems, International Conference on
ER -
 
Fernando Marotta, Politecnico di Milano
Angelo Morzenti, Politecnico di Milano
Dino Mandrioli, Politecnico di Milano
Abstract: We advocate the need to exploit formal methods in the development of critical applications on top of RT-CORBA, a recently defined real-time extension of CORBA. We illustrate our approach using the TRIO formal notation. First, we provide a model of the core features of RT-CORBA and of the Real-Time Event Service. Then we formalize the requirements of a simple application for supervision and control, and we outline the object architecture of its implementation based on the RT-CORBA platform. Finally we show how the above model (RT-CORBA and service plus application objects) can be employed in the proof that the application requirements are actually fulfilled.
Citation:
Fernando Marotta, Angelo Morzenti, Dino Mandrioli, "Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications," icdcs, pp.0567, 21st IEEE International Conference on Distributed Computing Systems (ICDCS'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.