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

fixed refs

Browse Source
This commit is contained in:
Robin Clark 2012-06-23 10:33:45 +01:00
parent 0baf6b3e0b
commit 15c79c2ccc
2 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
mybib.bib
View File

@ -128,11 +128,11 @@ Database
number = "",
pages = "",
year = "2011",
note = "6th IET International Conference on System Safety, 2011",
note = "",
issn = "",
doi = "",
url = "",
author = "R.P. Clark et all",
author = "R. Clark and A. Fish and C. Garret and J. Howse",
keywords = "Failsafe",
keywords = "EN298",
keywords = "gas-safety",

5
papers/fmmd_software_hardware/software_fmmd.tex
View File

@ -777,8 +777,7 @@ With these failure modes, we can analyse our first functional group, see table~\
& voltage on pin high & \\ \hline
2: $R_{SHORT}$ & resistor shorted, & $LOW$ \\
& voltage on pin low & \\ \hline \hline
& voltage on pin low & \\ \hline
3: $ADC_{STUCKAT}$ & ADC reads out & $V\_ERR$ \\
@ -1070,7 +1069,7 @@ re-use this analysis for each {\ft} input in the system.
%
%A software specification for a hardware interface will concentrate on
%how to interpret raw readings, or what signals to apply for actuators.
Additionally, using FMMD we can determine a failure model for the hardware/software interface. % interface as well.
Additionally, using FMMD we can determine a failure model for the hardware/software interface. % interface as well.
%Its solved. Hoooo-ray !!!!!!!!!!!!!!!!!!!!!!!!