Username   Password       Forgot your password?  Forgot your username? 

An Analysis Tool Towards Fault Tolerance Systems based on AADL Error Model

Volume 13, Number 6, October 2017 - Paper 6  - pp. 844-853
DOI: 10.23940/ijpe.17.06.p6.844853

Wenbing Zhanga, Guohua Shena,*, Zhiqiu Huanga, Zhibin Yanga, Lei Xueb

aNanjing University of Aeronautics and Astronautics, No.29 Jiangjun Road, Nanjing and 211106, China
bShanghai Aerospace Electronic Technology Institute, Shanghai 201109, China

(Submitted on July 25, 2017; Revised on August 30, 2017; Accepted on September 15, 2017)

(This paper was presented at the Third International Symposium on System and Software Reliability.)

Abstract:

Fault-tolerant embedded systems can provide the correct service with the active faults. It is important to verify the ability of fault tolerance in system design phase especially for safety-critical systems. Besides, the verification of models can reduce the cost of the system development. The Architecture Analysis and Design Language (AADL) and its Error Model Annex (EMV2) provide the ability to model a fault tolerance system. The error event, error propagation and error state machine provided by the AADL Error Model Annex can model an embedded system. However, there is a problem that whether the model satisfies the requirement of fault tolerance or not. We design a component-based algorithm to verify the ability of fault tolerance. The error and warning messages will be produced by our algorithm. Finally, a plugin based on the Osate2 tool and a case study are given.

 

References: 27

    1. "AADL_tools," AadlWiki, Available at https://wiki.sei.cmu.edu/aadl/index.php/AADL_tools, Last accessed on Sept 22, 2017
    2. "AADL Wiki," AadlWiki, Available at https://wiki.sei.cmu.edu/aadl/index.php/Main_Page, Last accessed on Sept 22, 2017
    3. A. Avizienis, J. Laprie and B. Randell, "Fundamental Concepts of Dependability" University of Newcastle upon Tyne, Computing Science, 2001.
    4. 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.
    5. "Fault_tolerance," Wikipedia, Available at https://en.wikipedia.org/wiki/Fault_tolerance, Last accessed on Sept 22, 2017
    6. 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.
    7. 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.
    8. 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.
    9. 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.
    10. A. Joshi, S. Vestal and P. Binns, "Automatic Generation of Static Fault Trees from AADL Models," in DSN Workshop on Architecting Dependable Systems, 2007.
    11. J. Laprie, "Dependable Computing and Fault-tolerance," Digest of Papers FTCS-15, pp. 2-11, 1985.
    12. M. Litzkow, T. Tannenbaum, J. Basney, and M. Livny, "Checkpoint and Migration of UNIX Processes in The Condor Distributed Processing System," Technical Report 1997.
    13. 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.
    14. "Osate 2," AadlWiki, Available at https://wiki.sei.cmu.edu/aadl/index.php/Osate_2#Introduction, Last accessed on Sept 22, 2017
    15. 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.
    16. 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.
    17. 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.
    18. 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.
    19. A. Rugina, K. Kanoun and M. Kaâniche, "A System Dependability Modeling Framework Using AADL and GSPNs," Architecting Dependable Systems IV, pp. 14-38, 2007.
    20. SAE International, AADL Error Model Annex, (Standards Document AS5506/1, 2006., 2006
    21. SAE International, AS5506 – Architecture Analysis and Design Language (AADL), 2012
    22. F. B. Schneider, "Implementing Fault-tolerant Services Using The State Machine Approach: A Tutorial," ACM Computing Surveys (CSUR), vol. 22, pp. 299-319, 1990.
    23. 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.
    24. 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.
    25. 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.
    26. 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.
    27. 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.

       

      Please note : You will need Adobe Acrobat viewer to view the full articles.Get Free Adobe Reader

       
      This site uses encryption for transmitting your passwords. ratmilwebsolutions.com