A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
The design and performance of a real-time CORBA event service
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
From formal models to formally based methods: an industrial experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
The design of the TAO real-time object request broker
Computer Communications
A formal approach for designing CORBA-based applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Protocol Performance Analysis Using a Timed Extension for an Object Oriented Petri Net Language
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
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.