Reliability

• Reliability of Computer Systems and Networks, Fault Tolerance, Analysis, and Design, Martin L. Shooman, J.Wiley & Sons, Inc, 2002, ISBN: 0-471-29342-3, (listed price $120.00, very elaborate book, extensive appendicies).
• Fault Tolerance, Principles & Practice, T.Anderson & P.A.Lee, Prentice Hall Int., 1981. ISBN: 0-13-308254-7.
• Fault-tolerant computing, Vol.1&2, ed. Dhiraj K.Pradhan , Prentice-Hall, 1986. ISBN: 0-13-308230-X.
• Software Reliability, Hoang Pham , Springer-Verlag Singapore, 2000, ISBN 981-3083-84-0, (listed price $54.95, may be a good choice if you are opting for a single book on reliability)
• Handbook of Software Reliability Engineering, Michael Lyu, McGraw-Hill, 1996, ISBN 0-07-039400-8 (out of print, has a chapter on ANN)
• Software Safety & Reliability, Debra Herrmann, IEEE Computer Society Press, ISBN: 0-7695-0299-7, 1999.
• Software Reliability, Measurement, Prediction, Application, John D. Musa, A. Iannino, K. Okumoto, ISBN: 0-07-044093-X, McGraw-Hill, 1987 (out of print, seminal work; though dated, principles are the same; author is considered to be one of the founders of the discipline).
• Software Reliability Methods, Doron Peled, Bell Labs/Lucent Technologies, Murray Hill, NJ, USA, Publisher: Springer-Verlag, 2001, ISBN: 0-387-95106-7 (listed price $59.95)
• Software Fault Tolerance, Techniques & Implementation, Laural L. Pullum, Artech House, Inc., 2001, ISBN: 1-58053-137-7 (listed price $62.00)

up

Performability & performance evaluation

• Life Cycle Management For Dependability, Felix Redmill & Chir Dale (eds), Springer-Verlag London Ltd., ISBN 3-540-76073-3, 1997 (less technical, rather provides an insight to management aspect of dependability).
• Software Performability: From Concepts to Applications, by Ann T. Tai, John F. Meyer, Algirdas Avizienia, Algirdas Avizienis, Source Pages: 201, Medium: Hardcover, Year of Publication: 1996, ISBN:0792396707 (listed price: $176.50, very good resource with modeling examples and case studies)
• Performance and Reliability Analysis of Computer Systems, An Example-Based Approach Using the SHARPE Software Package , by Robin A. Sahner, Kishor Trivedi, Antonio Puliafito, Kluwer Academic Publishers, Boston, ISBN 0-7923-9650-2, November 1995, 424 pp. (listed price USD 209.00).
• Performability Modelling Techniques and Tools, Haverkort, B. R.Marie, G.Rubino, K.Trivedi, John Wiley & Sons, ISBN 0471491950, Format Hardcover, Publication Date 06/2001 (listed price: $110.00)
• Self-Similar Network Traffic and Performance Evaluation, 1st edition, Source Pages: 576, Medium: Hardcover, Year of Publication: 2000, ISBN:0471319740, Authors Kihong Park, Walter Willinger, Publisher John Wiley & Sons, Inc. New York, NY, USA (listed price: $100.00)
• Performance Evaluation: Origins and Directions Series: Lecture Notes in Computer Science, Vol. 1769, by Haring, Günter; Lindemann, Christoph; Reiser, Martin (Eds.) 2000, X, 529 pp., Softcover, ISBN: 3-540-67193-5 (listed price 60.00 € )
  Available online in SpringerLink
  

up

Survivability

• Ellison, et. al., Survivable Network Analysis Method, Technical Report CMU/SEI-2000-TR-013, ESC-2000-TR-013, Carnegie Mellon Software Engineering Institute, Sept. 2000.
• Ellison, et. al., Survivable Network Systems: An Emerging Discipline, Technical Report CMU/SEI-97-TR-013, ESC-97-TR-013, Carnegie Mellon Software Engineering Institute, revised May 1999.

up

Other topics

• Dependable Computing for Critical Appications 7, ed. by A.Avizienis, H.Kopetz, J.C.Laprie, Vol. 12, 1999. ISBN: 0-7695-0284-9.
• Henderson-Sellers, B., Booktwo of object-oriented knowledge, Prentice Hall of Australia, 1994., ISBN: 0-13-148404-4.

up

Markov Chains

• Finite Markov Chains and Algorithmic Applications by Haggstrom, Olle, Published: 07/01/2002, ISBN: 0521813573, Binding: Hardback, Publisher: Cambridge University Press (listed price: £40.00 )
  

up

Computational Intelligence & Reliability

