SCR: a toolset for specifying and analyzing requirements

Abstract

A set of CASE tools is described for developing formalrequirements specifications expressed in the SCR(Software Cost Reduction) tabular notation. The toolsinclude an editor for building the specifications, a consistencychecker for testing the specifications for consistencywith a formal requirements model, a simulatorfor symbolically executing the specifications, and averifier for checking that the specifications satisfy selectedapplication properties. As background, the SCRmethod for...

Keywords

This publication has 15 references indexed in Scilit:

Documentation for safety critical software
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
MT: A toolset for specifying and analyzing real-time systems
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
Consistency checking of SCR-style requirements specifications
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
The generalized railroad crossing: a case study in formal verification of real-time systems
Published by Institute of Electrical and Electronics Engineers (IEEE) ,1994
Consistency Checks for SCR-Style Requirements Specifications
Published by Defense Technical Information Center (DTIC) ,1993
Targeting safety-related errors during software requirements analysis
Published by Association for Computing Machinery (ACM) ,1993
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems, 1986
A security model for military message systems
ACM Transactions on Computer Systems, 1984
Abstract requirements specification: A new approach and its application
IEEE Transactions on Software Engineering, 1983
Specifying Software Requirements for Complex Systems: New Techniques and Their Application
IEEE Transactions on Software Engineering, 1980