Automated validation of distributed software using the IF environment

Author

Bozga, Marius ; Graf, Susanne ; Mounier, Laurent

Author_Institution

Centre Equation, VERIMAG, Gieres, France

fYear

2001

fDate

2001

Firstpage

268

Lastpage

274

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

Keywords

embedded systems; program verification; protocols; IF environment; automated validation; distributed software; distributed software systems; embedded software systems; expressive intermediate language; open validation environment; telecommunication protocols; Communication industry; Communication system software; Computer industry; Embedded software; Embedded system; Equations; Production systems; Protocols; Software systems; Unified modeling language;

fLanguage

English

Publisher

ieee

Conference_Titel

Network Computing and Applications, 2001. NCA 2001. IEEE International Symposium on

Conference_Location

Cambridge, MA

Print_ISBN

0-7695-1432-4

Type

conf

DOI

10.1109/NCA.2001.962542

Filename

962542