High Integrity Systems

• Health Care
• Security
• Safety
• Standards & Technology

Health Care

• Wallace, Dolores R., "Perspectives on the Use of COTS Software," Medical Device Software Conference, Proceedings of the 1996 HIMA Conference, Health Industry Manufacturers Association, Washington, DC 20005, June 1997.
• J. Poole, J. Barkley, K. Brady, A. Cincotta, W. Salamon, "Distributed Communication Methods and Role-Based Access Control for Use in Health Care Applications," NIST IR 5820, April, 1996.
• D.R. Wallace, L.M. Ippolito, and B.B. Cuthill, "Reference Information for the Software Verification and Validation Process," NIST SP 500-234, Gaithersburg, MD, 20899, April, 1996.
• J. Barkley, "Application Engineering in Health Care," Proceedings of the 2ed Annual CHIN Summit, June, 1995.

Security

• D.R. Kuhn, "Sources of Failure in the Public Switched Telephone Network", IEEE Computer Vol. 30, No. 4 (April, 1997).
• J. Barkley, "Reducing the Risks of Internet Connection and Use", CSL Bulletin, May 1994.
• J. Barkley, Editor, "Security in Open Systems," NIST Special Publication 800-7, July, 1994.
• D.R. Kuhn, P.N. Edfors, V. Howard, C. Caputo, T. Phillips, "Improving Public Switched Network Security in an Open Environment, IEEE Computer, Vol. 26, No. 8 (August, 1993.)
• K. Olsen, J. Barkley, "Issues in Transparent File Access," NIST Special Publication 500-186, April, 1991.
• D.R. Kuhn, "IEEE's POSIX: Making Progress," IEEE Spectrum, Dec., 1991.
• D.R. Kuhn and J.F. Dray, "Formal Specification and Verification of Control Software for Cryptographic Equipment," Proceedings, Annual Computer Security Applications Conference, IEEE Computer Society Press, 1990.
• Hankinson, Allen L., "Computer Assurance: Security, Safety, and Economics," COMPASS '89, IEEE publication, June 1989.
• D.R. Kuhn, "Generating Extended State Transitions from Structured Specifications for Process Control Systems," IEE/BCS Software Engineering Journal, September, 1989.

Safety

• Wallace, Dolores R. and Mark LaRoy Zimmerman, "The EFFective Manager Tool," NISTIR 6137, Gaithersburg, MD April 1998.
• Ippolito, Laura M., Wallace, Dolores R., Software Hazard Analysis, NIST-IR5589, January 1995.
• Binkley, David W., "C++ in Safety Critical Systems," NISTIR 5769, November 1995. postscript version
• D.R. Wallace, D.R. Kuhn, L.M. Ippolito, and L. Beltracchi, "Standards for High Integrity Software," Nuclear Safety, Vol. 35, No. 1, January-June, 1994.
• D.R. Wallace, B.B. Cuthill, L.M. Ippolito, and L. Beltracchi, "Proceedings of the Digital Systems Reliability and Nuclear Safety Workshop," NUREG/CP-0136 (also NIST SP 500-216), Nuclear Regulatory Commission, March, 1994.
• K.B. Gallagher and J.R. Lyle, "Using Program Slicing in Software Maintenance," IEEE Transactions on Software Engineering, Vol. 17, No. 8, August, 1991.
• Hankinson, Allen L., "Computer Assurance: Security, Safety, and Economics," COMPASS '89, IEEE publication, June 1989.

Standards and Technology

