Generating test cases to evaluate and improve processes of safety-critical systems development

2020 ◽  
Author(s):  
Lilian Barros ◽  
Celso Hirata ◽  
Johnny Marques ◽  
Ana Maria Ambrosio
Keyword(s):  
Systems Development ◽  
Test Cases ◽  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems

Towards generation of efficient test cases from UML/OCL models for complex safety-critical systems

2010 ◽  
Vol 127 (6) ◽  
pp. 181-186 ◽  
Author(s):  
W. Herzner ◽  
R. Schlick ◽  
W. Schütz ◽  
H. Brandl ◽  
W. Krenn
Keyword(s):  
Test Cases ◽  
Critical Systems ◽  
Safety Critical ◽  
Efficient Test ◽  
Safety Critical Systems

Verification of hybrid systems using Kaucher arithmetic

2019 ◽  
Vol 67 (4) ◽  
pp. 316-325
Author(s):  
Stefan Schwab ◽  
Soeren Hohmann
Keyword(s):  
High Performance ◽  
Expert Knowledge ◽  
Test Cases ◽  
Identification Algorithm ◽  
Critical Systems ◽  
Safety Critical ◽  
Alternative Approach ◽  
Safety Critical Systems ◽  
Verification Of Hybrid Systems ◽  
Very High

Abstract The increasing complexity of technical systems leads to increasing challenges regarding the verification of those systems. Especially in the context of safety critical systems, there is a high need for reliable verification results. Currently verification is mainly based on expert knowledge and the use of high performance hardware to investigate a very high amount of test cases. This article proposes an alternative approach using an iterating segmentation and identification algorithm that is appended by interval arithmetic calculations. This combination yields guaranteed results that do not suffer from type II failures, i. e., that will never verify an erroneous system. This is especially relevant in the context of safety critical systems.

Sign in / Sign up

Export Citation Format

Share Document