• Introduction to Fuzzy Reliability, by Kai-Yuan Cai, The Kluwer International Series In Engineering And Computer Science: Volume 363, ISBN 0-7923-9737-1, July 1996,  336 pp. (listed price USD 203.00).
• Fuzzy Probabilites and Fuzzy Sets for Web Planning by James J. J. Buckley, Hardcover, September 2003, ISBN: 3540004734, Format: Hardcover, 190pp, Pub. Date: September 2003 Publisher: Springer-Verlag New York, LLC (listed price: $64.95)
• Reliability and Safety Analyses under Fuzziness, Series: Studies in Fuzziness and Soft Computing, Vol. 4, Onisawa, Takehisa; Kacprzyk, Janusz (Eds.), 1995, X, 376 pp. 106 figs., 48 tabs., Hardcover, ISBN: 3-7908-0837-7 (listed price 99,95 € )
  
  

up

Workshops & Conferences

• Software Reliability, Infotech 1977 England, ISBN 8553-9380-7.
• Software Reliability, State of the Art Report, Infotech 1986 England, ISBN 0-08-034-0911.
• IEEE Comp.Soc. Series, Fault-Tolerant Software systems, ed. H.Pham, 1992, ISBN 0-8186-3210-0.
• FlexRay Communications System Specifications: http://www.flexray.com/
• 7th Int. Symposium on Software Reliability Engineering, ISSRE'96, ISBN: 0-8186-7707-4.
• Computer Safety, Reliability, and Security, 22nd Int. Conf., SAFECOMP 2003, UK, ISBN: 3-540-20126-2.
• Dependable Network Computing, ed. by Dimiter Avresky, Kluwer, 2000, 0-7923-7711-7.
• DISCEX II, DARPA Information Survivability Conference & Exposition, June 2001, ISBN: 0-7695-1212-7.
• The 15th IEEE International Symposium on Software Reliability Engineering, http://www.issre.org/2004/
• DIMACS Workshop on Robust Communication Networks: Interconnection and Survivability, November 18 - 20, 1998, DIMACS Center, CoRE Building, Rutgers University, Piscataway, NJ

up

Dissertations & Thesis

• Thesis MEASUREMENT-BASED RELIABILITY/PERFORMABILITY MODELS, by Hsueh, Mei-Chen, Corporate Author(s) ILLINOIS UNIV AT URBANA COMPUTER SYSTEMS GROUP, Report Date 9/1/1987, Page Count 111 (listed price: $51.65).
• [Aljahdali 03] Aljahdali, A.H., Prediction of software reliability using neural network and fuzzy logic, PhD Dissertation, George Mason University, Fairfax, Virginia, 2003.
  

up

URLs (various topics)

• Reliability tools
  • Dr. Kishor S. Trivedi, Duke University, homepage: http://www.ee.duke.edu/~kst/
    • phenomenal definitions of availability, software rejuvenation, reliability, performability.
    • course site: SHARPE, SPNP, Möbius manuals here
  • Dr. William H. Sanders, University of Illinois, homepage: http://www.crhc.uiuc.edu/Faculty/whs.html
  • Möbius: http://www.mobius.uiuc.edu/

• Leslie Lamport (Byzantine, Sift): free paper download http://research.microsoft.com/users/lamport/pubs/pubs.html, course site here.

• NASA bibliography on fault tolerant flight systems (seminal papers on 777, airbus, flexray, byzantine....)
• Aviation Safety, Boeing, Airbus
  • Aviation Safety Network http://aviation-safety.net/index.shtml
  • American Airlines Flight 191 Accident, 25 May 1979 http://aviation-safety.net/database/1979/790525-2.htm
  • El Al Israel Airlines Flight 1862 Accident, 4 Oct. 1992 http://aviation-safety.net/database/1992/921004-2.htm
  • Boeing 767-757 reference site http://www.757.org.uk/767/links/
  • Link to Boeing 747 Family http://www.boeing.com/commercial/747family/flash.html
  • Link to Boeing 777 Family http://www.boeing.com/commercial/777family/flash.html
  • Link to Airbus http://www.airbus.com/en/
  • Link to Airbus 380 Family http://www.airbus.com/en/aircraftfamilies/a380/
  • Aviation Today http://www.aviationtoday.com; reports: http://www.aviationtoday.com/reports/
• Citations on Yeh's papers on Boeing 777 fly-by-wire
  • Design Considerations in Boeing 777 Fly-By-Wire Computers http://portal.acm.org/citation.cfm?id=652386&jmp=cit&coll=GUIDE&dl=GUIDE&CFID=30826587&CFTOKEN=9041232#CIT
  • Safety critical avionics for the 777 PFC http://ieeexplore.ieee.org/xpl/abs_free.jsp?arNumber=963311
  • Triple-triple redundant 777 PFC IEEE Xplore
• Space Shuttle
  • Algirdas Avizienis, "Toward Systematic Design of Fault-Tolerant Systems", Computer, pp.51-58, April 1997, http://www.md.kth.se/RTC/SC3S/papers/avizienis.pdf
  • J.R.Sklaroff, "Redundancy Management Technique for Space Shuttle Computers", IBM J.Res.Develop., pp.20-28, Jan 1976., : http://www.research.ibm.com/journal/rd/201/ibmrd2001E.pdf
