Automated Validation of Distributed Software Using the IF Environment

Authors:
Marius Bozga;Susanne Graf;Laurent Mounier
Affiliations:
-;-;-
Venue:
NCA '01 Proceedings of the IEEE International Symposium on Network Computing and Applications (NCA'01)
Year:
2001

Citing 0
Cited 3

Dynamic and formal verification of embedded systems: a comparative survey

International Journal of Parallel Programming
Expression of time and duration constraints in SDL

SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
FORMAL MODELLING OF REAL-TIME EMBEDDED AUTOMOTIVE ARCHITECTURE

Journal of Integrated Design & Process Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper summarizes our experience with IF, an open validation environment for distributed software systems. Indeed, face to the increasing complexity of such systems, none of the existing tools can cover by itself the whole validation process. The IF environment was built upon an expressive intermediate language and allows to connect several validation tools, providing most of the advanced techniques currently available. The results obtained on several large case-studies, including telecommunication protocols and embedded software systems, confirm the practical interest of this approach.