An architecture-based dependability modeling framework using AADL

Proceedings of the 10th IASTED International Conference on Software Engineering and Applications, SEA 2006

Volumn , Issue , 2006, Pages 222-227

  Rugina, Ana Elena ^a   Kanoun, Karama ^a   Kaâniche, Mohamed ^a  

^a UNIVERSITÉ DE TOULOUSE   (France)

Author keywords

AADL; Architecture; Dependability modeling; Evaluation

Indexed keywords

COMPUTER SIMULATION; ITERATIVE METHODS; MATHEMATICAL MODELS;

ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE; DEPENDABILITY MODELING;

SOFTWARE ARCHITECTURE;

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

References (14)

1. N. Medvidovic and R. N. Taylor, A classification and comparison framework for Software Architecture Description Languages, IEEE Transactions on Software Engineering, 26, 2000, 70-93.
2. SAE-AS5506, Architecture Analysis and Design Language, Society of Automotive Engineers, 2004.
3. SAE-AS5506/1, Architecture Analysis and Design Language (AADL) Annex Volume 1, Annex E: Error Model Annex, Society of Automotive Engineers, 2006.
4. J.-M. Farines, et al., The Cotre project: rigorous software development for real time systems in avionics, 27th IFAC/IFIP/IEEE Workshop on Real Time Programming, Zielona Gora, Poland, 2003.
5. R. Allen and D. Garlan, A Formal Basis for Architectural Connection, ACM Transactions on Software Engineering and Methodology, 6,1997,213-249.
6. M. Bernardo, P. Ciancarini, and L. Donatiello, Architecting Families of Software Systems with Process Algebras, ACM Transactions on Software Engineering and Methodology, 11, 2002, 386-426.
7. A. Bondavalli, et al., Dependability Analysis in the Early Phases of UML Based System Design, Int. Journal of Computer Systems - Science & Engineering, 16, 2001, 265-275.
8. S. Bernardi, S. Donatelli, and J. Merseguer, From UML Sequence Diagrams and Statecharts to analysable Petri Net models, 3rd Int. Workshop on Software and Performance (WOSP 2002), Rome, Italy, 2002, 35-45.
9. P. King and R. Pooley, Using UML to Derive Stochastic Petri Net Models, 15th annual UK Performance Engineering Workshop, 1999, 45-56.
10. P. H. Feiler, et al., Pattern-Based Analysis of an Embedded Real-time System Architecture, 18th IFIP World Computer Congress, ADL Workshop, Toulouse, France, 2004, 83-91.
11. K. Kanoun and M. Borrei, Fault-tolerant systems dependability. Explicit modeling of hardware and software component-interactions, IEEE Transactions on Reliability, 49, 2000, 363-376.
12. A. E. Rugina, K. Kanoun, and M. Kaâniche, AADL-based Dependability Modelling, LAAS-CNRS Research Report no06209, April 2006, 85p.
13. P. Binns and S. Vestal, Hierarchical composition and abstraction in architecture models, 18th IFIP World Computer Congress, ADL Workshop, Toulouse, France, 2004, 43-52.
14. M. Shaw and D. Garlan, Software Architecture: Perspectives on an Emerging Discipline (Prentice-Hall, 1996).