Code
Level Safety Analysis
presented by
Ken Wong
| |
Code
Level Safety Analysis
presented by
Ken Wong
|
| formalWARE
project
formalWARE
formalWARE
|
Presented by Ken Wong at
formalWARE's Open House
on October 8, 1997 at Cecil
Green House, UBC.
How do you know that your software is safe? Increasingly software is being used to control systems whose operation can potentially lead to property damage, injury or even the loss of life. Determining if the software can contribute to an accident is complicated by the fact that the hazard-related software may not be conveniently isolated to a specific software component or subsystem. We refer to this as the "long thin slice problem". As part of our research, a static code analysis method was developed to capture the long thin slice and reason about its impact on safety. Though not integral to the method, expressing the slice in a simple machine-readable formal notation was found to be very effective. The choice of notation will allow for the future use of tools such as a type checker or theorem prover to aid in the safety analysis. Interaction with industry has done much to shape the direction of the research by providing an industrial and system safety context for the static code analysis method, as well as an appreciation of the long thin slice problem. Presentation Slides (HTML) Presentation Slides (Thumbnails) Presentation Slides (PDF)
. |
