DTIC ADA046572: REVS Users Manual. SREP Final Report. Volume II.Report as inadecuate




DTIC ADA046572: REVS Users Manual. SREP Final Report. Volume II. - Download this document for free, or read online. Document in PDF available to download.

Download or read this book online for free in PDF: DTIC ADA046572: REVS Users Manual. SREP Final Report. Volume II.
This manual describes and provides instructions for using the Requirements Statement Language (RSL) and the Requirements Engineering and Validation System (REVS). RSL is a flow oriented language for stating software requirements in a clear, non-ambibiguous form. REVS includes a translator for RSL, a data base for maintaining the description of a sy

Author: Defense Technical Information Center

Source: https://archive.org/


Teaser



REVS USERS MANUAL SREP FINAL REPORT - VOLUME II CDRL C005 1 AUGUST 1977 Principal Authors: M.
E.
Dyer L.
J.
Gunther R.
W.
Smith W.
E.
Benoit P.
N.
Bergstresser D.
C.
Blxler W.
G.
Heckler G.
C. Hitt D.
E.
McQueen (AIC) Approved By: Software Requirements Engineering Program M.
C.
Dyer,Manager SREP Software and Language Development Japes E.
Long, Manager Huntsville Facility Prepared For BALLISTIC MISSILE DEFENSE ADVANCED TECHNOLOGY CENTER DASG60-75-C-0022 TRW DEFENSE AND SPACE SYSTEMS GPOUP Huntsville, Alabama RECORD OF REVISIONS TABLE OF CONTENTS Section 1.0 2.0 3.0 T Title Page INTRODUCTION 1-1 OVERVIEW OF RSL AND REVS 2-1 2.1 REQUIREMENTS NETWORKS (R_NETS) 2-3 2.2 REQUIREMENTS STATEMENT LANGUAGE (RSL) 2-7 2.3 REQUIREMENTS ENGINEERING AND VALIDATION SYSTEM (REVS) 2-9 REQUIREMENTS STATEMENT LANGUAGE 3-1 3.1 DATA SEGMENT 3-3 3.1.1 Data and Hierarchies 3-3 3.1.2 Files 3-4 3.1.3 Interfaces and Messages 3-5 3.1.4 Entity Types and Entity Classes 3-6 3.1.5 Data and File Uniqueness 3-7 3.1.6 Locality 3-10 3.1.7 Typing and Usage 3-11 3.1.8 Values 3-12 3.1.9 Summary of Data Segment Concepts 3-12 3.2 ALPHA SEGMENT 3-21 3.2.1 Executable Descriptions 3-21 3.2.2 Referencing Data 3-21 3.2.3 Accessing Files 3-22 3.2.4 Accessing Entities 3-24 3.2.5 Operations on Entities and Messages 3-24 3.2.6 Summary of Alpha Segment Concepts 3-24 3.3 REQUIREMENTS NETWORK SEGMENT 3-27 3.3.1 Top-Down Flow Specification 3-27 3.3.2 Enablement 3-27 3.3.3 Structure 3-28 3.3.4 Summary of Requirements Network Segment Concepts 3-34 3.4 VALIDATION SEGMENT 3-37 3.4.1 Validation Points 3-37 3.4.2 Validation Paths 3-38 3.4.3 Stimulus-Response Timing Requirements 3-38 3.4.4 Analytic Performance and Non-StimulusResponse-Timing Requirements 3-40 3.4.5 Summary of Validation Segment Concepts .
3-41 v TABLE OF CONTENTS (Continued) Section Title Page 3.5 MANAGEMENT SEGMENT 3-43 3.5.1 Configuration Management 3-43 3.5.2 Traceability 3-43 3.5.3 Decisions 3-44 3.5.4 Source Material 3-44 3.5.5 Syn...





Related documents