A logic-model semantics for SCR software requirements

Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996

Volumn , Issue , 1996, Pages 280-292

  Atlee, Joanne M ^a   Buckley, Michael A ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

Author keywords

formal semantics; model checking; reactive systems; software requirements

Indexed keywords

COMPUTER CIRCUITS; COMPUTER CONTROL; COST REDUCTION; CRUISE CONTROL; FORMAL METHODS; REQUIREMENTS ENGINEERING; SEMANTICS; SOFTWARE TESTING;

EVENT-DRIVEN SYSTEM; FORMAL SEMANTICS; INVARIANT PROPERTIES; REACTIVE SYSTEM; REQUIREMENTS SPECIFICATIONS; SOFTWARE COST REDUCTIONS; SOFTWARE REQUIREMENTS; SYMBOLIC MODEL VERIFIERS;

MODEL CHECKING;

EID: 84890056595     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/229000.226326     Document Type: Conference Paper

References (17)

1. T. Alspaugh, S. Faulk, K. Britton, R. Parker, D. Parnas, and J. Shore. Software Requirements for the A-7E Aircraft. Technical report, Naval Research Laboratory, March 1988.
2. J. Atlee. Automated Analysis of Software Requirements. PhD thesis, Department of Computer Science, University of Maryland, 1992.
3. J. Atlee and J. Gannon. "State-Based Model Checking of Event-Driven System Requirements". IEEE Transactions on Software Engineering, 19(1):24-40, January 1993.
4. M. Browne. Automatic Verification of Finite State Machines Using Temporal Logic. PhD thesis, Department of Computer Science, Carnegie Mellon University, 1989.
5. J. Butch, E. Clarke, K. McMillan, D. Dill, and J. Hwang. "Symbolic Model Checking: 1020 States and Beyond". In Proceedings of the 5th Annual Symposium on Logic in Computer Science, pages 428-439, June 1990.
6. E. Clarke, E. Emerson, and A. Sistla. "Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications". ACM Transactions on Programming Languages and Systems, 8(2):244-263, April 1986.
7. D. Harel. "Statecharts: A Visual Formalism for Complex Systems". Science of Computer Programming, 8:231-274, 1987.
8. C. Heitmeyer. "Tools for Analyzing Requirements: A Formal Fpundation", December 1994. Presented at the Fourth International SCR Workshop.
9. C. Heitmeyer. Private communications, September 1995.
10. C. Heitmeyer, B. Labaw, and D. Kiskis. "Consistency Checking of SCR-Style Requirements Specifications". In Proceedings of the 2nd IEEE International Symposium on Requirements Engineering, pages 56-65, March 1995.
11. K. Heninger. "Specifying Software Requirements for Complex Systems: New Techniques and Their Applications". IEEE Transactions on Software Engineering, SE-6(1):2-12, January 1980.
12. J. Hofcroft and J. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley Publishing Co., 1979.
13. J. Kirby. Example NRL/SCR Software Requirements for an Automobile Cruise Control and Monitoring System. Technical Report TR-87-07, Wang Institute of Graduate Studies, July 1987.
14. N.G. Leveson, M.P.E. Heimdahl, H. Hildreth, and J.D. Reese. "Requirements Specification for Process-Control Systems". IEEE Transactions on Software Engineering, 20(9):684-707, September 1994.
15. K. McMillan. Symbolic Model Checking: An approach to the state explosion problem. PhD thesis, School of Computer Science, Carnegie Mellon University, 1992.
16. D. Parnas and J. Madey. Functional Documentation for Computer Systems Engineering (Version 2). Technical Report CRL Report 237, Department of Electrical and Computer Engineering, Mc-Master University, 1991.
17. J. van Schouwen. The A-7 Requirements Model: Re-examination for Real-Time Systems and an Application to Monitoring Systems. Technical Report TR-90-276, Department of Computing and Information Science, Queen's University, Kingston, Ontario, May 1990.