|
AADL_tools, AadlWiki, Available at https://wiki.sei.cmu.edu/aadl/index.php/AADL_tools, Last accessed on Sept 22, 2017
|
|
"AADL Wiki," AadlWiki, Available at https://wiki.sei.cmu.edu/aadl/index.php/Main_Page, Last accessed on Sept 22, 2017
|
|
A. Avizienis, J. Laprie and B. Randell, "Fundamental Concepts of Dependability" University of Newcastle upon Tyne, Computing Science, 2001.
|
|
J. Delange and P. Feiler, "Architecture Fault Modeling with The AADL Error-model Annex," in Software Engineering and Advanced Applications (SEAA), 2014 40th EUROMICRO Conference on, 2014, pp. 361-368.
|
|
"Fault_tolerance," Wikipedia, Available at https://en.wikipedia.org/wiki/Fault_tolerance, Last accessed on Sept 22, 2017
|
|
P. Feiler. Architecture Analysis and Design Language (AADL) Annex Volume 3: Annex E: Error Model V2 Annex. Number SAE AS5506/3 (Draft) in SAE Aerospace Standard. SAE International, 2013.
|
|
W. Gabsi, B. Zalila and M. Jmaiel, "EMA2AOP: From the AADL Error Model Annex to Aspect Language towards Fault Tolerant Systems," in Proceedings of the 14th International Conference on Software Engineering Research, Management and Applications (SERA), pp. 155-162, 2016.
|
|
M. Hecht, A. Lam, R. Howes, and C. Vogl, "Automated Generation of Failure Modes and Effects Analyses from AADL Architectural and Error Models," AEROSPACE CORP EL SEGUNDO CA 2010.
|
|
M. Hecht, A. Lam, C. Vogl, and C. Dimpfl, "A Tool Set for Generation of Failure Modes and Effects Analyses from AADL Models," in Presentation at Systems and Software Technology Conference, 2012.
|
|
A. Joshi, S. Vestal and P. Binns, "Automatic Generation of Static Fault Trees from AADL Models," in DSN Workshop on Architecting Dependable Systems, 2007.
|
|
J. Laprie, "Dependable Computing and Fault-tolerance," Digest of Papers FTCS-15, pp. 2-11, 1985.
|
|
M. Litzkow, T. Tannenbaum, J. Basney, and M. Livny, "Checkpoint and Migration of UNIX Processes in The Condor Distributed Processing System," Technical Report 1997.
|
|
Y. Liu, G. Shen, Z. Huang, and Z. Yang, "Quantitative Risk Analysis of Safety–critical Embedded Systems," Software Quality Journal, vol. 40, pp. 1-25, 2016.
|
|
"Osate 2," AadlWiki, Available at https://wiki.sei.cmu.edu/aadl/index.php/Osate_2#Introduction, Last accessed on Sept 22, 2017
|
|
S. B. Priya, M. Prakash and K. K. Dhawan, "Fault Tolerance-genetic Algorithm for Grid Task Scheduling Using Check Point," in Proceedings of the Sixth International Conference on Grid and Cooperative Computing, pp. 676-680, 2007.
|
|
R. Ramesh, M. A. Mannan and A. N. Poo, "Error Compensation in Machine Tools—A Review: Part I: Geometric, Cutting-force Induced and Fixture-dependent Errors," International Journal of Machine Tools and Manufacture, vol. 40, pp. 1235-1256, 2000.
|
|
R. Ramesh, M. A. Mannan and A. N. Poo, "Error Compensation in Machine Tools—A Review: Part II: Thermal Errors," International Journal of Machine Tools and Manufacture, vol. 40, pp. 1257-1284, 2000.
|
|
H. Reza, R. Marsh and M. Askelson, "A Fault Tolerant Architecture Using AADLs and Error Model Annex for Unmanned Aircraft Systems (UAS)," Software Engineering Research and Practice, pp. 180-184, 2010.
|
|
A. Rugina, K. Kanoun and M. Kaaniche, "A System Dependability Modeling Framework Using AADL and GSPNs," Architecting Dependable Systems IV, pp. 14-38, 2007.
|
|
SAE International, AADL Error Model Annex, (Standards Document AS5506/1, 2006., 2006
|
|
SAE International, AS5506 – Architecture Analysis and Design Language (AADL), 2012
|
|
F. B. Schneider, "Implementing Fault-tolerant Services Using The State Machine Approach: A Tutorial," ACM Computing Surveys (CSUR), vol. 22, pp. 299-319, 1990.
|
|
R. E Smith, Richard E., and Maria Gini. "Reliable Real-time Robot Operation Employing Intelligent Forward Recovery," Journal of Field Robotics 3.3 (1986): 281-300.
|
|
H. Sun, M. Hauptman and R. Lutz, "Integrating Product-line Fault Tree Analysis into AADL Models," in High Assurance Systems Engineering Symposium, 2007. HASE'07. 10th IEEE, 2007, pp. 15-22.
|
|
J. Xu, B. Randell, "Roll-forward Error Recovery in Embedded Real-time Systems," Parallel and Distributed Systems, 1996. Proceedings., 1996 International Conference on. IEEE, 1996.
|
|
J. Xu, B. Randell and A. Romanovsky, "Fault Tolerance in Concurrent Object-oriented Software through Coordinated Error Recovery," Fault-Tolerant Computing, 1995. FTCS-25. Digest of Papers., Twenty-Fifth International Symposium on. IEEE, 1995.
|
|
M. Zaharia, T. Das, H. Li, S. Shenker, and I. Stoica, "Discretized Streams: An Efficient and Fault-Tolerant Model for Stream Processing on Large Clusters," HotCloud, vol. 12, p. 10-10, 2012.
|