Model-based framework for addressing diversity, usability and reliability for safety critical interactive systems

2007 ◽  
Author(s):  
D. Navarre ◽  
P. Palanque ◽  
J.-F. Ladry
Keyword(s):  
Interactive Systems ◽  
Safety Critical ◽  
Model Based

Model-based assurance evidence management for safety–critical systems

2022 ◽  
Author(s):  
Jose Luis de la Vara ◽  
Arturo S. García ◽  
Jorge Valero ◽  
Clara Ayora
Keyword(s):  
Critical Systems ◽  
Safety Critical ◽  
Model Based ◽  
Safety Critical Systems

Integrated in-Flight Fault Detection and Accommodation: A Model-Based Study

2007 ◽  
Vol 129 (4) ◽  
pp. 962-969 ◽  
Author(s):  
Randal T. Rausch ◽  
Kai F. Goebel ◽  
Neil H. Eklund ◽  
Brent J. Brunell
Keyword(s):  
High Fidelity Simulation ◽  
Multiple Faults ◽  
Safety Critical ◽  
Fault Accommodation ◽  
Model Based ◽  
High Pressure Compressor ◽  
Flight Envelope ◽  
Binary Classifiers ◽  
Millisecond Range ◽  
Integrated Detection

In-flight fault accommodation of safety-critical faults requires rapid detection and remediation. Indeed, for a class of safety-critical faults, detection within a millisecond range is imperative to allow accommodation in time to avert undesired engine behavior. We address these issues with an integrated detection and accommodation scheme. This scheme comprises model-based detection, a bank of binary classifiers, and an accommodation module. The latter biases control signals with pre-defined adjustments to regain operability while staying within established safety limits. The adjustments were developed using evolutionary algorithms to identify optimal biases off-line for multiple faults and points within the flight envelope. These biases are interpolated online for the current flight conditions. High-fidelity simulation results are presented showing accommodation applied to a high-pressure compressor fault on a commercial, high-bypass, twin-spool, turbofan engine throughout the flight envelope.

Model-Based Analysis for Safety Critical Software

2015 ◽  
pp. 111-120 ◽  
Author(s):  
Stefan Gulan ◽  
Jens Harnisch ◽  
Sven Johr ◽  
Roberto Kretschmer ◽  
Stefan Rieger ◽  
...  
Keyword(s):  
Safety Critical ◽  
Model Based ◽  
Model Based Analysis
Sign in / Sign up

Export Citation Format

Share Document