References
- Y. Yu. The Quantitative Safety Assessment for Safety-Critical Computer Systems. PhD Thesis, University of Virginia, 2006
- J. B. Dugan, G. Pai and H. Xu. Combining Software Quality Analysis with Dynamic Event/Fault Trees for High Assurance Systems Engineering. In Proceedings 10th IEEE High Assurance System Engineering Symposium, pp. 245-255, Dallas, TX, 2007
- M.C. Kim and P.H. Seong, 'Reliability Graph with General Gates: An Intuitive and Practical Method for System Reliability Analysis', Reliability Engineering and System Safety, vol. 78 pp. 239-246, 2002 https://doi.org/10.1016/S0951-8320(02)00164-3
- G. J. Pai and J. B. Dugan. Automatic Synthesis of Dynamic Fault Trees from UML System Models. In Proceedings of 13th International Symposium on Software Reliability Engineering, Annapolis, MD, pp. 243-256, 2002
- Z. Tang and J. B. Dugan. An Integrated Method for Incorporating Common Cause Failures in System Analysis. In Proceedings of the Annual Reliability and Maintainability Symposium, pp. 610-614, 2004
- P. Feiler and A. Rugina. Dependability Modeling with the Architecture Analysis & Design Language (AADL). Available from http://www.sei.cmu.edu/pub/documents/07.reports/07tn043.pdf (Accessed June 2008)
- A. E. Rugina, K. Kanoun and M. Kaaniche. An Architecturebased Dependability Modeling Framework Using AADL In Proceedings International Conference on Software Engineering and Applications, Dallas, TX, 2006
- A. E. Rugina, K. Kanoun and M. Kaaniche. A System Dependabiliy Modeling Framework using AADL and GSPNs. In Architecting Dependable Systems 4th Volume, R. de Lemos, C. Gacek and A. Romanovsky, eds., Springer, 2007
- T. Assaf and J. B. Dugan. A Probabilistic Expert System for Failure Diagnosis. In Proceedings Reliability and Maintainability Symposium, 2004
- T. Assaf and J. B. Dugan. Automatic Diagnosis via Sensors Modeled by Dynamic Fault Trees. In Society of Automotive Engineers Transactions, 2005
- T. Assaf and J. B. Dugan. Diagnostic Decision Trees based on Estimating Diagnostic Importance Factors from Markov Models. In IEEE Instrumentation and Measurement Magazine, 2005
- T. Assaf and J. B. Dugan. Diagnostic Expert Systems from Dynamic Fault Trees. In Proceedings of the Annual Reliability and Maintainability Symposium, LA, pp. 444-450, January 2004
- J. B. Dugan and T. S. Assaf. Dynamic Fault Tree Analysis of a Reconfigurable Software System. In Proceedings of the 19th International System Safety Conference, Huntsville, AL, pp. 480-487, 2001
- A. Joshi, S. Vestal, and P. Binns. Automatic Generation of Static Fault Trees from AADL Models. In DSN Workshop on Architecting Dependable Systems, Edinburgh, Scotland-UK, 2007
- N. G. Leveson. Safeware: System Safety and Computers, Addison-Wesley, Reading, MA, 1995
- D. Coppit, K. J. Sullivan and J. B. Dugan. Formal Semantics of Models for Computational Engineering: A Case Study on Dynamic Fault Trees. In Proceedings of the International Symposium on Software Reliability Engineering, San Jose, CA, pp. 270-282, 2000
- J. B. Dugan, K. J. Sullivan, and D. Coppit. Developing a Low-Cost, High-Quality Software Tool for Dynamic Fault Tree Analysis. In IEEE Transactions on Reliability, 49(1): 49-59, 1999 https://doi.org/10.1109/24.855536
- R. Allen, S. Vestal and B. Lewis. Using an Architecture Description Language for Quantitative Analysis of Real-Time Systems. In Proceedings of the 3rd International Workshop on Software and Performance, Rome Italy, pp. 203-210, 2002
- P. Dissaux. Using the AADL for Mission-Critical Software Development. In Proceedings of 2nd European Congress on Embedded Real-Time Software, Toulouse, France, 2004
- P. Feiler, D. P. Gluch and J. J. Hudak. The Architecture Analysis & Design Language (AADL): An Introduction. Available from http://www.sei.cmu.edu/pub/documents/06.reports/pdf/06tn011.pdf (Accessed June 2008)
- SAE-AS5506. Architecture Analysis and Design Language Annex Volume 1. SAE, June 2006
- SAE-AS5506/1. Architecture Analysis and Design Language Annex Volume 1. SAE, June 2006
- D. Srivastava and P. Narasimhan. Architectural Support for Mode-Driven Fault Tolderace in Distributed Applications. In Proceedings of the 2005 Workshop on Architecting Dependable Systems, St. Louis, MO, pp.1-7, 2005
- F. Singhoff, J. Legrand, L. Nana and L. Marce. Scheduling and Memory Requirements Analysis with AADL. In Proceedings of the 2005 Annual ACM SigAda International Conference on Ada: The Engineering of Correct and Reliable Technologies, Atlanta, GA, pp. 1-10, 2005
- J. Dehlinger and R. R. Lutz. PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool. In The Automated Software Engineering Journal, 13(1):169-193, 2006 https://doi.org/10.1007/s10515-006-5469-1
- H. Sun, M. Hauptman and R. Lutz. Integrating Product-Line Fault Tree Analysis into AADL Models. In Proceedings of the 10th IEEE International Symposium on High Assurance System Engineering, Dallas, TX, pp. 15-22, 2007
- SEI AADL Team. An Extensible Open Source AADL Tool Environment (OSATE). [Online]. Available from http://la.sei.cmu.edu/aadl/downloads/osate13/AADLTool UserGuide1.3.0%202006-06-02.pdf (Accessed June 2008)