Name
Abstract | ||
|---|---|---|
Critical control systems can only be used after approval of certification authorities due to safety reasons, among other aspects. Undetected failures in such systems can be catastrophic, including the loss of human lives or huge amounts of money. The safety assessment process aims to minimize such problems. But actually it still is largely dependent on human support (engineer's experience). To decrease this human dependency, we propose a systematic hardware-based failure identification strategy. Following common practices in industry, which use Simulink diagrams to design (critical) control systems, the starting point of our proposed strategy is Simulink diagrams. The systematic identification is performed by the model checker FDR [11]. Therefore, we translate Simulink diagrams into CSPM specifications [30]. With our strategy, engineers only need to label certain Simulink elements as hardware and choose specific failure names for the generic ones our strategy provides. We illustrate our work on a simple but real case study supplied by our industrial partner EMBRAER. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1007/978-3-642-33296-8_10 | SBMF |
Keywords | Field | DocType |
human support,human life,human dependency,identifying hardware failures systematically,critical control system,control system,safety assessment process,proposed strategy,undetected failure,certain simulink element,simulink diagram | Model checking,Software engineering,Computer science,Control system,Computer hardware,Certification,Fault injection | Conference |
Citations | PageRank | References |
2 | 0.39 | 16 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| André Didier | 1 | 17 | 3.07 |
| Alexandre Cabral Mota | 2 | 199 | 18.27 |