The AADL behaviour annex - Experiments and roadmap

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2007, Pages 377-382

  França, Ricardo Bedin ^a   Bodeveix, Jean Paul ^a   Filali, Mamoun ^a   Rolland, Jean François ^a   Chemouil, David ^b   Thomas, Dave ^c  

^a UNIVERSITÉ PAUL SABATIER   (France)

^b CNES   (France)

^c AIRBUS GROUP INNOVATIONS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

REENGINEERING;

EVALUATION PHASE; EXECUTION MODELING; FLIGHT SOFTWARE; ROADMAP;

SEMANTICS;

EID: 44149092088     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: 10.1109/ICECCS.2007.41     Document Type: Conference Paper

References (11)

1. B. Berthomieu, F. Peres, and F. Vernadat. Bridging the gap between timed automata and bounded time petri nets. In Proceedings of FORMATS 2006, number 4202 in LNCS. Springer Verlag, 2006.
2. P. H. Feiler, D. P. Gluch, and J. J. Hudak. The architecture analysis & design language (aadl): An introduction. Technical report, CMU, 2006. http ://www.sei.cmu.edu/publications/ documents/0 6.reports/06tn011.html.
3. T. Henzinger, Z. Manna, and A. Pnueli. Temporal proof methodologies for real-time systems. In POPL '91: Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 353-366, New York, NY, USA, 1991. ACM Press.
4. RTEMS. Rtems c user's guide http://www.rtems.com/onlinedocs/releases/ rtemsdocs-4.6.99.3/share/rtems/pdf/ c_user.pdf.
5. i. SBS Technologies. An interpretation of mil-std-1553b. http://www-corot.obspm.fr/COROT-ETC/Files/ 1553.overview.pdf.
6. SEI. the sei open source aadl tool environment (osate). http://www.aadl.info/.
7. F. Singhoff. Cheddar release 2.x user's guide. Technical Report singhoff-01-2007, LISYC, Feb 2007.
8. F. Singhoff, J. Legrand, L. Nana, and L. Mareé. Scheduling and memory requirements analysis with aadl. Ada Lett., XXV(4): 1-10, 2005.
9. D. Thomas, L. Planche, and L. Maillet. Architecture dynamique des logiciels enfouis:modélisation d'un logiciel de vol. Technical report, CNES, 2006. http://cet.cnes.fr/cct05/public/2006/ seminaires/archi.dyna.vol/ modelisation.PLEIADES.pdf.
10. TopCased. Toolkit in OPen-source for Critical Applications & SystEms Development. http://www.topcased.org.
11. S. Vestal. Formalizing avionics software architectures. In journées Systèmes et Logiciels Critiques, Grenoble, 2001. Verimag. http://www.systemes-critiques.org/ journees2001.php.