Publications by Technical Theme

From AadlWiki

Jump to: navigation, search

NOTE: This page will be organized by technical topics such as security, model checking & verification, reliability, etc.

Error Modelling

  • Analysing System Failure Behaviours With PRISM - Xiaocheng Ge, Richard F. Paige and John A. McDermid Department of Computer Science, University of York, UK.
  • Automatic Generation of Fault Trees from AADL Models - Anjali Joshi - Pam Binns - Steve Vestal
  • ANALYZING DYNAMIC FAULT TREES DERIVED FROM MODEL-BASED SYSTEM ARCHITECTURES - JOSH DEHLINGER* and JOANNE BECHTA DUGAN Charles L. Brown Department of Electrical and Computer Engineering, University
  • Integrating Product-Line Fault Tree Analysis into AADL Models - Hongyu Sun, Miriam Hauptman, Robyn Lutz
  • Probabilistic Analysis of Distributed Fault-Tolerant Systems. Bruno Dutertre. NASA techreport.

Journal of Object Technology (JOT)

John McGregor of Clemson University is a regular columnist for this journal and has written a series of articles on modeling and architectures. John has been using AADL in some of his courses with students.

Personal tools