Handling index-out-of-bounds in safety-critical embedded C code using model-based development

Author(s):  
Gunter Blache
Keyword(s):  
Author(s):  
Jose Luis de la Vara ◽  
Arturo S. García ◽  
Jorge Valero ◽  
Clara Ayora

2007 ◽  
Vol 129 (4) ◽  
pp. 962-969 ◽  
Author(s):  
Randal T. Rausch ◽  
Kai F. Goebel ◽  
Neil H. Eklund ◽  
Brent J. Brunell

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.


Author(s):  
Stefan Gulan ◽  
Jens Harnisch ◽  
Sven Johr ◽  
Roberto Kretschmer ◽  
Stefan Rieger ◽  
...  

2017 ◽  
Vol 25 (0) ◽  
pp. 797-810 ◽  
Author(s):  
Tasuku Ishigooka ◽  
Habib Saissi ◽  
Thorsten Piper ◽  
Stefan Winter ◽  
Neeraj Suri

Sign in / Sign up

Export Citation Format

Share Document