Translating AADL into BIP-application to the verification of real-time systems

CEUR Workshop Proceedings

Volumn 503, Issue , 2008, Pages 39-53

  Chkouri, M Yassin ^a   Robert, Anne ^a   Bozga, Marius ^a   Sifakis, Joseph ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURE ANALYSIS; ASSOCIATED TOOL; BEHAVIOR SPECIFICATIONS; DEADLOCK DETECTION; DESIGN LANGUAGES; FLIGHT COMPUTERS; FORMAL VERIFICATIONS; GENERAL METHODOLOGIES;

EMBEDDED SYSTEMS; MODELS; REAL TIME SYSTEMS;

TRANSLATION (LANGUAGES);

EID: 84893825164     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. Annex behavior specification sae as5506.
2. http://aadl.enst.fr/arc/doc/.
3. http://gforge.enseeiht.fr/docman/?group id=37.
4. http://www-verimag.imag.fr/ async/bipmetamodel.php.
5. Sae. architecture analysis & design language (standard sae as5506), september 2004, available at http://www.sae.org.
6. Sei. open source aadl tool environment. http://la.sei.cmu.edu/ aadlinfosite/open-sourceaadltoolenvironment.html.
7. Topcased. http://www.topcased.org/.
8. A. Basu, S. Bensalem, M. Gallien, F. Ingrand, C. Lesire, T.H. Nguyen, and J. Sifakis. Incremental component-based construction and verification of a robotic system. In Proceedings of ECAI'08, Patras, Greece, 2008.
9. A. Basu, M. Bozga, and J. Sifakis. Modeling heterogeneous real-time components in bip. In Proceedings of SEFM '06, Pune, India, pages 3-12. IEEE Computer Society, 2006.
10. A. Basu, L. Mounier, M. Poulhiès, J. Pulou, and J. Sifakis. Using bip for modeling and verification of networked systems-a case study on tinyos-based networks. In Proceedings of NCA'07, Cambridge, MA USA, pages 257-260, 2007.
11. S. Bensalem, M. Bozga, J. Sifakis, and T.H. Nguyen. Compositional verification for component-based systems and application. In Proceedings of ATVA'08, Seoul, South Korea, 2008.
12. M. Bozga, J-C. Fernandez, A. Kerbrat, and L. Mounier. Protocol verification with the aldebaran toolset. STTT, 1:166-183, 1997.
13. M. Bozga, S. Graf, Il. Ober, Iul. Ober, and J. Sifakis. The if toolset. In Proceedings of SFM'04, Bertinoro, Italy, volume 3185 of LNCS, pages 237-267, September 2004.
14. J. Sifakis G. Gossler. Composition for component-based modeling. Science of Computer Programming, 55:161-183, March 2005.
15. M. Poulhiès, J. Pulou, C. Rippert, and J. Sifakis. A methodology and supporting tools for the development of component-based embedded systems. In 13th Monterey Workshop, Paris, France, volume 4888 of LNCS, pages 75-96, 2006.