Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications

	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 Fernando Marotta Articles by Angelo Morzenti Articles by Dino Mandrioli

21st IEEE International Conference on Distributed Computing Systems (ICDCS'01)

Mesa, AZ

April 16-April 19

ISBN: 0-7695-1077-9

	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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICDSC.2001.918987

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

Peer Review Notice | Give Us Feedback

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