Software safety in embedded computer systems

[1]  David F. McAllister,et al.  An Experimental Evaluation of Software Redundancy as a Strategy For Improving Reliability , 1991, IEEE Trans. Software Eng..

[2]  Nancy G. Leveson,et al.  Software Requirements Analysis for Real-Time Process-Control Systems , 1991, IEEE Trans. Software Eng..

[3]  T. Anderson.  Kernels for Safety ? , 1989 .

[4]  Nancy G. Leveson,et al.  Safety verification in MURPHY using fault tree analysis , 1988, Proceedings. [1989] 11th International Conference on Software Engineering.

[5]  Jean-Claude Laprie.  The Dependability Approach to Critical Computing Systems , 1987, ESEC.

[6]  JoyceEd.  Software bugs: a matter of life and liability , 1987 .

[7]  Nancy G. Leveson,et al.  Safety Analysis Using Petri Nets , 1987, IEEE Transactions on Software Engineering.

[8]  Peter G. Neumann,et al.  Some Computer-Related Disasters and Other Egregious Horrors , 1986, IEEE Aerospace and Electronic Systems Magazine.

[9]  Aloysius K. Mok,et al.  Safety analysis of timing properties in real-time systems , 1986, IEEE Transactions on Software Engineering.

[10]  Michael Allan Friedman.  Modeling the penalty costs of software failure , 1986 .

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

[12]  Nancy G. Leveson.  Building safe software , 1986 .

[13]  Nancy G. Leveson,et al.  An experimental evaluation of the assumption of independence in multiversion programming , 1986, IEEE Transactions on Software Engineering.

[14]  Dave E. Eckhardt,et al.  A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors , 1985, IEEE Transactions on Software Engineering.

[15]  Algirdas Avizienis,et al.  Fault Tolerance by Design Diversity: Concepts and Experiments , 1984, Computer.

[16]  Nancy G. Leveson,et al.  Analyzing Software Safety , 1983, IEEE Transactions on Software Engineering.

[17]  Sol W. Malasky.  System safety : technology and application , 1982 .

[18]  C. L. Smith,et al.  Digital computer process control , 1972 .

[19]  A. E. Hidden,et al.  Computer control in process industries , 1971 .