Name
Title | ||
|---|---|---|
Modeling, analysis and testing of safety issues: an event-based approach and case study |
Abstract | ||
|---|---|---|
This paper proposes an event-based approach with an intuitive simple graphical representation of the system and its environment for designing, analysis and testing safety-critical systems. The events are user actions and system responses, and are ordered according to the threats posed by the resulting system states. This ordering is an integral aspect of the graphical representation, making it possible to directly identify the risks associated with each and every functionally desirable, and undesirable, event relative to one another. Tests that target safety requirements are devised by examining possible traces of these events, represented compactly by regular expressions, exhibiting particular risk patterns such as human error and system failures. |
Year | DOI | Venue |
|---|---|---|
2007 | 10.1007/978-3-540-75101-4_27 | SAFECOMP |
Keywords | Field | DocType |
event-based approach,system response,graphical representation,possible trace,intuitive simple graphical representation,safety-critical system,safety issue,human error,integral aspect,system failure,case study,resulting system state,regular expression,regular expressions | Data mining,Regular expression,Computer science,Human error,Reliability engineering | Conference |
Volume | ISSN | ISBN |
4680 | 0302-9743 | 3-540-75100-9 |
Citations | PageRank | References |
5 | 0.49 | 9 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Fevzi Belli | 1 | 42 | 10.02 |
| Axel Hollmann | 2 | 41 | 6.74 |
| Nimal Nissanke | 3 | 69 | 10.84 |