From 96928dfca29b5f912f9a3d68de93dda3c9a65a5c Mon Sep 17 00:00:00 2001 From: "Robin P. Clark" Date: Fri, 13 Sep 2013 15:14:44 +0100 Subject: [PATCH] C garret comments 13SEP2013 --- .../CH6_Software_Examples/software.tex | 4 ++-- submission_thesis/CH8_Conclusion/copy.tex | 24 ++++++++++++------- submission_thesis/style.tex | 2 -- 3 files changed, 17 insertions(+), 13 deletions(-) diff --git a/submission_thesis/CH6_Software_Examples/software.tex b/submission_thesis/CH6_Software_Examples/software.tex index 9d7f6a7..de20b77 100644 --- a/submission_thesis/CH6_Software_Examples/software.tex +++ b/submission_thesis/CH6_Software_Examples/software.tex @@ -1298,9 +1298,9 @@ The post-condition for the monitor function is that it implements the PID contro A {\dc} for the standalone temperature controller is now created, and given the name TempController. It will have the following failure modes: % -\begin{equationarry} +\begin{eqnarray*} fm ( TempController ) = \{ ControlFailureIndicated, \\ ControlFailure, \\ KnownIndicationError, \\ UnknownIndicationError \}. -\end{equationarry} +\end{eqnarray*} % % diff --git a/submission_thesis/CH8_Conclusion/copy.tex b/submission_thesis/CH8_Conclusion/copy.tex index b4cfc51..870de53 100644 --- a/submission_thesis/CH8_Conclusion/copy.tex +++ b/submission_thesis/CH8_Conclusion/copy.tex @@ -1,21 +1,23 @@ \label{sec:chap8} \fmeagloss -This study has examined the processes and state of the art of the four main FMEA variants. +This study has examined the %processes and state of the art of the +four main FMEA variants. % \fmmdglossSTATEEX It has exposed shortcomings in these methodologies, which can be summed up as an inability to -model hybrid software and hardware systems in a satisfactory manner, a problem with state explosion -and difficulty of re-use of analysis because there is no support for modularity. +model hybrid software and hardware systems, % in a satisfactory manner, +a problem with state explosion +and difficulty of re-use of analysis. % because there is no support for modularity. % The FMECA and FMEDA variants also suffer from embedding subjective and objective assessments of failure modes. % -A modularised FMEA---Failure Mode Modular De-composition (FMMD)---had been proposed. +This thesis proposes modularised FMEA---Failure Mode Modular De-composition (FMMD)---to overcome some of these problems. % This modularised version had been supported by the work already established by the definition of {\fms} for {\bcs} in the literature~\cite{fmd91,mil1991,en298,en230}. % -A selection of electronic examples was analysed using FMMD -which deliberately introduced varying circuit +Specific electronic examples were analysed using FMMD +to test circuit %which deliberately introduced varying circuit topologies with conventional and circular signal paths and mixed digital and analogue designs. % @@ -30,7 +32,9 @@ was significantly reduced. \fmmdglossRD % Not only this, but the analysis naturally provided modules which could be re-used, -re-used not only in the circuit under analysis but potentially in different and future projects as well. +both in the same circuit and other circuits +%re-used not only in the circuit under analysis but potentially in different +and potentially future projects as well. Traditional FMEA methods have been applied to software, but analysis has always been performed separately from the electronic FMEA~\cite{sfmeaa,sfmea}. %, and while modular kept strictly to a bottom-up approach. @@ -42,7 +46,7 @@ Two examples of mixed software and hardware systems were analysed as integrated as proof of concept. The first example in chapter~\ref{sec:chap6}, was presented to the System Safety IET conference in 2012~\cite{syssafe2012}. % -Chapter~\ref{sec:chap7} viewed FMMD from a formal perspective and looked at problems and constraints +Chapter~\ref{sec:chap7} viewed FMMD from a formal perspective and examined problems and constraints necessary to perform FMEA and FMMD. % Theoretical performance models were developed (see section~\ref{sec:theoreticalperfmodel}) which showed that with increasing modularisation @@ -76,7 +80,9 @@ In conclusion then, a new method of failure analysis has been devised which imp \item distributed systems, and smart instruments, can now be analysed and assessed, \item multiple failures can be analysed (without an undue state explosion cost). \end{itemize} -These benefits fall under the following assumptions and constraints: +% +These benefits require the following assumptions and constraints: +% \begin{itemize} \item Failure modes are available for all {\bcs}, \item Analysts are capable of finding suitable {\fgs} from electronic schematics, diff --git a/submission_thesis/style.tex b/submission_thesis/style.tex index 23ceb2b..7a09e61 100644 --- a/submission_thesis/style.tex +++ b/submission_thesis/style.tex @@ -80,8 +80,6 @@ % \newcommand{\fmmdname}{\glossary{name={FMMDNAME},description={ }} %\fmodegloss -\newcommand{\fmmdglossHFMEA}{\glossary{name={system}, description={ -Failure Mode Effect Analysis applied to hardware only (i.e. specifically not applied to software)}}} \newcommand{\fmmdglossADC}{\glossary{name={system}, description={ Analogue to digital converter}}}