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

ISSTA 2004 - Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis

Volumn , Issue , 2004, Pages 263-273

  Rossi, Matteo ^a   Mandrioli, Dino ^a  

^a POLITECNICO DI MILANO   (Italy)

Author keywords

CORBA; Distributed applications; Formal verification; Middleware; Real time

Indexed keywords

ALGORITHMS; COMPUTER ARCHITECTURE; COMPUTER GRAPHICS; COMPUTER OPERATING SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; INTERACTIVE COMPUTER SYSTEMS; LARGE SCALE SYSTEMS; MIDDLEWARE; REAL TIME SYSTEMS; SYSTEMS ANALYSIS;

CORBA; DISTRIBUTED APPLICATIONS; FORMAL VERIFICATION; GRAPHICAL REPRESENTATION; REAL-TIME;

OBJECT ORIENTED PROGRAMMING;

EID: 23744470329     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1013886.1007548     Document Type: Conference Paper

References (16)

1. E. Ciapessoni, A. Coen-Porisini, E. Crivelli, D. Mandrioli, P. Mirandola, and A. Morzenti. From formal models to formally-based methods: an industrial experience. ACM Transactions On Software Engineering and Methodologies, 8(1):79-113, 1999.
2. A. Coen-Porisini, M. Pradella, M. Rossi, and D. Mandrioli. A formal approach for designing CORBA based applications. In Proc. of the 22nd Intern. Conf. on Software Engineering, June 2000.
3. A. Coen-Porisini, M. Pradella, M. Rossi, and D. Mandrioli. A formal approach for designing CORBA-based applications. ACM Transactions On Software Engineering and Methodology, 12(2):101-151, April 2003.
4. C. A. Furia and M. Rossi. A compositional framework for formally verifying modular systems. In Proc. of the 2nd Intern. Workshop on Test and Analysis of Component Based Systems, March 2004.
5. A. Gargantini and A. Morzenti. Automated deductive requirements analysis of critical systems. ACM Transactions On Software Engineering and Methodology, 3(3):225-307, 2001.
6. J. Hatcliff, X. Deng, M. B. Dwyer, G. Jung, and V. P. Ranganath. Cadena: an integrated development, analysis, and verification environment for component-based systems. In Proc. of the 25th International Conference on Software Engineering, pages 160-173. IEEE Computer Society, 2003.
7. D. Jackson and J. Wing. Lightweight formal methods. IEEE Computer, 29(4):21-22, April 1996.
8. P. Z. Kolano, R. A. Kemmerer, and D. Mandrioli. Parallel refinement mechanisms for real-time systems. In Proc. of the 3rd International Conference on Fundamental Approaches to Software Engineering, volume 1783 of LNCS, pages 35-50, March 2000.
9. A. Morzenti, M. Pradella, P. San Pietro, and P. Spoletini. Model-checking trio specifications in SPIN. In Proc. of the 12th International Formal Methods Europe Symposium, volume 2805 of LNCS, pages 542-561, September 2003.
10. OMG. Real-Time CORBA specification. Technical report, OMG, August 2002.
11. OMG. The Common Object Request Broker: Architecture and Specification, Revision 3.0, 2002-06-01. Technical report, OMG, July 2002.
12. OMG. MDA Guide Version 1.0.1, omg/2003-06-01. Technical report, OMG, June 2003.
13. S. Owre, J. M. Rushby, and N. Shankar. PVS: A Prototype Verification System. In Proc. of the 11th International Conference on Automated Deduction, volume 607 of LNCS, pages 748-752, June 1992.
14. M. Rossi. Modeling and Analysis of CORBA-based real-time distributed systems. PhD thesis, Politecnico di Milano, 2002. Online at www.elet.polimi.it/upload/rossi/PhD_Thesis.pdf.
15. L. Sha, R. Rajkumar, and J. Lehoczky. Priority inheritence protocols: An approach to real-time synchronization. IEEE Transactions on Computers, 39(9):1175-1185, 1990.
16. J. Siegel. CORBA 3 Fundamentals of Programming. J. Wiley, 2000.