• Charles B. Weinstock, Software Engineering Institute, and Dolores R. Wallace, National Institute of Standards and Technology, RISQ: A Web-Based Tool for Referencing Information on Software Quality," NIST IR 5954, January 1997.
• Wallace, Dolores R., "Perspectives on the Use of COTS Software," Medical Device Software Conference, Proceedings of the 1996 HIMA Conference, Health Industry Manufacturers Association, Washington, DC 20005, June 1997.
• D. Wallace and M. Zelkowitz, "Center for High Integrity Software System Assurance," Second IFAC Workshop on Safety and Reliability for Emerging Control Technologies, Pergamon/Elsevier Science, Oxford, 1996, ISBN 0-08-042610-7.
• D.R. Wallace and M. Zelkowitz, "Center for High Integrity Software System Assurance - Initial Goals and Activities," NIST IR 5677, June, 1995.
• B.P. Danner, L.M. Ippolito, and D.R. Wallace, "COMPASS '95, Tenth Annual Conference on Computer Assurance," Journal of Research of the National Institute of Standards and Technology, September-October, 1995.
• D.R. Kuhn, W.J. Majurski, W. McCoy, F. Schulz, "Open Systems Software Standards in Concurrent Engineering," (postscript version) in Control and Dynamic Systems - Concurrent Engineering Techniques and Applications, Academic Press, 1994.
• D.R. Wallace and R.J. Martin, "A Perspective on Software Engineering Standards," NIST IR 5546, December, 1994.
• D.R. Wallace, D.R. Kuhn, T.R. Rhodes, "Report on the Advanced Software Technology Workshop February 1, 1994," NIST IR 5500, August, 1994.
• D.R. Wallace, D.R. Kuhn, L.M. Ippolito, and L. Beltracchi, "Standards for High Integrity Software," Nuclear Safety, Vol. 35, No. 1, January-June, 1994.
• L.M. Ippolito, D.R. Wallace, and E.B. Lennon, "COMPASS '94, Ninth Annual Conference on Computer Assurance," Journal of Research of the National Institute of Standards and Technology, November-December, 1994.
• D.R. Wallace and E.B. Lennon, "COMPASS '93, Eighth Annual Conference on Computer Assurance," Journal of Research of the National Institute of Standards and Technology, July-August, 1993.
• D.R. Wallace, and L. Beltracchi, "Standards for High Integrity Software," 20th Water Safety Reactor Meeting, Nuclear Regulatory Commission, Washington, DC 20555, October, 1992.
• D.R. Wallace, L.M. Ippolito, and D.R. Kuhn, "High Integrity Software Standards and Guidelines" (pdf), NIST SP 500-204, National Institute of Standards and Technology, Gaithersburg, MD, 20899, September, 1992.
• D.R. Wallace, L.M. Ippolito, and D.R. Kuhn, "High Integrity Software Standards and Guidelines" (pdf), NUREG/CR-5930, Nuclear Regulatory Commission, Wasington, DC, 20555, September, 1992.
• D.R. Wallace, D.R. Kuhn, and L.M. Ippolito, "An Analysis of Selected Software Safety Standards," COMPASS '92, Computer Assurance Conference, National Institute of Standards and Technology, Gaithersburg, MD, 20899, June, 1992.
• D.R. Wallace, D.R. Kuhn, L.M. Ippolito, and L. Beltracchi, "An Analysis of Standards for the Assurance of High Integrity Software," International Symposium on Nuclear Power Plant Instrumentation and Control, Tokyo, Japan,May, 1992.
• J.C. Cherniavsky, D.R. Kuhn and D.R. Wallace, "High Integrity Software Standards Activities at NIST," Proceedings, Pacific Northwest Software Quality Conference, October, 1991.
• D.R. Wallace, D.R. Kuhn, and J.C. Cherniavsky, "Proceedings of the Workshop on High Integrity Software: Gaithersburg, MD: Jan.22-23, 1991," NIST SP 500-190, August, 1991.
• D.R. Wallace, M. Brown, and A. McKinlay, "Proceedings for High Integrity Software (DOD, Government, Industry); Gaithersburg, MD; June 28, 1991," NIST IR 4656, August, 1991.
• D.R. Wallace, D. R. Kuhn and J. C. Cherniavsky, "Report on a Workshop on the Assurance of High Integrity Software," COMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance, IEEE Computer Society Press, 1991.
• D. R. Kuhn, "On the Effective Use of Software Standards in Systems Integration", Proceedings, First Intl. Conference on Systems Integration, IEEE Computer Society Press, 1990.
• D.R. Wallace and R.U. Fujii, "Software Verification and Validation : Its Role in Computer Assurance and Its Relationship with Software Project Management Standards," NIST SP 500-165, May, 1989.
• FIPS 132, "Guideline for Software Verification and Validation Plans," adoption of IEEE Sd. 1012-1986, Standard for Software Verification and Validation Plans, November 19, 1987.
• T. Daughtrey, R.U. Fujii, and D.R. Wallace, "Case History: Development of a Software Engineering Standard," Proceedings, IEEE Computer Standards Conference, IEEE Computer Society Press, May, 1986.
• D.R. Wallace, "Federal Software Engineering Standards Program," Proceedings, Pharmaceutical Manufacturer's Association Computer Validation Conference, April, 1986.
• D.R. Wallace and R.J. Martin, "NBS Guidance on Software Testing," Proceedings, IEEE Computer Standards Conference, IEEE Computer Society Press, May, 1986.
• Fujii, R.U., D.R. Wallace, and M. Edwards, "Status: Draft of the Proposed IEEE Standard for Software Verification and Validation Plans(P1012)," Phoenix Conference on Computers and Communications 1985 Conference Proceedings, IEEE Computer Society Press, IEEE Catalog No. 85CH2154-3, March 1985.
• R.U. Fujii, D.R. Wallace and M. Edwards, "A Report on the Status of the Development of the IEEE Standard for Software Verification Plans (P1012)," IEEE SESAW, IEEE Computer Society Press, October, 1984.
• Contributor, "Guideline for Lifecycle Validation, Verification and Testing of Computer Software," Federal Information Processing Standards, FIPS PUB101, National Bureau of Standards, June, 1983.