Proceedings of the Workshop on High Integrity Software; Gaithersburg, MD; Jan. 22-23, 1991 | NIST

This paper provides information related to the National Institute of Standards and Technology (NIST) effort to coordinate an effort to produce a comprehensive set of standards and guidelines for the assurance of high integrity software. The effort may include adapting or adopting existing standards as appropriate. In particular, the paper presents the results of a Workshop on the Assurance of High Integrity Software held at NIST on January 22-23, 1991. Workshop participants addressed techniques, costs and benefits of assurance, controlled and encouraged practices, and hazard analysis. A preliminary set of recommendations was prepared and future directions for NIST activities in this area were proposed.

[1]  Alexander Borgida,et al.  Features Of Languages for the Development of Information Systems at the conceptual Level , 1985, IEEE Software.

[2]  David Lorge Parnas,et al.  Using traces to write abstract specifications for software modules , 1977 .

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

[4]  Standard Glossary of Software Engineering Terminology , 1990 .

[5]  Herbert Hecht.  Figure of Merit for Fault-Tolerant Space Computers , 1973, IEEE Transactions on Computers.

[6]  Stanislaw Budkowski,et al.  An Introduction to Estelle: A Specification Language for Distributed Systems , 1987, Comput. Networks.

[7]  Krishna Kant,et al.  Software fault tolerance in real-time systems , 1987, Inf. Sci..

[8]  Ralph Howard,et al.  Data encryption standard , 1987 .

[9]  James H. Burrows.  Guidelines for Security of Computer Applications , 1980 .

[10]  James H. Burrows.  Guideline for Computer Security Certification and Accreditation , 1983 .

[11]  John McLean,et al.  A Formal Method for the Abstract Specification of Software , 1984, JACM.

[12]  Victor R. Basili,et al.  Software development: a paradigm for the future , 1989, [1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference.

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

[14]  Richard A. Kemmerer,et al.  Integrating formal methods into the development process , 1990, IEEE Software.

[15]  Watts S. Humphrey,et al.  A method for assessing the software engineering capability of contractors , 1987 .

[16]  Harlan D. Mills,et al.  Cleanroom Software Engineering , 1987, IEEE Software.

[17]  Dolores R. Wallace,et al.  Software Verification and Validation: Its Role in Computer Assurance and Its Relationship with Software Project Management Standards , 1989 .

[18]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..