robin/Robin_PHD
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Starting to look at software modelling

Browse Source
This commit is contained in:
Robin Clark 2011-09-24 17:53:25 +01:00
parent 8fe62c8b3c
commit 321a075cff
2 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
fmmd_concept/System_safety_2011/presentation.odp
View File

Binary file not shown.

3
sw_model/sw_model.tex
View File

@ -215,6 +215,9 @@ the analysis stage; the symptoms, and finally the derived component.
Now diagram showing software function, Now diagram showing software function,
with pre-conditions, invariants and post conditions. with pre-conditions, invariants and post conditions.
define postcondition.
define pre-condition:
define invariant:
Now an integrated diagram, showing the Now an integrated diagram, showing the
pre-condition violations as failure modes pre-condition violations as failure modes