Started subsection
on work already performed on software FMEA
This commit is contained in:
parent
4221340353
commit
aa074ee773
99
mybib.bib
99
mybib.bib
@ -1,7 +1,70 @@
|
|||||||
|
|
||||||
|
|
||||||
|
@ARTICLE{sfmeaa,
|
||||||
|
AUTHOR = "Shawulu Hunira Nggada",
|
||||||
|
TITLE = "Software Failure Analysis at Architecture Level using FMEA",
|
||||||
|
JOURNAL = "International Journal of Software and its applications Vol 6. 1",
|
||||||
|
YEAR = "2012"
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
@ARTICLE{sfmea,
|
||||||
|
AUTHOR = "Chris Price, Neal Snooke",
|
||||||
|
TITLE = "An Automated Software FMEA",
|
||||||
|
JOURNAL = "International System Safety conference singapore 2008",
|
||||||
|
YEAR = "2008"
|
||||||
|
}
|
||||||
|
|
||||||
% my bib file.
|
% my bib file.
|
||||||
|
|
||||||
|
Baiqiao HUANG
|
||||||
|
|
||||||
|
|
||||||
|
Software FMEA Approach Based on Failure Modes
|
||||||
|
Database
|
||||||
|
@ARTICLE{procsfmeadb,
|
||||||
|
AUTHOR = "Baiqiao HUANG",
|
||||||
|
TITLE = "Software FMEA Approach Based on Failure Modes Database",
|
||||||
|
JOURNAL = "Reliability, Maintainability and Safety, 2009. ICRMS 2009. 8th International Conference ",
|
||||||
|
YEAR = "2009"
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
@BOOK{misra,
|
||||||
|
AUTHOR = "Gavin McCall",
|
||||||
|
TITLE = "MISRA:C:2004 Guidelines for the use of the C language in critical systems ISBN 978-0-9524156-4-0 ",
|
||||||
|
PUBLISHER = "Hobbs",
|
||||||
|
YEAR = "2004"
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
%A process for failure modes and effects analysis of computer software
|
||||||
|
|
||||||
|
%Ozarin, N.
|
||||||
|
%Omnicon Group Inc., Hauppauge, NY, USA
|
||||||
|
%Siracusa, M.
|
||||||
|
@ARTICLE{procsfmea,
|
||||||
|
AUTHOR = "Ozarin, N.",
|
||||||
|
TITLE = "A process for failure modes and effects analysis of computer software",
|
||||||
|
JOURNAL = "Reliability and Maintainability Symposium, 2003. Annual",
|
||||||
|
YEAR = "2003"
|
||||||
|
}
|
||||||
|
|
||||||
|
%This paper appears in:
|
||||||
|
%Software Engineering and Data Mining (SEDM), 2010 2nd International Conference on
|
||||||
|
%Date of Conference: 23-25 June 2010
|
||||||
|
%Author(s): Wang, Danhua
|
||||||
|
% State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China
|
||||||
|
% Pan, Jingui
|
||||||
|
% On Page(s): 187 - 191
|
||||||
|
% Product Type: Conference Publications
|
||||||
|
@ARTICLE{appswfmea,
|
||||||
|
AUTHOR = "Danhua Wang",
|
||||||
|
TITLE = "An approach of automatically performing fault tree analysis and failure mode effects techniques to Software",
|
||||||
|
JOURNAL = "Software Engineering and Data Mining (SEDM), 2010 2nd International Conference",
|
||||||
|
YEAR = "2010"
|
||||||
|
}
|
||||||
|
|
||||||
@ARTICLE{fmd91,
|
@ARTICLE{fmd91,
|
||||||
AUTHOR = "Reliability Analysis Center",
|
AUTHOR = "Reliability Analysis Center",
|
||||||
TITLE = "Failure Mode/Mechanisms Distributions 1991",
|
TITLE = "Failure Mode/Mechanisms Distributions 1991",
|
||||||
@ -78,6 +141,12 @@
|
|||||||
YEAR = "2003"
|
YEAR = "2003"
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@BOOK{dbcbe,
|
||||||
|
AUTHOR = "R. Mitchell",
|
||||||
|
TITLE = "Design by contract, by Example",
|
||||||
|
PUBLISHER = "Addison-Wesley ISBN 0-201-63460-0",
|
||||||
|
YEAR = "2002"
|
||||||
|
}
|
||||||
|
|
||||||
@ARTICLE{crcembedd,
|
@ARTICLE{crcembedd,
|
||||||
AUTHOR = "Philip Koopman, Tridib Chakravarty",
|
AUTHOR = "Philip Koopman, Tridib Chakravarty",
|
||||||
@ -100,6 +169,29 @@
|
|||||||
YEAR = "2002"
|
YEAR = "2002"
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@BOOK{easw,
|
||||||
|
AUTHOR = "Nancy Leveson",
|
||||||
|
TITLE = "Engineering a safer world ISBN: 978-0262016629",
|
||||||
|
PUBLISHER = "MIT Press",
|
||||||
|
YEAR = "2012"
|
||||||
|
}
|
||||||
|
|
||||||
|
@ARTICLE{syssafe2011,
|
||||||
|
AUTHOR = "R.Clark,A.Fish,J.Howse,C.Garrett",
|
||||||
|
TITLE = "Developing a rigorous bottom-up modular static failure modelling
|
||||||
|
methodology",
|
||||||
|
JOURNAL = "IET System Safety 2011",
|
||||||
|
YEAR = "2011"
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
@MISC{en61511,
|
||||||
|
author = "E N Standard",
|
||||||
|
title = "EN61511: Functional safety. Safety instrumented systems for the process industry sector. ",
|
||||||
|
howpublished = "British standards Institution http://www.bsigroup.com/",
|
||||||
|
year = "2004"
|
||||||
|
}
|
||||||
|
|
||||||
@BOOK{embupsys,
|
@BOOK{embupsys,
|
||||||
TITLE = "Embedded Microprocessor Systems 3rd Edition ISBN 0-7506-75434-9",
|
TITLE = "Embedded Microprocessor Systems 3rd Edition ISBN 0-7506-75434-9",
|
||||||
AUTHOR = "Stuart R Ball",
|
AUTHOR = "Stuart R Ball",
|
||||||
@ -378,6 +470,13 @@ OPTissn = {},
|
|||||||
OPTabstract = {},
|
OPTabstract = {},
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@BOOK{kandr,
|
||||||
|
AUTHOR = "Kernighan,Ritchie",
|
||||||
|
TITLE = "The C programming Language 2nd edition ISBN 0-13-110362-8",
|
||||||
|
PUBLISHER = "Prentise Hall",
|
||||||
|
YEAR = "1988"
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
@Book{wt,
|
@Book{wt,
|
||||||
title = {Water Treatment Essentials for Boiler Plant Operation},
|
title = {Water Treatment Essentials for Boiler Plant Operation},
|
||||||
|
|||||||
@ -1,670 +0,0 @@
|
|||||||
|
|
||||||
|
|
||||||
% my bib file.
|
|
||||||
|
|
||||||
|
|
||||||
@ARTICLE{sfmeaa,
|
|
||||||
AUTHOR = "Shawulu Hunira Nggada",
|
|
||||||
TITLE = "Software Failure Analysis at Architecture Level using FMEA",
|
|
||||||
JOURNAL = "International Journal of Software and its applications Vol 6. 1",
|
|
||||||
YEAR = "2012"
|
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
@ARTICLE{sfmea,
|
|
||||||
AUTHOR = "Chris Price, Neal Snooke",
|
|
||||||
TITLE = "An Automated Software FMEA",
|
|
||||||
JOURNAL = "International System Safety conference singapore 2008",
|
|
||||||
YEAR = "2008"
|
|
||||||
}
|
|
||||||
|
|
||||||
@ARTICLE{fmd91,
|
|
||||||
AUTHOR = "Reliability Analysis Center",
|
|
||||||
TITLE = "Failure Mode/Mechanisms Distributions 1991",
|
|
||||||
JOURNAL = "United States Department of Commerce",
|
|
||||||
YEAR = "1991"
|
|
||||||
}
|
|
||||||
|
|
||||||
% $Id: mybib.bib,v 1.3 2009/11/28 20:05:52 robin Exp $
|
|
||||||
@article{Clark200519,
|
|
||||||
title = "Failure Mode Modular De-Composition Using Spider Diagrams",
|
|
||||||
journal = "Electronic Notes in Theoretical Computer Science",
|
|
||||||
volume = "134",
|
|
||||||
number = "",
|
|
||||||
pages = "19 - 31",
|
|
||||||
year = "2005",
|
|
||||||
note = "Proceedings of the First International Workshop on Euler Diagrams (Euler 2004)",
|
|
||||||
issn = "1571-0661",
|
|
||||||
doi = "DOI: 10.1016/j.entcs.2005.02.018",
|
|
||||||
url = "http://www.sciencedirect.com/science/article/B75H1-4G6XT71-3/2/0e3a47df2ec15bfba9f85feae81786e3",
|
|
||||||
author = "R.P. Clark",
|
|
||||||
keywords = "Failsafe",
|
|
||||||
keywords = "EN298",
|
|
||||||
keywords = "gas-safety",
|
|
||||||
keywords = "burner",
|
|
||||||
keywords = "control",
|
|
||||||
keywords = "fault",
|
|
||||||
keywords = "double-fault",
|
|
||||||
keywords = "single-fault",
|
|
||||||
keywords = "fault-tolerance"
|
|
||||||
}
|
|
||||||
|
|
||||||
@ARTICLE{ftahistory,
|
|
||||||
AUTHOR = "Clifton Ericsson",
|
|
||||||
TITLE = "Fault Tree Analysis a History",
|
|
||||||
JOURNAL = "Proceedings of the 17th international safety conference",
|
|
||||||
YEAR = "1999"
|
|
||||||
}
|
|
||||||
|
|
||||||
@ARTICLE{fafmea,
|
|
||||||
AUTHOR = "Zigmund Bluvband, Pavel Grabov",
|
|
||||||
TITLE = "Failure Analysis of FMEA",
|
|
||||||
JOURNAL = "IEEE 1-4244-2509-9/09/",
|
|
||||||
YEAR = "2009"
|
|
||||||
}
|
|
||||||
@ARTICLE{fmeda,
|
|
||||||
AUTHOR = "John C. Grebe Dr. William M. Goble",
|
|
||||||
TITLE = "FMEDA – Accurate Product Failure Metrics",
|
|
||||||
JOURNAL = "EXIDA publication. www.exida.com/articles/FMEDA\%20Development.pdf",
|
|
||||||
YEAR = "2007"
|
|
||||||
}
|
|
||||||
@ARTICLE{canspec,
|
|
||||||
AUTHOR = "Bosch.",
|
|
||||||
TITLE = "CAN Specification 2.0",
|
|
||||||
JOURNAL = "Bosch Technical Standard",
|
|
||||||
YEAR = "1991"
|
|
||||||
}
|
|
||||||
|
|
||||||
@ARTICLE{caninauto,
|
|
||||||
AUTHOR = "H. Zeltwanger",
|
|
||||||
TITLE = "Single Processor implementation of the CANopen Safety Protocol",
|
|
||||||
JOURNAL = "CAN in Automation (CiA)",
|
|
||||||
YEAR = "2008"
|
|
||||||
}
|
|
||||||
|
|
||||||
@ARTICLE{valueoflife,
|
|
||||||
AUTHOR = "W.K. Viscusi",
|
|
||||||
TITLE = "The value of life: Estimates with risks by occupation and industry",
|
|
||||||
JOURNAL = "Harvard John M. Olin Canter for Law ISSN 1045-6333",
|
|
||||||
YEAR = "2003"
|
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
@ARTICLE{crcembedd,
|
|
||||||
AUTHOR = "Philip Koopman, Tridib Chakravarty",
|
|
||||||
TITLE = "Cyclic Redundancy Code (CRC) Polynomial Selection for Embedded Networks",
|
|
||||||
JOURNAL = "The International Conference on dependable systems and networks DSN-2004",
|
|
||||||
YEAR = "2004"
|
|
||||||
}
|
|
||||||
|
|
||||||
@ARTICLE{nucfta,
|
|
||||||
AUTHOR = "US Nuclear reg commission",
|
|
||||||
TITLE = "Fault Tree Handbook",
|
|
||||||
JOURNAL = "Nuclear Safety Analysis Handbook",
|
|
||||||
YEAR = "1981"
|
|
||||||
}
|
|
||||||
|
|
||||||
@ARTICLE{syssafe2011,
|
|
||||||
AUTHOR = "R.Clark,A.Fish,J.Howse,C.Garrett",
|
|
||||||
TITLE = "Developing a rigorous bottom-up modular static failure modelling
|
|
||||||
methodology",
|
|
||||||
JOURNAL = "IET System Safety 2011",
|
|
||||||
YEAR = "2011"
|
|
||||||
}
|
|
||||||
|
|
||||||
@ARTICLE{nasafta,
|
|
||||||
AUTHOR = "NASA",
|
|
||||||
TITLE = "Fault Tree Handbook with Aerospace Applications",
|
|
||||||
JOURNAL = "NASA Handbook",
|
|
||||||
YEAR = "2002"
|
|
||||||
}
|
|
||||||
|
|
||||||
@BOOK{embupsys,
|
|
||||||
TITLE = "Embedded Microprocessor Systems 3rd Edition ISBN 0-7506-75434-9",
|
|
||||||
AUTHOR = "Stuart R Ball",
|
|
||||||
PUBLISHER = "Newnes",
|
|
||||||
YEAR = "2002"
|
|
||||||
}
|
|
||||||
|
|
||||||
@BOOK{misra,
|
|
||||||
AUTHOR = "Gavin McCall",
|
|
||||||
TITLE = "MISRA:C:2004 Guidelines for the use of the C language in critical systems ISBN 978-0-9524156-4-0 ",
|
|
||||||
PUBLISHER = "Hobbs",
|
|
||||||
YEAR = "2004"
|
|
||||||
}
|
|
||||||
|
|
||||||
@BOOK{alggraph,
|
|
||||||
AUTHOR = "Alan Gibbons",
|
|
||||||
TITLE = "Algorithmic Graph Theory ISBN:978-0521288811 ",
|
|
||||||
PUBLISHER = "Cambridge University PressCambridge University Press",
|
|
||||||
YEAR = "1985"
|
|
||||||
}
|
|
||||||
|
|
||||||
@BOOK{git,
|
|
||||||
AUTHOR = "Jon Loeliger",
|
|
||||||
TITLE = "Version Control with Git ISBN:978-0-596-52012-0",
|
|
||||||
PUBLISHER = "O'Reilly Media",
|
|
||||||
YEAR = "2009"
|
|
||||||
}
|
|
||||||
|
|
||||||
@BOOK{ince,
|
|
||||||
AUTHOR = "D. C. Ince",
|
|
||||||
TITLE = "In Introduction to discrete Mathematics, Formal System specification and Z",
|
|
||||||
PUBLISHER = "Oxford University Press",
|
|
||||||
YEAR = "1992"
|
|
||||||
}
|
|
||||||
|
|
||||||
@BOOK{dbcbe,
|
|
||||||
AUTHOR = "R. Mitchell",
|
|
||||||
TITLE = "Design by contract, by Example",
|
|
||||||
PUBLISHER = "Addison-Wesley ISBN 0-201-63460-0",
|
|
||||||
YEAR = "2002"
|
|
||||||
}
|
|
||||||
|
|
||||||
@BOOK{safeware,
|
|
||||||
AUTHOR = "Nancy Leveson",
|
|
||||||
TITLE = "Safeware: System safety and Computers ISBN: 0-201-11972-2",
|
|
||||||
PUBLISHER = "Addison-Wesley",
|
|
||||||
YEAR = "2005"
|
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
@BOOK{easw,
|
|
||||||
AUTHOR = "Nancy Leveson",
|
|
||||||
TITLE = "Engineering a safer world ISBN: 978-0262016629",
|
|
||||||
PUBLISHER = "MIT Press",
|
|
||||||
YEAR = "2012"
|
|
||||||
}
|
|
||||||
|
|
||||||
@BOOK{bfmea,
|
|
||||||
AUTHOR = "Robin E McDermot et all",
|
|
||||||
TITLE = "The Basics of FMEA ISBN: 0-527-76320-9",
|
|
||||||
PUBLISHER = "Productivity",
|
|
||||||
YEAR = "1996"
|
|
||||||
}
|
|
||||||
|
|
||||||
@BOOK{mil1991,
|
|
||||||
AUTHOR = "United~States~DOD",
|
|
||||||
TITLE = "Reliability Prediction of Electronic Equipment",
|
|
||||||
PUBLISHER = "DOD",
|
|
||||||
YEAR = "1991"
|
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
@BOOK{faa,
|
|
||||||
AUTHOR = "Federal Aviation Administration",
|
|
||||||
TITLE = "System Safety Handbook",
|
|
||||||
PUBLISHER = "http://www.faa.gov/library/ manuals/aviation /risk\_management/ss\_handbook/",
|
|
||||||
YEAR = "2008"
|
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
@BOOK{sccs,
|
|
||||||
AUTHOR = "Neil~Storey",
|
|
||||||
TITLE = "Safety-Critical Computer Systems ISBN 0-201-42787-7",
|
|
||||||
PUBLISHER = "Prentice Hall",
|
|
||||||
YEAR = "1996"
|
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
@PHDTHESIS{maikowski,
|
|
||||||
AUTHOR = "Leo M Maikowski",
|
|
||||||
TITLE = "Toleranced Multiple Fault Diagnosis of Analog Circuits",
|
|
||||||
SCHOOL = " Brighton University, School of Electrical Engineering",
|
|
||||||
YEAR = "1995"
|
|
||||||
}
|
|
||||||
|
|
||||||
@BOOK{sem,
|
|
||||||
AUTHOR = "J.~Woodcock,~Martin~Loomes",
|
|
||||||
TITLE = "Software Engineering Mathematics ISBN 0-273-02673-9",
|
|
||||||
PUBLISHER = "Pitman",
|
|
||||||
YEAR = "1988"
|
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
@BOOK{allfour,
|
|
||||||
AUTHOR = "Betty Tootell",
|
|
||||||
TITLE = "All Four Engines Have Failed ISBN 0-233-97758-9",
|
|
||||||
PUBLISHER = "Andre deutsch",
|
|
||||||
YEAR = "1985"
|
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
@BOOK{f77,
|
|
||||||
AUTHOR = "A.~Balfour D.H.~Marwick",
|
|
||||||
TITLE = "Programming in Standard Fortran 77 ISBN 0-435-77486-7",
|
|
||||||
PUBLISHER = "Heinemann Educational Books",
|
|
||||||
YEAR = "1979"
|
|
||||||
}
|
|
||||||
|
|
||||||
@BOOK{ctw,
|
|
||||||
AUTHOR = "Gregory~J.E.~Rawlins",
|
|
||||||
TITLE = "Compared to What ? An introduction to the analysis of algorithms ISBN 0-7167-8243-x",
|
|
||||||
PUBLISHER = "Computer Science Press",
|
|
||||||
YEAR = "1991"
|
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
@BOOK{alg,
|
|
||||||
AUTHOR = "Alan~Gibbons",
|
|
||||||
TITLE = "Algorithmic Graph Theory ISBN 0-521-28881-9",
|
|
||||||
PUBLISHER = "Cambridge University Press",
|
|
||||||
YEAR = "1985"
|
|
||||||
}
|
|
||||||
|
|
||||||
@BOOK{found,
|
|
||||||
AUTHOR = "Ian~Stewart, David~Tall",
|
|
||||||
TITLE = "The Foundations of Mathematics : ISBN 0-19-853165-6",
|
|
||||||
PUBLISHER = "Oxford University Press",
|
|
||||||
YEAR = "1977"
|
|
||||||
}
|
|
||||||
|
|
||||||
@BOOK{shin,
|
|
||||||
AUTHOR = "Sun-Joo~Shin",
|
|
||||||
TITLE = "The Iconic Logic of Peirces Graphs",
|
|
||||||
PUBLISHER = "Bradford",
|
|
||||||
YEAR = "2002"
|
|
||||||
}
|
|
||||||
|
|
||||||
@BOOK{kandr,
|
|
||||||
AUTHOR = "Kernighan,Ritchie",
|
|
||||||
TITLE = "The C programming Language 2nd edition ISBN 0-13-110362-8",
|
|
||||||
PUBLISHER = "Prentise Hall",
|
|
||||||
YEAR = "1988"
|
|
||||||
}
|
|
||||||
|
|
||||||
@BOOK{probstat,
|
|
||||||
AUTHOR = " M~R~Spiegel",
|
|
||||||
TITLE = "Probability and Statistics Second edition : SHCAUM'S : ISBN 0-07-135004-7",
|
|
||||||
PUBLISHER = "Oxford University Press",
|
|
||||||
YEAR = "1988"
|
|
||||||
}
|
|
||||||
|
|
||||||
@BOOK{idmfssz,
|
|
||||||
AUTHOR = " D~C~Ince",
|
|
||||||
TITLE = " An Introduction to Discrete Mathematics, Formal System Specification and Z : Oxford : ISBN 0-19-853836-7",
|
|
||||||
PUBLISHER = "Oxford University Press",
|
|
||||||
YEAR = "1988"
|
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
@BOOK{wdycwopt,
|
|
||||||
AUTHOR = " Richard~P~Feynman",
|
|
||||||
TITLE = " What do you care what other people think: Harper Collins : ISBN 0-586-21855-6",
|
|
||||||
PUBLISHER = " harpercollins",
|
|
||||||
YEAR = "1988"
|
|
||||||
}
|
|
||||||
|
|
||||||
@BOOK{joyofsets,
|
|
||||||
AUTHOR = " Keith~devlin",
|
|
||||||
TITLE = " The Joy of Sets: 2nd edition: ISBN 978-0-387-94094-6",
|
|
||||||
PUBLISHER = " Springer",
|
|
||||||
YEAR = "1993"
|
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
@MISC{microchip,
|
|
||||||
author = "Microchip",
|
|
||||||
title = "Microchip technology Inc. Home Page",
|
|
||||||
howpublished = "Available from http://www.microchip.com/",
|
|
||||||
year = "2009"
|
|
||||||
}
|
|
||||||
|
|
||||||
@MISC{gnuplot,
|
|
||||||
author = "Various Open~source~Project",
|
|
||||||
title = "",
|
|
||||||
howpublished = "Available from http://www.gnuplot.info/",
|
|
||||||
year = "2005"
|
|
||||||
}
|
|
||||||
|
|
||||||
@MISC{eulerviz,
|
|
||||||
author = "Peter~Rodgers, John~Howse, Andrew~Fish",
|
|
||||||
title = "Visualization of Euler Diagrams",
|
|
||||||
howpublished = "http://www.cmis.bton.ac.uk/research/vmg/papers/EulerViz.pdf",
|
|
||||||
year = "2005"
|
|
||||||
}
|
|
||||||
|
|
||||||
@MISC{eulerprop,
|
|
||||||
author = "Peter~Rodgers, John~Howse, Gem~Stapleton",
|
|
||||||
title = "Properties of Euler Diagrams",
|
|
||||||
howpublished = "http://www.cmis.bton.ac.uk/research/vmg/papers/",
|
|
||||||
year = "2007"
|
|
||||||
}
|
|
||||||
|
|
||||||
@MISC{en161,
|
|
||||||
author = "E N Standard",
|
|
||||||
title = "EN161:2007 Automatic shutoff valves for gas burners and gas appliances",
|
|
||||||
howpublished = "British standards Institution http://www.bsigroup.com/",
|
|
||||||
year = "2003"
|
|
||||||
}
|
|
||||||
|
|
||||||
@MISC{en298,
|
|
||||||
author = "E N Standard",
|
|
||||||
title = "EN298:2003 Gas Burner Controllers with forced draft",
|
|
||||||
howpublished = "British standards Institution http://www.bsigroup.com/",
|
|
||||||
year = "2003"
|
|
||||||
}
|
|
||||||
|
|
||||||
@MISC{en60730,
|
|
||||||
author = "E N Standard",
|
|
||||||
title = "EN60730: Automatic Electrical controls for household and similar use",
|
|
||||||
howpublished = "British standards Institution http://www.bsigroup.com/",
|
|
||||||
year = "1994"
|
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
@MISC{en61511,
|
|
||||||
author = "E N Standard",
|
|
||||||
title = "EN61511: Functional safety. Safety instrumented systems for the process industry sector. ",
|
|
||||||
howpublished = "British standards Institution http://www.bsigroup.com/",
|
|
||||||
year = "2004"
|
|
||||||
}
|
|
||||||
|
|
||||||
@MISC{challenger,
|
|
||||||
author = "U.S. Presidential Commission",
|
|
||||||
title = "Report of the SpaceShuttle Challanger Accident",
|
|
||||||
howpublished = "Available from http://science.ksc.nasa.gov/shuttle/missions/51-l/docs/rogers-commission/table-of-contents.html",
|
|
||||||
year = "1986"
|
|
||||||
}
|
|
||||||
|
|
||||||
@MISC{en61508,
|
|
||||||
author = "E N Standard",
|
|
||||||
title = "EN61508:2002 Functional safety of electrical/electronic/programmable electronic safety related systems",
|
|
||||||
howpublished = "British standards Institution http://www.bsigroup.com/",
|
|
||||||
year = "2002"
|
|
||||||
}
|
|
||||||
|
|
||||||
@MISC{iec61511,
|
|
||||||
author = "IEC Standard",
|
|
||||||
title = "IEC61511:2002 Functional safety - Safety instrumented systems for the process industry sector",
|
|
||||||
howpublished = "International Electrotechnical Commission http://www.iec.ch//",
|
|
||||||
year = "2003"
|
|
||||||
}
|
|
||||||
|
|
||||||
@MISC{javaarea,
|
|
||||||
author = "Sun~Micro~Systems",
|
|
||||||
title = "Java Area Operations",
|
|
||||||
howpublished = "Available from http://java.sun.com/j2se/1.3/docs/api/java/awt/geom/Area.html",
|
|
||||||
year = "2000"
|
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
@Manual{tlp181,
|
|
||||||
title = {TLP 181 Datasheet},
|
|
||||||
key = {TOSHIBA Photocoupler GaAs Ired and 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{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},
|
|
||||||
OPTkey = {},
|
|
||||||
OPTvolume = {},
|
|
||||||
OPTnumber = {},
|
|
||||||
OPTseries = {},
|
|
||||||
OPTaddress = {},
|
|
||||||
OPTedition = {2nd},
|
|
||||||
OPTmonth = {},
|
|
||||||
OPTnote = {},
|
|
||||||
OPTannote = {},
|
|
||||||
OPTurl = {},
|
|
||||||
OPTdoi = {},
|
|
||||||
OPTissn = {ISBN 0-521-37095-7},
|
|
||||||
OPTlocalfile = {},
|
|
||||||
OPTabstracts = {},
|
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
@TechReport{eurothermtables,
|
|
||||||
author = {Eurotherm Ltd.},
|
|
||||||
title = {Thermocouple Emf TABLES and PLATINUM 100 RESISTANCE THERMOMETER TABLES},
|
|
||||||
institution = {Eurotherm, UK},
|
|
||||||
year = {1973},
|
|
||||||
OPTkey = {},
|
|
||||||
OPTtype = {},
|
|
||||||
OPTnumber = {},
|
|
||||||
OPTaddress = {},
|
|
||||||
OPTmonth = {June},
|
|
||||||
OPTnote = {Bulletin TT-1},
|
|
||||||
OPTannote = {},
|
|
||||||
OPTurl = {},
|
|
||||||
OPTdoi = {},
|
|
||||||
OPTissn = {},
|
|
||||||
OPTlocalfile = {},
|
|
||||||
OPTabstract = {},
|
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
@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 = {}
|
|
||||||
};
|
|
||||||
|
|
||||||
1
papers/software_fmea/mybib.bib
Symbolic link
1
papers/software_fmea/mybib.bib
Symbolic link
@ -0,0 +1 @@
|
|||||||
|
../../mybib.bib
|
||||||
@ -214,6 +214,15 @@ This is associated with SIL classification levels~\cite{en61508}~\cite{en61511}.
|
|||||||
FMMD is a modularisation of FMEA and can produce failure~mode models that can be used in
|
FMMD is a modularisation of FMEA and can produce failure~mode models that can be used in
|
||||||
all the above variants of FMEA.
|
all the above variants of FMEA.
|
||||||
|
|
||||||
|
\subsection{Current work on Software FMEA}
|
||||||
|
|
||||||
|
Work on software FMEA usually does not seek to integrate
|
||||||
|
hardware and software models, but to perform
|
||||||
|
FMEA on the software in isolation~\cite{procsfmea}.
|
||||||
|
Some work has been performed using databases
|
||||||
|
to track the relationships between variables
|
||||||
|
and system failure modes~\cite{procsfmeadb}, and work has been performed to
|
||||||
|
introduce automation into the FMEA process~\cite{appswfmea}.
|
||||||
|
|
||||||
\subsection{Current FMEA techniques are not suitable for software}
|
\subsection{Current FMEA techniques are not suitable for software}
|
||||||
|
|
||||||
@ -504,7 +513,7 @@ This voltage range forms our input requirement.
|
|||||||
We can now examine a software function that performs a conversion from the voltage read to
|
We can now examine a software function that performs a conversion from the voltage read to
|
||||||
a per~mil representation of the {\ft} input current.
|
a per~mil representation of the {\ft} input current.
|
||||||
%
|
%
|
||||||
For the purpose of example the `C' programming language is used.
|
For the purpose of example the `C' programming language~\cite{kandr} is used.
|
||||||
We initially assume a function \textbf{read\_ADC} which returns a floating point %double precision
|
We initially assume a function \textbf{read\_ADC} which returns a floating point %double precision
|
||||||
value which represents the voltage read (see code sample in figure~\ref{fig:code_read_4_20_input}).
|
value which represents the voltage read (see code sample in figure~\ref{fig:code_read_4_20_input}).
|
||||||
|
|
||||||
|
|||||||
File diff suppressed because it is too large
Load Diff
1
papers/software_fmea/vmgbibliography.bib
Symbolic link
1
papers/software_fmea/vmgbibliography.bib
Symbolic link
@ -0,0 +1 @@
|
|||||||
|
../../vmgbibliography.bib
|
||||||
Loading…
Reference in New Issue
Block a user