diff --git a/survey/Makefile b/survey/Makefile new file mode 100644 index 0000000..a2cf030 --- /dev/null +++ b/survey/Makefile @@ -0,0 +1,17 @@ + +# +# Make the propositional logic diagram a paper +# + + +paper: paper.tex survey_paper.tex + #latex paper.tex + #dvipdf paper pdflatex cannot use eps ffs + pdflatex paper.tex + okular paper.pdf + + +# Remove the need for referncing graphics in subdirectories +# +survey_paper.tex: survey.tex + cat survey.tex | sed 's/survey\///' > survey_paper.tex diff --git a/survey/mybib.bib b/survey/mybib.bib new file mode 100644 index 0000000..150c845 --- /dev/null +++ b/survey/mybib.bib @@ -0,0 +1,404 @@ +% +% +% $Id: mybib.bib,v 1.5 2008/12/18 17:05:23 robin Exp $ +% +% + +@TechReport{db, + author = {R Clark, D Legge}, + title = {ETC6000 Daughterboard Design notes}, + institution = {ETC HR221850}, + year = {2004}, + key = {}, + OPTtype = {}, + OPTnumber = {}, + OPTaddress = {}, + OPTmonth = {}, + OPTnote = {}, + OPTannote = {}, + OPTurl = {}, + OPTdoi = {}, + issn = {HR221850}, + OPTlocalfile = {}, + OPTabstract = {}, +} + +@TechReport{mil1991, + author = {U.S. Department of Defence}, + title = {Reliability Prediction of Electronic Equipment}, + institution = {DOD}, + year = {1991}, + key = {MIL-HDBK-217F}, + OPTtype = {}, + OPTnumber = {}, + OPTaddress = {}, + OPTmonth = {}, + OPTnote = {}, + OPTannote = {}, + OPTurl = {}, + OPTdoi = {}, + OPTissn = {}, + OPTlocalfile = {}, + OPTabstract = {}, +} + +@Manual{tlp181, + title = {TLP 181 Datasheet}, + key = {TOSHIBA Photocoupler GaAs Ired & Photo−Transistor}, + author = {Toshiba inc.}, + OPTorganization = {}, + %address = {http://www.toshiba.com/taec/components2/Datasheet\_Sync//206/4191.pdf}, + OPTedition = {}, + OPTmonth = {}, + year = {2009}, +OPTnote = {}, + OPTannote = {}, + OPTurl = {}, + OPTdoi = {}, +OPTissn = {}, + OPTlocalfile = {}, + OPTabstract = {}, +} + + + + +@Manual{pic18f2523, + title = {PIC18F2523 Datasheet}, + OPTkey = {}, + author = {Microchip inc}, + OPTorganization = {}, + address = {http://ww1.microchip.com/downloads/en/DeviceDoc/39755c.pdf}, + OPTedition = {}, + OPTmonth = {}, + year = {2009}, + OPTnote = {}, + OPTannote = {}, + OPTurl = {}, + OPTdoi = {}, + OPTissn = {}, + OPTlocalfile = {}, + OPTabstract = {}, +} + + +@Book{wt, + title = {Water Treatment Essentials for Boiler Plant Operation}, + publisher = {Mc Graw Hill ISBN 0-07-048291-5}, + year = {1997}, + author = {Robert G Nunn}, + ALTALTeditor = {}, + OPTkey = {}, + OPTvolume = {}, + OPTnumber = {}, + OPTseries = {}, + OPTaddress = {}, + OPTedition = {}, + OPTmonth = {}, + OPTnote = {}, + OPTannote = {}, + OPTurl = {}, + OPTdoi = {}, + OPTissn = {ISBN 0-07-048291-5}, + OPTlocalfile = {}, + OPTabstracts = {}, +} + +@TechReport{pcbAI222562, + author = {C Talmay}, + title = {Circuit Schematic TDS Daughterboard AI222562}, + institution = {ETC}, + year = {2010}, + OPTkey = {}, + OPTtype = {}, + OPTnumber = {AI222562}, + OPTaddress = {}, + OPTmonth = {}, + OPTnote = {}, + OPTannote = {}, + OPTurl = {}, + OPTdoi = {}, + OPTissn = {}, + OPTlocalfile = {}, + OPTabstract = {}, +} + +@TechReport{spiraxsarco, + author = {Spirax Sarco}, + title = {http://www.spiraxsarco.com/resources/steam-engineering-tutorials.asp}, + institution = {Spirax Sarco}, + year = {2010}, + OPTkey = {}, + OPTtype = {}, + OPTnumber = {}, + OPTaddress = {}, + OPTmonth = {}, + OPTnote = {}, + OPTannote = {}, + OPTurl = {}, + OPTdoi = {}, + OPTissn = {}, + OPTlocalfile = {}, + OPTabstract = {}, +} + +@Book{aoe, + title = {The Art of Electronics}, + publisher = {Cambridge}, + year = {1989}, + author = {Paul Horowitz, Winfield Hill}, + %author = {}, + OPTkey = {}, + OPTvolume = {}, + OPTnumber = {}, + OPTseries = {}, + OPTaddress = {}, + OPTedition = {2nd}, + OPTmonth = {}, + OPTnote = {}, + OPTannote = {}, + OPTurl = {}, + OPTdoi = {}, + OPTissn = {ISBN 0-521-37095-7}, + OPTlocalfile = {}, + OPTabstracts = {}, +} + +@TechReport{eurothermtables, + author = {}, + title = {Thermocouple Emf TABLES and PLATINUM 100 RESISTANCE THERMOMETER TABLES}, + institution = {Eurotherm}, + year = {1973}, + OPTkey = {}, + OPTtype = {}, + OPTnumber = {}, + OPTaddress = {}, + OPTmonth = {June}, + OPTnote = {Bulletin TT-1}, + OPTannote = {}, + OPTurl = {}, + OPTdoi = {}, + OPTissn = {}, + OPTlocalfile = {}, + OPTabstract = {}, +} + +@MISC{iso639-1, + title = "ISO 639-1: Code for the Representation of Names of Languages", + author = "International Standardization Organization", + howpublished = "http://www.loc.gov/standards/iso639-2/criteria1.html" + year = "1998" +} + +@MISC{nano-x, + title = "The nano-X windowing system", + author = "Greg Haerr", + howpublished = "http://www.microwindows.org/" + year = "2003" +} + + + + +@MISC{X11, + title = "The XFree86 Project, Inc", + author = "Open Source", + howpublished = "http://www.xfree86.org/" + year = "1992" +} + + +http://www.xfree86.org/ + +@MISC{iso639-2, + title = "ISO 639-2: Code for the Representation of Names of Languages", + author = "International Standardization Organization", + howpublished = "http://www.loc.gov/standards/iso639-2/criteria1.html" + year = "1998" +} + + +@misc{ touchscreenprod, + author = "M. Thirsk", + title = "Touchscreen Production Procedure : HR~222165", + howpublished = "Internal ETC Document", + year = "2008" }; + + +@misc{ touchscreensoftware, + author = "ETC Software Dept.", + title = "Touchscreen Software released to Production : HR~222162", + howpublished = "Internal ETC Software (medium: 2 MMC cards)", + year = "2008" }; + +@misc{ touchscreengui, + author = "D.J. Legge, R.P.Clark", + title = "Touchscreen GUI Design Document : HR~222163", + howpublished = "Internal ETC Document", + year = "2008" }; + + +@misc{ gumstix, + author = "Gumstix Inc", + title = "Gumstix Home Page", + howpublished = "WEB http://www.gumstix.com/", + year = "2008" }; + + +@misc{ fltk, + author = "FLTK open Source Developers", + title = "Fast Light Toolkit", + howpublished = "WEB http://www.fltk.org/", + year = "2008" }; + + +@Book{ldd, +author = {Jonathon Corbet}, +ALTeditor = {Alessandro Rubini}, +ALTeditor = {Greg Kroah-Hartman}, +title = {Linux Device Drivers}, +publisher = {O'Reilly ISBN 0-596-00590-3}, +year = {1998}, +OPTkey = {ISBN 0-596-00590-3}, +OPTvolume = {}, +OPTnumber = {}, +OPTseries = {linux}, +OPTaddress = {}, +OPTedition = {3rd}, +OPTmonth = {}, +OPTnote = {}, +OPTannote = {}, +OPTurl = {www.oreilly.com}, +OPTdoi = {}, +OPTissn = {}, +OPTlocalfile = {}, +OPTabstract = {} +}; + + +@Book{bash, +author = {Carl Albing}, +title = {Bash Cookbook}, +publisher = {O'Reilly ISBN 0-596-52678-4}, +year = {2007}, +OPTkey = {ISBN 0-596-52678-4}, +OPTvolume = {}, +OPTnumber = {}, +OPTseries = {unix/linux}, +OPTaddress = {}, +OPTedition = {}, +OPTmonth = {}, +OPTnote = {}, +OPTannote = {}, +OPTurl = {www.oreilly.com}, +OPTdoi = {}, +OPTissn = {}, +OPTlocalfile = {}, +OPTabstract = {} +}; + +@Book{sedawk, +author = {Dale Dougherty, Arnold Robbins}, +title = {Sed and Awk}, +publisher = {O'Reilly ISBN 1-56592-225-5}, +year = {1997}, +OPTkey = {ISBN 1-56592-225-5}, +OPTvolume = {}, +OPTnumber = {}, +OPTseries = {unix/linux}, +OPTaddress = {}, +OPTedition = {}, +OPTmonth = {}, +OPTnote = {}, +OPTannote = {}, +OPTurl = {www.oreilly.com}, +OPTdoi = {}, +OPTissn = {}, +OPTlocalfile = {}, +OPTabstract = {} +}; + +@Book{bels, +author = {Karim Yaghmour}, +title = {Building Embedded LINUX systems}, +publisher = {O'Reilly ISBN ISBN 0-596-00222-X}, +year = {2003}, +OPTkey = {ISBN 0-596-00222-X}, +OPTvolume = {}, +OPTnumber = {}, +OPTseries = {linux}, +OPTaddress = {}, +OPTedition = {3rd}, +OPTmonth = {}, +OPTnote = {}, +OPTannote = {}, +OPTurl = {www.oreilly.com}, +OPTdoi = {}, +OPTissn = {}, +OPTlocalfile = {}, +OPTabstract = {} +}; + +@Book{can, +author = {Olaf Pfeiffer}, +ALTeditor = {Andrew Ayre}, +ALTeditor = {Christian Keydel}, +title = {Embedded networking with CAN and CANopen}, +publisher = {RTC ISBN 0-929392-78-7}, +year = {2003}, +OPTkey = { }, +OPTvolume = {}, +OPTnumber = {}, +OPTseries = {Embedded Systems}, +OPTaddress = {}, +OPTedition = {1st}, +OPTmonth = {}, +OPTnote = {}, +OPTannote = {}, +OPTurl = {www.rtcbooks.com}, +OPTdoi = {}, +OPTissn = {}, +OPTlocalfile = {}, +OPTabstract = {} +}; + +@Article{article, +author = {dd}, +title = {dd}, +journal = {dd}, +year = {2008}, +OPTkey = {}, +OPTvolume = {}, +OPTnumber = {}, +OPTpages = {1,2}, +OPTmonth = {JAN}, +OPTnote = {}, +OPTannote = {}, +OPTurl = {}, +OPTdoi = {}, +OPTissn = {}, +OPTlocalfile = {}, +OPTabstract = {} +}; + +@Book{sqlite, +author = {Micheal Owens}, +title = {The definitive guide to SQLite}, +publisher = {Apres ISBN 1-59059-673-0}, +year = {2006}, +OPTkey = {}, +OPTvolume = {}, +OPTnumber = {}, +OPTseries = {Databases/SQLite}, +OPTaddress = {}, +OPTedition = {}, +OPTmonth = {}, +OPTnote = {}, +OPTannote = {}, +OPTurl = {}, +OPTdoi = {}, +OPTissn = {}, +OPTlocalfile = {}, +OPTabstract = {} +}; + diff --git a/survey/papaer.tex b/survey/papaer.tex new file mode 100644 index 0000000..36dd25e --- /dev/null +++ b/survey/papaer.tex @@ -0,0 +1,2 @@ +:e paper.tex + diff --git a/survey/paper.aux b/survey/paper.aux new file mode 100644 index 0000000..de7b2ef --- /dev/null +++ b/survey/paper.aux @@ -0,0 +1,53 @@ +\relax +\citation{aoe} +\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces PT100 four wire circuit}}{1}} +\newlabel{fig:pt100}{{1}{1}} +\@writefile{toc}{\contentsline {section}{\numberline {1}Overview of PT100 four wire circuit}{1}} +\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Accuracy despite variable \\ resistance in cables}{1}} +\citation{eurothermtables} +\citation{mil1991} +\citation{mil1991} +\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces PT100 expected voltage ranges}}{2}} +\newlabel{fig:pt100vrange}{{2}{2}} +\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Calculating Temperature from \\ the sense line voltages}{2}} +\@writefile{toc}{\contentsline {section}{\numberline {2}Safety case for 4 wire circuit}{2}} +\citation{aoe} +\citation{eurothermtables} +\citation{eurothermtables} +\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Single Fault FMEA Analysis \\ of PT100 Four wire circuit}{3}} +\newlabel{fmea}{{2.1}{3}} +\@writefile{lot}{\contentsline {table}{\numberline {1}{\ignorespaces PT100 FMEA Single Faults}}{3}} +\newlabel{ptfmea}{{1}{3}} +\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Range and PT100 Calculations}{3}} +\newlabel{pt100temp}{{2.2}{3}} +\@writefile{lot}{\contentsline {table}{\numberline {2}{\ignorespaces PT100 Maximum and Minimum Values}}{4}} +\newlabel{ptbounds}{{2}{4}} +\@writefile{toc}{\contentsline {section}{\numberline {3}Single Fault FMEA Analysis \\ of PT100 Four wire circuit}{4}} +\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Single Fault Modes as PLD}{4}} +\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces PT100 Component Failure Modes}}{4}} +\newlabel{fig:pt100_tc}{{3}{4}} +\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces Voltage Divider}}{5}} +\newlabel{fig:vd}{{4}{5}} +\newlabel{eqn:vd}{{1}{5}} +\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Proof of Out of Range \\ Values for Failures}{5}} +\newlabel{pt110range}{{3.2}{5}} +\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.1} TC1 : Voltages $R_1$ SHORT }{5}} +\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.2} TC2 : Voltages $R_1$ OPEN }{5}} +\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.3} TC 3 : Voltages $R_2$ SHORT }{5}} +\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.4} TC : 4 Voltages $R_2$ OPEN }{6}} +\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.5} TC 5 : Voltages $R_3$ SHORT }{6}} +\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.6} TC 6 : Voltages $R_3$ OPEN }{6}} +\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Summary of Analysis}{6}} +\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces PT100 Component Failure Modes}}{7}} +\newlabel{fig:pt100_tc_sp}{{5}{7}} +\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces PT100 Circuit Failure Modes : From Single Faults Analysis}}{7}} +\newlabel{fig:pt100_singlef}{{6}{7}} +\citation{mil1991} +\@writefile{toc}{\contentsline {subsection}{\numberline {3.4}Mean Time to Failure}{8}} +\@writefile{lot}{\contentsline {table}{\numberline {3}{\ignorespaces PT100 FMEA Single // Fault Statistics}}{8}} +\newlabel{tab:stat_single}{{3}{8}} +\@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces Probablistic Fault Tree : PT100 Single Faults}}{8}} +\newlabel{fig:stat_single}{{7}{8}} +\bibstyle{plain} +\bibdata{vmgbibliography,mybib} +\@writefile{toc}{\contentsline {section}{\numberline {4} PT100 Double Simultaneous \\ Fault Analysis}{10}} diff --git a/survey/paper.pdf b/survey/paper.pdf new file mode 100644 index 0000000..7c0c624 Binary files /dev/null and b/survey/paper.pdf differ diff --git a/survey/paper.tex b/survey/paper.tex new file mode 100644 index 0000000..3cb1c26 --- /dev/null +++ b/survey/paper.tex @@ -0,0 +1,27 @@ + +\documentclass[a4paper,10pt]{article} +\usepackage{graphicx} +\usepackage{fancyhdr} +\usepackage{tikz} +\usepackage{amsfonts,amsmath,amsthm} +\input{../style} + +%\newtheorem{definition}{Definition:} + +\begin{document} +\pagestyle{fancy} + +\outerhead{{\small\bf Survey of Safety Critical Static Analysis Methods}} +%\innerfoot{{\small\bf R.P. Clark } } + % numbers at outer edges +\pagenumbering{arabic} % Arabic page numbers hereafter +\author{R.P.Clark} +\title{Survey of Safety Critical Static Analysis Methods} +\maketitle +\input{survey_paper} + +\bibliographystyle{plain} +\bibliography{vmgbibliography,mybib} + +\today +\end{document} diff --git a/survey/survey.tex b/survey/survey.tex new file mode 100644 index 0000000..6d4dc90 --- /dev/null +++ b/survey/survey.tex @@ -0,0 +1,58 @@ +% +% Make the revision and doc number macro's then they are defined in one place + +\begin{abstract} + +\end{abstract} + +\section{FMEA} + +Two meanings, a general one Fault Mode Effects Analysis, meaning general statics diagnosis of a design, looking +at faults that can occur and their effect. + + +\subsection{Manufacturing Cost Reduction FMEA} + +Second a methodology for reducing cost in manufacturing by taking fauls, their frequency +and their cost, multiplying these together, and then coming up with a priority list +for fixing knmown faults. +"The basics of FMEA by Robin E. McDermott et all" +ISBN 0-527-76320-9. + + +\subsection{Deterministic FMEA} + +EN298 no two individual component failures may give rise to a dangerous condition. + +\section{FMEAD Failure effect Mode Dangerous} + +This is a probablistic based methodology. + +\subsection{Safe Failure Fraction} + +Introduce the idea of coverage. +A good example is RAM in a microprocessor/microcontroller, we cann ot give 100i\% coverage to it. +We can perform some tests that give us 60\% coverage etc + +\subsection{Diagnostic interval} + +Reducing FIT with detecting a fraction of the faults within an interval. Give formulas etc + + +\subsection{Redundancy - Models} + +1oo1 2oo3 etc + +\subsection{Field Data} + +OK for EN61508, not OK for nuclear industry find refs. + + +\section {FTA} + +Fault tree Analysis +Show how it works, top down, +% read exita doc and ref it + +% typeset in {\Huge \LaTeX} \today +