1066 lines
28 KiB
BibTeX
1066 lines
28 KiB
BibTeX
@INPROCEEDINGS{5488118,
|
||
author={Pace, C. and Libertino, S. and Crupi, I. and Marino, A. and Lombardo, S. and Sala, E.D. and Capuano, G. and Lisiansky, M. and Roizin, Y.},
|
||
booktitle={Instrumentation and Measurement Technology Conference (I2MTC), 2010 IEEE}, title={Compact instrumentation for radiation tolerance test of flash memories in space environment},
|
||
year={2010},
|
||
month={may},
|
||
volume={},
|
||
number={},
|
||
pages={652 -655},
|
||
keywords={FPGA-based design;compact instrumentation;failure data screening;flash memories;latch-up protection;nonvolatile memory arrays;radiation tolerance test;space environment;flash memories;radiation hardening (electronics);random-access storage;tolerance analysis;},
|
||
doi={10.1109/IMTC.2010.5488118},
|
||
ISSN={1091-5281},}
|
||
|
||
@INPROCEEDINGS{5963919,
|
||
author={Ghahroodi, M.M. and Zwolinski, M. and Ozer, E.},
|
||
booktitle={Adaptive Hardware and Systems (AHS), 2011 NASA/ESA Conference on}, title={Radiation hardening by design: A novel gate level approach},
|
||
year={2011},
|
||
month={june},
|
||
volume={},
|
||
number={},
|
||
pages={74 -79},
|
||
keywords={SEU tolerant flip-flop design;SEU-tolerant clock-gating scheme;TMR;area-power overheads;electronic circuits;electronic systems;gate level approach;radiation-hardening techniques;sea-level applications;single-event-upset tolerant flip-flop design;size 65 nm;triple modular redundancy;flip-flops;integrated circuit reliability;logic design;radiation hardening (electronics);},
|
||
doi={10.1109/AHS.2011.5963919},
|
||
ISSN={},}
|
||
|
||
@INPROCEEDINGS{swseatbelt,
|
||
author={Emery D Berger},
|
||
booktitle={Communications of the ACM}, title={Software needs seatbelts and Airbags},
|
||
year={2012},
|
||
month={september},
|
||
volume={},
|
||
number={},
|
||
pages={48 - 56},
|
||
keywords={software reliability},
|
||
ISSN={Doi:10.1145/2330667.2330683},}
|
||
|
||
|
||
@Book{dcods,
|
||
author = {Franklin,Powell,Workman},
|
||
title = {Digital Control of Dynamic Systems},
|
||
publisher = {Addisson Wesley ISBN 0-201-33153-5},
|
||
year = {1997},
|
||
OPTkey = {},
|
||
OPTvolume = {},
|
||
OPTnumber = {},
|
||
OPTseries = {Control Theory},
|
||
OPTaddress = {},
|
||
OPTedition = {},
|
||
OPTmonth = {},
|
||
OPTnote = {},
|
||
OPTannote = {},
|
||
OPTurl = {},
|
||
OPTdoi = {},
|
||
OPTissn = {},
|
||
OPTlocalfile = {},
|
||
OPTabstract = {}
|
||
}
|
||
|
||
@BOOK{mixedsignaldsp,
|
||
AUTHOR = "Walt Kestler",
|
||
TITLE = "Mixed Signal and DSP Design Techniques ISBN 0750676116",
|
||
PUBLISHER = "Newnes/Analog Devices",
|
||
YEAR = "2003"
|
||
}
|
||
|
||
@BOOK{echoesofwar,
|
||
AUTHOR = "Bernard Lovell",
|
||
TITLE = "Echoes of War: The story of H2S RADAR ",
|
||
PUBLISHER = " Adam Hilger: ISBN 0750301309",
|
||
YEAR = "1991"
|
||
}
|
||
|
||
@BOOK{boffin,
|
||
AUTHOR = "R Hanbury Brown",
|
||
TITLE = "Boffin: A Personal Story of the Early Days of Radar, Radio Astronomy and Quantum Optics:
|
||
Personal Story of the Early Days of Radar and Radio Astronomy and Quantum Optics ",
|
||
PUBLISHER = " Adam Hilger: ISBN 0-85274-317-3",
|
||
YEAR = "1991"
|
||
}
|
||
|
||
|
||
@BOOK{dmfnt,
|
||
AUTHOR = "R Garnier, J Taylor",
|
||
TITLE = "Discrete Mathematics for New Technology ISBN 0-7503-0135-X",
|
||
PUBLISHER = "IoP",
|
||
YEAR = "1992"
|
||
}
|
||
|
||
@BOOK{scsh,
|
||
AUTHOR = "D. Smith",
|
||
TITLE = "Safety Critical Systems Handbook, 3rd Ed. ISBN 978-0-08-096781-3",
|
||
PUBLISHER = "Butterworth HeinemannH",
|
||
YEAR = "2011"
|
||
}
|
||
|
||
@BOOK{fpodsadsp,
|
||
AUTHOR = "Robert D Strum and Donald E. Kirk",
|
||
TITLE = "First Principles of discrete Systems and Digital Signal Processing ISBN 0-201-09518-1",
|
||
PUBLISHER = "Addison-Wesley",
|
||
YEAR = "1988"
|
||
}
|
||
|
||
@ARTICLE{embedsfmea,
|
||
AUTHOR = "Peter L. Goddard",
|
||
TITLE = "Validating The Safety of Embedded Real-Time Control Systems using FMEA",
|
||
JOURNAL = "Reliability and Maintainability Symposium (RAMS), 1993 Proceedings - Annual",
|
||
YEAR = "1993"
|
||
}
|
||
|
||
@ARTICLE{modelsfmea,
|
||
AUTHOR = "Snooke, N",
|
||
TITLE = "Model-driven automated software FMEA",
|
||
JOURNAL = "Reliability and Maintainability Symposium (RAMS), 2011 Proceedings - Annual",
|
||
YEAR = "2011"
|
||
}
|
||
|
||
@article{Lutz:1997:RAU:590564.590572,
|
||
author = {Lutz, Robyn R. and Woodhouse, Robert M.},
|
||
title = {Requirements analysis using forward and backward search},
|
||
journal = {Ann. Softw. Eng.},
|
||
issue_date = {1997},
|
||
volume = {3},
|
||
month = jan,
|
||
year = {1997},
|
||
issn = {1022-7091},
|
||
pages = {459--475},
|
||
numpages = {17},
|
||
url = {http://dl.acm.org/citation.cfm?id=590564.590572},
|
||
acmid = {590572},
|
||
publisher = {J. C. Baltzer AG, Science Publishers},
|
||
address = {Red Bank, NJ, USA},
|
||
}
|
||
|
||
|
||
|
||
@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{sfmeainterface,
|
||
author={Ozarin, N.W.},
|
||
booktitle={Reliability and Maintainability Symposium, 2009. RAMS 2009. Annual},
|
||
journal={Reliability and Maintainability Symposium, 2009. RAMS 2009. Annual},
|
||
title={Applying software failure modes and effects analysis to interfaces},
|
||
year={2009},
|
||
month={jan.},
|
||
pages={533 - 538},
|
||
volume={},
|
||
number={},
|
||
keywords={mission-critical system;safety-critical system;software failure mode and effect analysis;software variable;system recovery;},
|
||
doi={10.1109/RAMS.2009.4914732},
|
||
ISSN={0149-144X}}
|
||
%%#%%
|
||
|
||
|
||
@ARTICLE{sfmea,
|
||
AUTHOR = "Chris Price, Neal Snooke",
|
||
TITLE = "An Automated Software FMEA",
|
||
JOURNAL = "International System Safety conference singapore 2008",
|
||
YEAR = "2008"
|
||
}
|
||
|
||
% my bib file.
|
||
|
||
Baiqiao HUANG
|
||
|
||
|
||
Software FMEA Approach Based on Failure Modes
|
||
Database
|
||
@ARTICLE{sfmeaauto,
|
||
AUTHOR = "Barbara J. Czerny et all. Delphi Corporation.",
|
||
TITLE = "Effective Application of Software Safety Techniques for Automotive Embedded Control Systems",
|
||
JOURNAL = "Occupant Safety, Safety-Critical Systems, and Crashworthiness (SP-1923)",
|
||
YEAR = "2005"
|
||
}
|
||
|
||
@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"
|
||
}
|
||
|
||
|
||
% my bib file.
|
||
|
||
@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{iso9001,
|
||
title = "ISO 9001 Quality",
|
||
journal = "British Standards Institute",
|
||
volume = " ",
|
||
number = "",
|
||
pages = " ",
|
||
year = "2012",
|
||
note = " ",
|
||
issn = "1571-0661",
|
||
doi = "DOI: 10.1016/j.entcs.2005.02.018",
|
||
url = "http://www.bsigroup.com/en/assessment-and-certification-services/management-systems/standards-and-schemes/iso-9001/",
|
||
author = "BSI",
|
||
keywords = "quality",
|
||
keywords = "ISO9001"
|
||
}
|
||
|
||
@article{dbamafta,
|
||
title = "Diagnosis by Algebraic Modelling and Fault Tree Induction",
|
||
journal = "Sixth International Workshop on principles of diagnosis",
|
||
volume = " ",
|
||
number = "",
|
||
pages = " ",
|
||
year = "1995",
|
||
note = "Working papers of DX-95: Sixth International Workshop on principles of diagnosis",
|
||
author = "Maus, Jakob and Neumann, Bernd",
|
||
keywords = "FTA",
|
||
keywords = "DIAGNOSTICS"
|
||
}
|
||
|
||
@article{syssafe2011,
|
||
title = "Developing a rigorous bottom-up modular static failure modelling methodology",
|
||
journal = "6th IET International Conference on System Safety, 2011",
|
||
volume = "",
|
||
number = "",
|
||
pages = "",
|
||
year = "2011",
|
||
note = "",
|
||
issn = "",
|
||
doi = "",
|
||
url = "",
|
||
author = "Clark, R and Fish, A and Garrett, C and Howse, J",
|
||
keywords = "Failsafe",
|
||
keywords = "EN298",
|
||
keywords = "gas-safety",
|
||
keywords = "burner",
|
||
keywords = "control",
|
||
keywords = "fault",
|
||
keywords = "double-fault",
|
||
keywords = "single-fault",
|
||
keywords = "fault-tolerance"
|
||
}
|
||
|
||
|
||
|
||
@article{syssafe2012,
|
||
title = "Applying Failure Mode Modular de-composition (FMMD) across the Software/Hardware Interface",
|
||
journal = "7th IET International Conference on System Safety 2012",
|
||
volume = "",
|
||
number = "",
|
||
pages = "",
|
||
year = "2012",
|
||
note = "",
|
||
issn = "",
|
||
doi = "",
|
||
url = "",
|
||
author = "Clark, R and Fish, A and Garrett, C and Howse, J",
|
||
keywords = "Failsafe",
|
||
keywords = "Software",
|
||
keywords = "FMEA",
|
||
keywords = "FMEDA",
|
||
keywords = "FMECA",
|
||
keywords = "fault",
|
||
keywords = "double-fault",
|
||
keywords = "single-fault",
|
||
keywords = "fault-tolerance"
|
||
}
|
||
|
||
@ARTICLE{ontfmea,
|
||
AUTHOR = "Lars Dittman et all",
|
||
TITLE = "FMEA using Ontologies",
|
||
JOURNAL = "18th International workshop on Qualitative Reasoning",
|
||
YEAR = "2004"
|
||
}
|
||
|
||
|
||
@ARTICLE{bubba,
|
||
AUTHOR = "Ron Mancini",
|
||
TITLE = "Design of OP-Amp sine wave oscillators",
|
||
JOURNAL = "Analog Applications Journal: Texas Instruments: August",
|
||
YEAR = "2000"
|
||
}
|
||
@ARTICLE{ftahistory,
|
||
AUTHOR = "Clifton Ericsson",
|
||
TITLE = "Fault Tree Analysis a History",
|
||
JOURNAL = "Proceedings of the 17th international safety conference",
|
||
YEAR = "1999"
|
||
}
|
||
|
||
|
||
@article{sanjeev,
|
||
author = {Sanjeev Kumar Appicharla},
|
||
title = {Analysis and modelling of space shuttle challenger accident using management oversight and risk tree(MORT)},
|
||
journal = {7th IET System Safety Conference 2012},
|
||
publisher = {IEEE},
|
||
issn = {},
|
||
url = {},
|
||
doi = {},
|
||
keywords = {System approach to safety, groupthink bias, technology standards, safety critical decision making},
|
||
year = {2012},
|
||
}
|
||
|
||
|
||
@article{SMR:SMR580,
|
||
author = {Bachmann, Volker and Messnarz, Richard},
|
||
title = {Improving safety and availability of complex systems by using an integrated design approach in development},
|
||
journal = {Journal of Software: Evolution and Process},
|
||
publisher = {John Wiley & Sons, Ltd},
|
||
issn = {2047-7481},
|
||
url = {http://dx.doi.org/10.1002/smr.580},
|
||
doi = {10.1002/smr.580},
|
||
keywords = {integrated design, FMEA, safety standards},
|
||
year = {2012},
|
||
}
|
||
%%pages = {n/a--n/a},
|
||
|
||
@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{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{ehb,
|
||
AUTHOR = "Jerry C whitaker",
|
||
TITLE = "The Electronics Handbook ISBN:0-8493-8345-5 ",
|
||
PUBLISHER = "IEEE Press ",
|
||
YEAR = "1996"
|
||
}
|
||
@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. Mitchel",
|
||
TITLE = "Design By Contract by Example",
|
||
PUBLISHER = "Adisson-Wesley",
|
||
YEAR = "2002"
|
||
}
|
||
|
||
@
|
||
@BOOK{usefulinfoengineers,
|
||
AUTHOR = "William Fairbairn",
|
||
TITLE = "Useful Information for Engineers
|
||
being a series of lectures delivered to the working engineers of Yorkshire and Lancashire :
|
||
together with a series of appendices, containing the results of experimental inquiries into the
|
||
strength of materials, the causes of boiler explosions",
|
||
PUBLISHER = "Longman",
|
||
YEAR = "1864"
|
||
}
|
||
@BOOK{opmanage,
|
||
AUTHOR = "Roger Schroeder",
|
||
TITLE = "Operations Management: Contemporary Concepts and Cases ISBN: 978-0073403380",
|
||
PUBLISHER = "McGraw-Hill",
|
||
YEAR = "2010"
|
||
}
|
||
|
||
% Safeware: System safety and Computers
|
||
|
||
@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-0-262-01662-9",
|
||
PUBLISHER = "Addison-Wesley",
|
||
YEAR = "2005"
|
||
}
|
||
|
||
@BOOK{scse,
|
||
AUTHOR = "Fortescue, Swinerd, Stark",
|
||
TITLE = "Spacecraft Systems Engineering ISBN:978-0-470-75012-4",
|
||
PUBLISHER = "Wiley",
|
||
YEAR = "2011"
|
||
}
|
||
|
||
@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"
|
||
}
|
||
|
||
|
||
@book{electronicssysapproach,
|
||
added-at = {2011-03-24T00:00:00.000+0100},
|
||
author = {Storey, Neil},
|
||
biburl = {http://www.bibsonomy.org/bibtex/2b735c0730d88e197a34a649611f025c9/dblp},
|
||
interhash = {db538f6c4e7c703ae5b1bda8764e626a},
|
||
intrahash = {b735c0730d88e197a34a649611f025c9},
|
||
isbn = {978-0-13-129396-0},
|
||
keywords = {dblp},
|
||
pages = {I-XII, 1-645},
|
||
publisher = {Pearson / Prentice Hall},
|
||
timestamp = {2011-03-24T00:00:00.000+0100},
|
||
title = {Electronics - a systems approach (4. ed.).},
|
||
year = 2009
|
||
}
|
||
|
||
|
||
@PHDTHESIS{garrett,
|
||
AUTHOR = "Chris Garrett",
|
||
TITLE = "Functional diagnosis strategies for analog systems using heuristic programming techniques",
|
||
SCHOOL = "Brighton University, School of Electrical Engineering",
|
||
YEAR = "1989"
|
||
}
|
||
|
||
@PHDTHESIS{maikowski,
|
||
AUTHOR = "Leo M Maikowski",
|
||
TITLE = "Tolreranced 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{DBLP:books/ph/KernighanR88,
|
||
author = {Brian W. Kernighan and
|
||
Dennis Ritchie},
|
||
title = {The C Programming Language, Second Edition},
|
||
publisher = {Prentice-Hall},
|
||
year = {1988},
|
||
isbn = {0-13-110370-9},
|
||
bibsource = {DBLP, http://dblp.uni-trier.de}
|
||
}
|
||
|
||
|
||
@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{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{en230,
|
||
author = "E N Standard",
|
||
title = "EN230:2005 Automatic burner control systems for oil burners",
|
||
howpublished = "British standards Institution http://www.bsigroup.com/",
|
||
year = "2005"
|
||
}
|
||
@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{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{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 = {},
|
||
}
|
||
|
||
@book{Yourdon:1989:MSA:62004,
|
||
author = {Yourdon, Edward},
|
||
title = {Modern structured analysis},
|
||
year = {1989},
|
||
isbn = {0-13-598624-9},
|
||
publisher = {Yourdon Press},
|
||
address = {Upper Saddle River, NJ, USA},
|
||
}
|
||
|
||
|
||
@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 = {},
|
||
}
|
||
|
||
|
||
|
||
@Manual{cd4013,
|
||
title = {CD4013 Dual D-Type Flip Flop Datasheet},
|
||
OPTkey = {},
|
||
author = {FAIRCHILD Semiconductor},
|
||
OPTorganization = {},
|
||
address = {http://www.fairchildsemi.com/ds/CD/CD4013BC.pdf},
|
||
OPTedition = {},
|
||
OPTmonth = {},
|
||
year = {2002},
|
||
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 = {},
|
||
}
|
||
|
||
@TechReport{steamboilers,
|
||
author = {Nancy Leveson},
|
||
title = {High-Pressure steam Engines and Computer Software},
|
||
institution = {University of Washington},
|
||
year = {1994},
|
||
OPTkey = {},
|
||
OPTtype = {},
|
||
OPTnumber = {},
|
||
OPTaddress = {},
|
||
OPTmonth = {},
|
||
OPTnote = {},
|
||
OPTannote = {},
|
||
OPTurl = {},
|
||
OPTdoi = {},
|
||
OPTissn = {},
|
||
OPTlocalfile = {},
|
||
OPTabstract = {},
|
||
}
|
||
|
||
@Book{aoe,
|
||
title = {The Art of Electronics, 2nd Edition},
|
||
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 = {}
|
||
};
|
||
|