Experiences using lightweight formal methods for requirements modeling

IEEE Transactions on Software Engineering

Volumn 24, Issue 1, 1998, Pages 4-14

  Easterbrook, Steve ^a,b   Lutz, Robyn ^a,b   Covington, Richard ^a,b  

^a NASA HEADQUARTERS   (United States)

^b CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Fault protection software; Formal methods; NASA; Software requirements; Verification and validation

Indexed keywords

EID: 33747365024     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.663994     Document Type: Article

References (27)

1. N.G. Leveson, Safeware: System Safety and Computers. Reading, Mass: Addison-Wesley, 1995.
2. B.W. Boehm, Software Eng. Economics. Englewood Cliffs, N.J.: Prentice Hall, 1981.
3. R.R. Lutz, Analyzing Software Requirements Errors in Safety-Critical, Embedded Systems, Proc. IEEE Int'l Symp. Requirements Eng., San Diego, Calif., Jan. 1993.
4. J.C. Kelly, J.S. Sherif, and J. Hops, An Analysis of Defect Densities Found During Software Inspections, J. Systems and Software, vol. 17, pp. 111-117, 1992.
5. J. Crow, Finite-State Analysis of Space Shuttle Contingency Guidance Requirements, Technical Report SRI-CSL-95-17, Computer Science Laboratory, SRI International, Menlo Park, Calif., 1995.
6. J. Crow and B.L. Di Vito, Formalizing Space Shuttle Software Requirements, Workshop Formal Methods in Software Practice (FMSP '96), San Diego, Calif., Jan. 1996.
7. B.L. Di Vito, Formalizing New Navigation Requirements for NASA's Space Shuttle, Proc. Formal Methods Europe (FME '96), Oxford, England, Mar. 1996.
8. J.L. Lions, ARIANE 5 Flight 501 Failure: Report by the Enquiry Board, European Space Agency, Paris 1996.
9. J. Rushby, Formal Methods and Their Role in the Certification of Critical Systems, Technical Report CSL-95-1, Computer Science Laboratory, SRI International, Menlo Park, Calif., 1995.
10. A.C.W. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh, Inconsistency Handling in Multi-Perspective Specifications, IEEE Trans Software Eng., vol. 20, pp. 569-578, 1994.
11. D. Hamilton, R. Covington, and J.C. Kelly, Experiences in Applying Formal Methods to the Analysis of Software and System Requirements, Proc. IEEE Workshop Industrial-Strength Formal Specification Techniques (WIFT '95), Boca Raton, Fla., Apr. 1995.
12. R.W. Butler, J.L. Caldwell, V.A. Carreno, C.M. Holloway, P.S. Miner, and B.L. Di Vito, NASA Langley's Research and Technology Transfer Program in Formal Methods, Proc. 10th Ann. Conf. Computer Assurance (COMPASS 95), Gaithersburg, Md., June 1995.
13. D. Hamilton, R. Covington, and A. Lee, An Experience Report on Requirements Reliability Engineering Using Formal Methods, IEEE Int'l Conf. Software Reliability Eng., France, Oct. 1995.
14. S. Easterbrook and J. Callahan, Formal Methods for V&V of Partial Specifications: An Experience Report, Proc., Third IEEE Symp. Requirements Eng. (RE'97), Annapolis, Md., Jan. 1997.
15. Y. Ampo and R.R. Lutz, Evaluation of Software Safety Analysis using Formal Methods, Proc. Foundation of Software Eng. '95, Hamana-ko, Japan, Dec. 1995.
16. NASA, Formal Methods Specification and Verification Guidebook for Software and Computer Systems. Vol. 1: Planning and Technology Insertion, Report NASA-GB-002-95, NASA Office of Safety and Mission Assurance, Washington D.C., 1995.
17. NASA, Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems. Vol. 2: A Practitioner's Companion, Report NASA-GB-001-97, NASA Office of Safety and Mission Assurance, Washington D.C., 1997.
18. S. Owre, J. Rushby, N. Shankar, and F. von Henke, Formal Verification for Fault Tolerant Architectures: Prolegomena to the Design of PVS, IEEE Trans. Software Eng., vol. 21, pp. 107-125, 1995.
19. C.L. Heitmeyer, B. Labaw, and D. Kiskis, Consistency Checking of SCR-Style Requirements Specifications, Proc. Second IEEE Symp. Requirements Eng., York, U.K., Mar. 1995.
20. M. Heimdahl and N. Leveson, Completeness and Consistency Analysis of State-Based Requirements, IEEE Trans. Software Eng., vol. 22, pp. 363-377, 1996.
21. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen, Object-Oriented Modeling and Design. Prentice Hall, 1991.
22. S. Easterbrook and J. Callahan, Independent Validation of Specifications: A Coordination Headache, Proc., IEEE Fifth Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'96), Stanford, Calif., June 1996.
23. G.J. Holtzmann, Design and Validation of Computer Protocols. Prentice Hall, 1991.
24. A. Hall, Using Formal Methods to Develop an ATC Information System, IEEE Software, vol. 13, pp. 66-76, 1996.
25. D. Craigen, S.L. Gerhart, and T. Ralston, Formal Methods Reality Check: Industrial Usage, IEEE Trans. Software Eng., vol. 21, pp. 90-98, 1995.
26. R.A. Kemmerer, Integrating Formal Methods into the Development Process, IEEE Software, vol. 7, pp. 37-50, 1990.
27. P.G. Larsen, J. Fitzgerald, and T. Brookes, Applying Formal Specification in Industry, IEEE Software, vol. 13, pp. 48-56, 1996.