A formal approach for modeling and verification of RTCORBA-based applications

Authors:
Matteo Rossi;Dino Mandrioli
Affiliations:
Politecnico di Milano, Milano, Italy;Politecnico di Milano, Milano, Italy
Venue:
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Year:
2004

Citing 8
Cited 4

From formal models to formally based methods: an industrial experience

ACM Transactions on Software Engineering and Methodology (TOSEM)
A formal approach for designing CORBA based applications

Proceedings of the 22nd international conference on Software engineering
Automated deductive requirements analysis of critical systems

ACM Transactions on Software Engineering and Methodology (TOSEM)
CORBA 3 Fundamentals and Programming with Cdrom

CORBA 3 Fundamentals and Programming with Cdrom
Priority Inheritance Protocols: An Approach to Real-Time Synchronization

IEEE Transactions on Computers
PVS: A Prototype Verification System

CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Cadena: an integrated development, analysis, and verification environment for component-based systems

Proceedings of the 25th International Conference on Software Engineering
A formal approach for designing CORBA-based applications

ACM Transactions on Software Engineering and Methodology (TOSEM)

RTZen: highly predictable, real-time java middleware for distributed and embedded systems

Proceedings of the ACM/IFIP/USENIX 2005 International Conference on Middleware
RTZen: highly predictable, real-time java middleware for distributed and embedded systems

Proceedings of the ACM/IFIP/USENIX 2005 International Conference on Middleware
A UML-Compatible formal language for system architecture description

SDL'05 Proceedings of the 12th international conference on Model Driven
RTZen: highly predictable, real-time java middleware for distributed and embedded systems

Middleware'05 Proceedings of the ACM/IFIP/USENIX 6th international conference on Middleware

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce a formal model for describing Real-Time CORBA-based applications, and a set of guidelines to formally check that the design of such an application is consistent with its specification. The model and the guidelines are then applied to the verification of a simple test application.