Testing Diagnostics Components Supervising Functional Safety Requirements

Mihai Nica, Ingo Pill, and Franz Wotawa
Submission Type: 
Full Paper
Supporting Agencies (optional): 
European Commission under FP7 agreement number 608770
phmc_15_007.pdf174.29 KBAugust 12, 2015 - 1:45am

For safety-critical applications, safety diagnostics components are an attractive safeguard for meeting some specified safety requirements under operation. Like a monitor, such a software artifact shall supervise a system under operation, and furthermore, if needed, it overrides the system's control software in order to maintain safety. In this paper we contribute to testing such a component, suggesting an approach that draws on fault injection and, in order to enhance deployability, accommodates also needs in respect of business issues like intellectual property disclosure and ressource efficiency. The required testing oracle we directly obtain from the defined and formalized functional safety requirements, for the purpose of assessing that the safety diagnostic component indeed maintains safety also under faulty conditions.

Publication Year: 
Publication Volume: 
Publication Control Number: 
Page Count: 
Submission Keywords: 
Model-based diagnosis
applications: industrial
Submission Topic Areas: 
Model-based methods for fault detection, diagnostics, and prognosis
Submitted by: 

follow us

PHM Society on Facebook Follow PHM Society on Twitter PHM Society on LinkedIn PHM Society RSS News Feed