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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5421, Issue , 2009, Pages 5-19

  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; BEHAVIOR SPECIFICATIONS; DEADLOCK DETECTION; FLIGHT COMPUTERS; FORMAL VERIFICATIONS;

COMPUTER SOFTWARE; LINGUISTICS; REAL TIME SYSTEMS;

MODELS;

EID: 67650165135     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-01648-6_2     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/bip{M}etamodel.php
5. SAE. Architecture Analysis & Design Language (standard SAE AS5506) (September 2004), http://www.sae.org
6. SEI. Open Source AADL Tool Environment, http://la.sei.cmu.edu/ aadlinfosite/OpenSourceAADLToolEnvironment.html
7. TOPCASED, http://www.topcased.org/
8. Basu, A., Bensalem, S., Gallien, M., Ingrand, F., Lesire, C., Nguyen, T.H., Sifakis, J.: Incremental component-based construction and verification of a robotic system. In: Proceedings of ECAI 2008, Patras, Greece (2008)
9. Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in bip. In: Proceedings of SEFM 2006, Pune, India, pp. 3-12. IEEE Computer Society Press, Los Alamitos (2006)
10. Basu, A., Mounier, L., Poulhìes, M., Pulou, J., Sifakis, J.: Using bip for modeling and verification of networked systems - a case study on tinyos-based networks. In: Proceedings of NCA 2007, Cambridge, MA, USA, pp. 257-260 (2007)
11. Bensalem, S., Bozga, M., Sifakis, J., Nguyen, T.H.: Compositional verification for component-based systems and application. In: Cha, S(S.), Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol. 5311. Springer, Heidelberg (2008)
12. Bozga, M., Fernandez, J.-C., Kerbrat, A., Mounier, L.: Protocol verification with the aldebaran toolset. In: STTT, vol. 1, pp. 166-183 (1997)
13. Bozga, M., Graf, S., Ober, I., Ober, I., Sifakis, J.: The IF toolset. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 237-267. Springer, Heidelberg (2004)
14. Sifakis, J., Gossler, G.: Composition for component-based modeling. Science of Computer Programming 55, 161-183 (2005) (Pubitemid 40178263)
15. Poulhìes, M., Pulou, J., Rippert, C., Sifakis, J.: A methodology and supporting tools for the development of component-based embedded systems. In: Kordon, F., Sokolsky, O. (eds.) MontereyWorkshop 2006. LNCS, vol. 4888, pp. 75-96. Springer, Heidelberg (2007) (Pubitemid 351153865)