Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with

2016 ◽  
pp. 150-167 ◽  
Author(s):  
Axel Habermaier ◽  
Johannes Leupolz ◽  
Wolfgang Reif
Keyword(s):  
Formal Analysis ◽  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems

Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems

2020 ◽  
Vol 16 (1) ◽  
pp. 47-66
Author(s):  
Ammar Boucherit ◽  
Laura M. Castro ◽  
Abdallah Khababa ◽  
Osman Hasan
Keyword(s):  
Petri Net ◽  
Formal Analysis ◽  
Critical Systems ◽  
Rewriting Logic ◽  
Agent Based ◽  
Safety Critical ◽  
Multi Agent ◽  
Safety Critical Systems

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

2013 ◽  
Vol 765-767 ◽  
pp. 1227-1230
Author(s):  
Juan Zhang ◽  
Guo Qi Li ◽  
Xiao Liu
Keyword(s):  
Formal Analysis ◽  
Critical Systems ◽  
Critical System ◽  
Safety Critical ◽  
Safety Critical System ◽  
Safety Critical Systems

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.

Generation of testing script based on XML for safety-critical systems

2011 ◽  
Vol 31 (1) ◽  
pp. 281-285
Author(s):  
Huan HE ◽  
Zhong-wei XU ◽  
Gang YU ◽  
Shi-yu YANG
Keyword(s):  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems
Sign in / Sign up

Export Citation Format

Share Document