• Space Shuttle - NASA
  • Fault Tolerance Strategy, REE, SIFT, satellites: http://ree.jpl.nasa.gov/fy98_reports/rsft.html
  • Shuttle reference: http://spaceflight.nasa.gov/shuttle/reference/
  • Shuttle Master Verification Plan: http://pbma.nasa.gov/docs/public/pbma/bestpractices/bp_jsc_51a.pdf
  • The 21 Century Space Shuttle: http://spaceflight.nasa.gov/spacenews/factsheets/pdfs/21stCenturyShuttle.pdf
  • NASA Office of Logic Design, A scientific study of the problems of digital engineering for space flight systems: http://klabs.org/
    • Space Shuttle Computers and Avionics http://www.klabs.org/DEI/Processor/shuttle/
    • [Madden 84] Madden, A.W., Rone, K.Y., "Design, Development, Integration: Space Shuttle Primary Flight Software System", Communications of the ACM, September 1984 Volume 27 Number 9, pp. 914-925, http://www.klabs.org/DEI/Processor/shuttle/madden_rone.pdf
    • Gene D. Carlow, "Architecture of the Space Shuttle Primary Avionics Software System", Communications of the ACM, September 1984 Volume 27 Number 9, pp. 926-936, URL: http://klabs.org/DEI/Processor/shuttle/p926-carlow.pdf
    • NASA SP-504: Space Shuttle Avionics System: http://klabs.org/DEI/Processor/shuttle/sp-504/contents.htm
    • Jon D. Erickson, Artificial Intelligence and Information Sciences Office, NASA Lyndon B. Johnson Space Center, Houston, TX 77058, Proceedings of the IEEE, Vol. 75, No. 3, March 1987, pp. 417-426 "Manned Spacecraft Automation and Robotics", http://klabs.org/DEI/References/avionics/erickson_87/erickson_87.htm
    • P. N. Misra, "Software Reliability Analysis", IBM Systems Journal, Volume 22, Number 3, Page 262 (1983), http://www.research.ibm.com/journal/sj/223/ibmsj2203I.pdf
    • Mattox, R. M. and White, J. B., "Space Shuttle Main Engine Controller", Report Number: NASA-TP-1932 M-360, NASA MSFC, Nov 01, 1981 http://klabs.org/DEI/Processor/shuttle/ssme_controller/index.htm
    • James E. Tomayko, "Computers in Spaceflight: The NASA Experience", Wichita State University, NASA Contractor Report CR-182505, 1988, 417 pages http://www.hq.nasa.gov/office/pao/History/computers/contents.html
    • "The Space Shuttle Primary Computer System ", Communications of the ACM, September 1984 Volume 27 Number 9, pp. 872-900 http://klabs.org/DEI/Processor/shuttle/shuttle_primary_computer_system.pdf
• NASA Office of Logic Design, Spaceborne Processor and Avionics Papers: http://www.solarstorms.org/SEUcomputers.html (a number of papers for download here)

• FlexRay Communications System Specifications (check out about->basics; publications->articles): http://www.flexray.com/
  • Course download:
    • FlexRay documents
    • Among other articles, you will find FlexRay Specifications here (Electrical Physical Layer Spec. Ver.2.0 pdf, Bus Guardian Spec. Ver.2.0 pdf, Protocol Spec. Ver. 2.0 pdf)
• Original site:
  • next BMW you buy may not have a steering wheel http://www.flexray.com/publications/FT%20sept%2019%20FlexRay.pdf
  • FlexRay protocol overview http://www.flexray.com/products/protocol%20overview.pdf
  • FlexRay basics: http://www.flexray.com/about.php?menuID=1

• Miller, George A., The Magical Number Seven, Plus or Minus Two, The Psychological Review, vol. 63, pp. 81-97, 1956, http://www.well.com/user/smalin/miller.html, course site here.
• Big Ball of Mud: http://www.laputan.org/mud/mud.html#BigBallOfMud (pdf)

• Performability Report by Jawad & Johnsen http://www.doc.ic.ac.uk/~nd/surprise_95/journal/vol4/eaj2/report.html (pdf)

• Software Reliability and Dependability: a Roadmap, B. Littlewood, L.Strigini (url)
• Software Metrics and Reliability, Dr. Linda Rosenberg et al., NASA Satc, 9th International Symposium, November, 1998, Germany (url) .

• Defense Sofware Collaborators - Software Reliability: Literature: http://www.dacs.dtic.mil/databases/url/key.hts?keycode=2:2438&islowerlevel=1
• Defense Sofware Collaborators - Software Quality: http://www.dacs.dtic.mil/databases/url/key.hts?keycode=3494
• Defense Sofware Collaborators - Tools & Models: http://www.dacs.dtic.mil/databases/url/key.hts?keycode=2:2455&islowerlevel=1
  

up

Tables of derivatives & integrals

• http://www.math2.org/math/derivatives/tableof.htm, http://erdos.math.unb.ca/sections/integrals/,
• http://www.math2.org/math/integrals/tableof.htm, http://www.math.com/tables/integrals/tableof.htm