Moved presentations directory, started on software fmea paper
5
papers/README.txt
Normal file
@ -0,0 +1,5 @@
|
|||||||
|
This directory should be used to keep latex source
|
||||||
|
for final submissions of papers.
|
||||||
|
|
||||||
|
They tend to get lost and dited for othr things unless archived.
|
||||||
|
|
35
papers/software_fmea/software_fmea.tex
Normal file
@ -0,0 +1,35 @@
|
|||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
Software FMEA
|
||||||
|
|
||||||
|
|
||||||
|
No known method of software failure mode effects analysis--- some work has been done on
|
||||||
|
Sofware FTA a top down approach---
|
||||||
|
Bottom up approach means all known failure modes must be modelled.
|
||||||
|
SIL does not have metric or tools to analyse software for saefty,
|
||||||
|
it instead applies best practises and constraints on computer language features (i.e.
|
||||||
|
in C limited use of pointers no recursion etc).
|
||||||
|
|
||||||
|
|
||||||
|
Introduce concept of FMEA
|
||||||
|
* bottom up
|
||||||
|
* all failure modes for all componnts
|
||||||
|
|
||||||
|
Concept of FMMD
|
||||||
|
|
||||||
|
Look at the structure of software
|
||||||
|
* a natural hierarchy
|
||||||
|
|
||||||
|
Software written for a controlled
|
||||||
|
Contract programming
|
||||||
|
* describe concept
|
||||||
|
* describe how this fits in with failure modes and failure symptoms concepts
|
||||||
|
|
||||||
|
Describe how contract programming represents the failure modes of software
|
||||||
|
|
||||||
|
Now describe how this fis in with the structure of FMMD
|
||||||
|
|
||||||
|
|
||||||
|
|
Before Width: | Height: | Size: 6.0 KiB After Width: | Height: | Size: 6.0 KiB |
Before Width: | Height: | Size: 46 KiB After Width: | Height: | Size: 46 KiB |
Before Width: | Height: | Size: 7.0 KiB After Width: | Height: | Size: 7.0 KiB |
Before Width: | Height: | Size: 2.1 KiB After Width: | Height: | Size: 2.1 KiB |
Before Width: | Height: | Size: 353 B After Width: | Height: | Size: 353 B |
Before Width: | Height: | Size: 35 KiB After Width: | Height: | Size: 35 KiB |
Before Width: | Height: | Size: 22 KiB After Width: | Height: | Size: 22 KiB |
Before Width: | Height: | Size: 25 KiB After Width: | Height: | Size: 25 KiB |
Before Width: | Height: | Size: 20 KiB After Width: | Height: | Size: 20 KiB |
Before Width: | Height: | Size: 21 KiB After Width: | Height: | Size: 21 KiB |
Before Width: | Height: | Size: 12 KiB After Width: | Height: | Size: 12 KiB |
Before Width: | Height: | Size: 9.3 KiB After Width: | Height: | Size: 9.3 KiB |
Before Width: | Height: | Size: 48 KiB After Width: | Height: | Size: 48 KiB |
Before Width: | Height: | Size: 293 B After Width: | Height: | Size: 293 B |
Before Width: | Height: | Size: 1.4 KiB After Width: | Height: | Size: 1.4 KiB |
Before Width: | Height: | Size: 52 KiB After Width: | Height: | Size: 52 KiB |
Before Width: | Height: | Size: 2.5 KiB After Width: | Height: | Size: 2.5 KiB |
Before Width: | Height: | Size: 82 KiB After Width: | Height: | Size: 82 KiB |
Before Width: | Height: | Size: 13 KiB After Width: | Height: | Size: 13 KiB |
Before Width: | Height: | Size: 24 KiB After Width: | Height: | Size: 24 KiB |
Before Width: | Height: | Size: 59 KiB After Width: | Height: | Size: 59 KiB |
Before Width: | Height: | Size: 22 KiB After Width: | Height: | Size: 22 KiB |
Before Width: | Height: | Size: 16 KiB After Width: | Height: | Size: 16 KiB |
Before Width: | Height: | Size: 4.8 KiB After Width: | Height: | Size: 4.8 KiB |
Before Width: | Height: | Size: 12 KiB After Width: | Height: | Size: 12 KiB |
Before Width: | Height: | Size: 15 KiB After Width: | Height: | Size: 15 KiB |
Before Width: | Height: | Size: 21 KiB After Width: | Height: | Size: 21 KiB |
Before Width: | Height: | Size: 29 KiB After Width: | Height: | Size: 29 KiB |
Before Width: | Height: | Size: 11 KiB After Width: | Height: | Size: 11 KiB |