Safety-Critical Computing: Hazards, Practices, Standards, and Regulation

[1]  C. J. Karzmark,et al.  Some aspects of radiation safety for electron accelerators used for both x-ray and electron therapy. , 1967, The British journal of radiology.

[2]  R. J. Post.  Some considerations of interlocking and safety circuits for radiotherapy apparatus , 1971 .

[3]  C. J. Karzmark,et al.  Electron linear accelerators for radiation therapy: history, principles and contemporary developments. , 1973, Physics in medicine and biology.

[4]  Lawrence Yelowitz,et al.  Observations of Fallibility in Applications of Modern Programming Methodologies , 1976, IEEE Transactions on Software Engineering.

[5]  Brian Randell,et al.  Software Engineering: As it was in 1968 , 1979, ICSE.

[6]  John E. Aldrich,et al.  Radiation protection aspects of a new high-energy linear accelerator. , 1985 .

[7]  Nathan H. Petschenik.  Practical Priorities in System Testing , 1985, IEEE Software.

[8]  J. Diamond,et al.  The need for complex technology in radiation oncology. Correlations of facility characteristics and structure with outcome , 1985, Cancer.

[9]  David Lorge Parnas,et al.  A rational design process: How and why to fake it , 1986, IEEE Transactions on Software Engineering.

[10]  Nancy G Leveson,et al.  Software safety: why, what, and how , 1986, CSUR.

[11]  Tony Hoare,et al.  Maths Adds Safety to Computer Programs , 1986 .

[12]  C. R. Spitzer.  All-digital jets are taking off: Aboard developmental commercial and military aircraft, digital electronics score high in compactness, control flexibility, and reliability , 1986, IEEE Spectrum.

[13]  P. J. Traverse,et al.  Safe and Reliable Computing on Board the Airbus and ATR Aircraft , 1986 .

[14]  C. A. R. Hoare,et al.  An Overview of Some Formal Methods for Program Design , 1987, Computer.

[15]  Ronald K. Jurgen.  Whatever happened to superconducting generators? , 1987, IEEE Spectrum.

[16]  C. J. Karzmark,et al.  Procedural and operator error aspects of radiation accidents in radiotherapy. , 1987, International journal of radiation oncology, biology, physics.

[17]  N Leveson.  A scary tale—Sperry avionics module-testing bites the dust? , 1987, SOEN.

[18]  R. K. Jurgen.  Detroit '88: Driver-friendly innovations: Car handling, riding comfort, and safety improve with systems that act automatically rather than wait for driver input , 1987, IEEE Spectrum.

[19]  Ed Joyce,et al.  Software bugs: a matter of life and liability , 1987 .

[20]  J. Voelcker.  Electronics puts its foot on the gas , 1988, IEEE Spectrum.

[21]  E.E. Murphy.  All aboard for solid state (train control system) , 1988, IEEE Spectrum.

[22]  G E Hanks,et al.  The structure of radiation oncology practices in the continental United States. , 1988, International journal of radiation oncology, biology, physics.

[23]  Maurice Naftalin.  Correctness for Beginners , 1988, VDM Europe.

[24]  A. Cohn.  The notion of proof in hardware verification , 1989 .

[25]  N. Dellsie,et al.  A formal specification of an oscilloscope , 1990, IEEE Software.

[26]  David Lorge Parnas,et al.  Education for computing professionals , 1990, Computer.

[27]  Kiem-Phong Vo.  IFS: a tool to build application systems , 1990, IEEE Software.

[28]  Donald MacKenzie,et al.  The fangs of the VIPER , 1991, Nature.

[29]  John Rushby,et al.  Formal verification of algorithms for critical systems , 1991 .

[30]  Steven M. Dauber.  Finding fault , 1991 .

[31]  David Lorge Parnas,et al.  Assessment of safety-critical software in nuclear power plants , 1991 .

[32]  E Marshall,et al.  Fatal error: how patriot overlooked a scud. , 1992, Science.

[33]  Peter G. Neumann.  Illustrative risks to the public in the use of computer systems and related technology , 1992, SOEN.

[34]  Lauren Wiener.  A trip report on SIGSOFT '91 , 1992, SOEN.

[35]  Jonathan P. Bowen,et al.  Safety-critical systems, formal methods and standards , 1993, Softw. Eng. J..

[36]  R. C. Bamford,et al.  Standards-comparing, contrasting ISO 9001 and the SEI capability maturity model , 1993 .

[37]  David A. Carrington,et al.  Test template framework: a specification-based testing case study , 1993, ISSTA '93.

[38]  Richard C. Linger,et al.  Cleanroom software engineering for zero-defect software , 1993, Proceedings of 1993 15th International Conference on Software Engineering.

[39]  Nancy G. Leveson,et al.  An investigation of the Therac-25 accidents , 1993, Computer.

[40]  Dan Craigen,et al.  Experience with formal methods in critical systems , 1994, IEEE Software.

[41]  W. Wayt Gibbs,et al.  Software's Chronic Crisis , 1994 .

[42]  Case study: Darlington nuclear generating station [software-driven shutdown systems] , 1994, IEEE Software.

[43]  Robert L. Glass,et al.  Science and substance: a challenge to software engineers , 1994, IEEE Software.

[44]  D. Craigen,et al.  Case study: Paris Metro Signaling System , 1994, IEEE Software.