A System Dependability Modeling Framework Using AADL and GSPNs

  title={A System Dependability Modeling Framework Using AADL and GSPNs},
  author={Ana-Elena Rugina and Karama Kanoun and Mohamed Ka{\^a}niche},
For efficiency and cost control reasons, system designers’ will is to use an integrated set of methods and tools to describe specifications and design, and also to perform dependability analyses. The SAE (Society of Automotive Engineers) AADL (Architecture Analysis and Design Language) has proved to be efficient for architectural modeling. We present a modeling framework allowing the generation of dependability-oriented analytical models from AADL models, to facilitate the evaluation of… CONTINUE READING
Highly Cited
This paper has 91 citations. REVIEW CITATIONS
57 Citations
24 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 57 extracted citations

91 Citations

Citations per Year
Semantic Scholar estimates that this publication has 91 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 24 references

SAE Architecture Analysis and Design Language (AADL) Annex vol

  • SAE-AS55061
  • 1, Annex E: Error Model Annex, International…
  • 2006
Highly Influential
3 Excerpts

AADL-based Dependability Modelling, LAASCNRS

  • A. E. Rugina, K. Kanoun, M. Kaâniche
  • Research Report
  • 2006
1 Excerpt

Modélisation de la sûreté de fonctionnement à partir du langage AADL

  • A. E. Rugina, K. Kanoun, M. Kaâniche
  • 15ème Congrès de Maîtrise des Risques et de Sûret…
  • 2006
1 Excerpt

Similar Papers

Loading similar papers…