Validating Formal Verification using Safety Analysis Techniques
- Lookup NU author(s)
- Dr Rogerio De Lemos
- Dr Amer Saeed
|
|
|
|
| Author(s) | | de Lemos R, Saeed A |
| Publication type | | Report |
| Series Title | | Department of Computing Science Technical Report Series |
| Year | | 1999 |
| Date | | March 1999 |
| Report Number | | 668 |
| Pages | | 25 |
|
|
|
| Full text is available for this publication: |
|
|
|
|
| The increased interest in the use of automated safety analysis is supported by the claim that manual safety analysis based on traditional techniques is error-prone, costly and not necessarily complete. It is also claimed that traditional techniques are not able to deal with the inherent complexities of software intensive systems. However, we show in this paper that a transition (from manual to automatic approaches) in the assessment process and technologies is accompanied by an inherent risk of obtaining false confidence, unless safeguards are provided. The safeguard presented in this paper integrates traditional deductive and inductive analysis techniques with model checking, a form of formal verification. The aim is to provide the safety analyst with a rigourous approach for the validation of formal models. The feasibility of the overall approach is illustrated in terms of a case study. |
|
|
|
| Institution | | Department of Computing Science, University of Newcastle upon Tyne |
| Place Published | | Newcastle upon Tyne |
| URL | | http://www.cs.ncl.ac.uk/publications/trs/papers/668.pdf |
| Actions | |  |
