↓Skip to main content

Formal Verification of AADL Specifications in the Topcased Environment

Verification Architecture Languages
Table of Contents

Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal Zilio, Mamoun Filali, François Vernadat
In Ada Europe 2009 — 14th Ada-Europe International Conference, jun 2009.

conference paper

 PDF  DOI〈10.1007/978-3-642-01924-1_15〉

Abstract
#

We describe a formal verification toolchain for AADL, the SAE Architecture Analysis and Design Language, enriched with its behavioral annex. Our approach is based on tools that are integrated in the Topcased environment. We give a high-level view of the tools involved and illustrate the successive transformations that take place during the verification process.

Citation
#


@InProceedings{DalzilioS:aadltina,
   author    = {Berthomieu, Bernard and Bodeveix, Jean-Paul and Chaudet, Christelle and {Dal Zilio}, Silvano and Filali, Mamoun and Vernadat, François},
   title     = {{Formal Verification of AADL Specifications in the Topcased Environment}},
   booktitle = {Ada Europe 2009 -- 14th Ada-Europe International Conference},
   series    = {Lecture Notes in Computer Science},
   volume    = {5570},
   publisher = {Springer-Verlag},
   doi = {10.1007/978-3-642-01924-1_15},
   pages     = {207--221},
   month     = jun, 
   year      = 2009
}