Compare of Formal Analysis and Testing for Verification of Safety-Critical Systems: A Case Study

Juan Zhang; Guo Qi Li; Xiao  Liu

doi:10.4028/www.scientific.net/AMR.765-767.1227

Paper Titles

Geographical Information Services Classification Based on FCA - A Case Study in Vector Spatial Statistic Analysis
p.1210

A Modified Method for User Authority Ranking in Chinese Microblog
p.1214

A Network-Based Multi-Dimensional Recommendation Algorithm
p.1218

Design and Implementation of a Safety Statistics Administration System
p.1223

Compare of Formal Analysis and Testing for Verification of Safety-Critical Systems: A Case Study
p.1227

Behavior Consistency Verification for Evolution of Aspectual Component-Based Software
p.1231

Asymmetric Binary Frequency Shift Keying and its Frequency Attribute
p.1236

Research on Automatic Construction of Financial Ontology Using Chinese Encyclopedia Resource
p.1240

Network Attack Characteristics of Automatic Data Extraction Technology
p.1245

HomeAdvanced Materials ResearchAdvanced Materials Research Vols. 765-767Compare of Formal Analysis and Testing for...

Compare of Formal Analysis and Testing for Verification of Safety-Critical Systems: A Case Study

Abstract:

Safety-critical system attracts more attention in recent years. During the development of safety-critical systems, verification plays the most important role and includes many high cost activities. Testing and formal analysis are two mainstream ways for verification. This paper describes new tools and procedures for testing and formal analysis for verification of safety-critical systems. Compare them in detail in a case study. Conclusion and future works are given finally.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Advanced Materials Research (Volumes 765-767)

Pages:

1227-1230

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.765-767.1227

Citation:

Cite this paper

Online since:

September 2013

Authors:

Juan Zhang, Guo Qi Li, Xiao Liu

Keywords:

Formal Analysis, Safety-Critical Systems, Testing, Verification

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] RTCA ( Radio Technical Commission for Aeronautics ) and EUROCAE ( European Organisation for Civil Aviation Equipment ). DO-178C/ED-12C: Software Considerations in Airborne Systems and Equipment Certification. (2011).

DOI: 10.1201/b17545-13

Google Scholar

[2] B. Duncan, D. Hervé, H. Kelly and W. Virginie. Guidance for Using Formal Methods in a Certification Context, in ERTS 2010 – 19-21, Toulouse, May (2010).

Google Scholar

[3] C. Cyrille, K. Johannes and M. Yannick. Integrating Formal Program Verification with Testing, in: ERTS 2012, Toulouse, Feb. (2012).

Google Scholar

[4] PAT: Process Analysis Toolkit An Enhanced Simulator, Model Checker and Refinement Checker for Concurrent and Real-time Systems, available at http: /www. comp. nus. edu. sg/~pat.

Google Scholar

[5] P. Doron, P. Patrizio and S. Paola. Model Checking, Wiley Encyclopedia of Computer Science and Engineering, (2009).

Google Scholar