Automatically assigned DDC number: 005115

Manually assigned DDC number: 005131

Number of references: 8

Title: Applying the SCR Requirements Method to a Simple Autopilot

Author:

Author:

Subject: Ramesh Bharadwaj,Constance Heitmeyer Applying the SCR Requirements Method to a Simple Autopilot

Description: Although formal methods for developing computer systems have been available for more than a decade, few have had significant impact in practice. A major barrier to their use is that developers find formal methods difficult to understand and apply. One exception is a formal method called SCR for specifying computer system requirements which, due to its easy-to-use tabular notation and demonstrated scalability, has achieved some success in industry. To demonstrate and evaluate the SCR method and tools, we recently used SCR to specify the requirements of a simplified mode control panel for the Boeing 737 autopilot. This paper presents the SCR requirements specification of the autopilot, outlines the process we used to create the SCR specification from a prose description, and discusses the problems and questions that arose in developing the specification. Formalizing and analyzing the requirements specification in SCR uncovered a number of problems with the original prose description, suc...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1997-07-22

Pubyear: 1997

Format: ps

Identifier: http://citeseer.ist.psu.edu/191079.html

Source: http://www.itd.nrl.navy.mil/ITD/5540/publications/CHACS/1997/1997bharadwaj-NASA.ps

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/157684.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   International   Workshop   on   Hybrid   and   RealTime   Systems   HART97"   CiteSeer_Volume=""   Title="Verifying   Hybrid   Systems   Modeled   as   Timed   Automata:   {A}   Case   Study,">

            <identifier   Org="ISBN:0792383168"   Paper_ID="/157684.html"   Extracted="0792383168"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0817642072"   Paper_ID="/157684.html"   Extracted="0817642072"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:158113262X"   Paper_ID="/157684.html"   Extracted="158113262X"   />

            <identifier   Org="ISBN:354062600X"   Paper_ID="/157684.html"   Extracted="354062600X"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540627170"   Paper_ID="/157684.html"   Extracted="3540627170"   />

            <identifier   Org="ISBN:3540633790"   Paper_ID="/157684.html"   Extracted="3540633790"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540638881"   Paper_ID="/157684.html"   Extracted="3540638881"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540643583"   Paper_ID="/157684.html"   Extracted="3540643583"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540648968"   Paper_ID="/157684.html"   Extracted="3540648968"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.14285714285714285"   />

      </rec>

      <rec   ID="/313186.html"   Type="inproceedings"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="State-Based   Model   Checking   of   Event-Driven   System   Requirements,">

            <identifier   Org="ISBN:0120121433"   Paper_ID="/313186.html"   Extracted="0120121433"   />

            <identifier   Org="ISBN:0780339800"   Paper_ID="/313186.html"   Extracted="0780339800"   />

            <identifier   Org="ISBN:0780365992"   Paper_ID="/313186.html"   Extracted="0780365992"   />

            <identifier   Org="ISBN:0818670177"   Paper_ID="/313186.html"   Extracted="0818670177"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0818679719"   Paper_ID="/313186.html"   Extracted="0818679719"   />

            <identifier   Org="ISBN:3540304924"   Paper_ID="/313186.html"   Extracted="3540304924"   DDC="004.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540418652"   Paper_ID="/313186.html"   Extracted="3540418652"   DDC="004.2/11"   Normalized_DDC="004211"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354043738X"   Paper_ID="/313186.html"   Extracted="354043738X"   DDC="005.1/0285"   Normalized_DDC="00510285"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540439307"   Paper_ID="/313186.html"   Extracted="3540439307"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540604065"   Paper_ID="/313186.html"   Extracted="3540604065"   />

            <identifier   Org="ISBN:3540627170"   Paper_ID="/313186.html"   Extracted="3540627170"   />

            <identifier   Org="ISBN:3540631666"   Paper_ID="/313186.html"   Extracted="3540631666"   DDC="004.24015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540650709"   Paper_ID="/313186.html"   Extracted="3540650709"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540664637"   Paper_ID="/313186.html"   Extracted="3540664637"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540664998"   Paper_ID="/313186.html"   Extracted="3540664998"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540671021"   Paper_ID="/313186.html"   Extracted="3540671021"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540732292"   Paper_ID="/313186.html"   Extracted="3540732292"   />

            <identifier   Org="ISBN:3540789162"   Paper_ID="/313186.html"   Extracted="3540789162"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/103700.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Verifying   SCR   requirements   specifications   using   state   exploration,">

            <identifier   Org="ISBN:0130205842"   Paper_ID="/103700.html"   Extracted="0130205842"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:0780339800"   Paper_ID="/103700.html"   Extracted="0780339800"   />

            <identifier   Org="ISBN:0780357507"   Paper_ID="/103700.html"   Extracted="0780357507"   />

            <identifier   Org="ISBN:0818679719"   Paper_ID="/103700.html"   Extracted="0818679719"   />

            <identifier   Org="ISBN:3540627170"   Paper_ID="/103700.html"   Extracted="3540627170"   />

            <identifier   Org="ISBN:3540653848"   Paper_ID="/103700.html"   Extracted="3540653848"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540672826"   Paper_ID="/103700.html"   Extracted="3540672826"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/97006.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="An   Introduction   to   Requirements   Capture   Using   {PVS}:   Specification   of   a   Simple   Autopilot,">

            <identifier   Org="ISBN:0780339800"   Paper_ID="/97006.html"   Extracted="0780339800"   />

            <identifier   Org="ISBN:084938348X"   Paper_ID="/97006.html"   Extracted="084938348X"   DDC="629.135"   Normalized_DDC="629135"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:0849384419"   Paper_ID="/97006.html"   Extracted="0849384419"   DDC="629.135"   Normalized_DDC="629135"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:158113262X"   Paper_ID="/97006.html"   Extracted="158113262X"   />

            <identifier   Org="ISBN:3540627170"   Paper_ID="/97006.html"   Extracted="3540627170"   />

      </rec>

      <rec   ID="/543554.html"   Type="article"   CiteSeer_Book="Science   of   Computer   Programming"   CiteSeer_Volume="8"   Title="Statecharts:   {A}   Visual   Formalism   for   Complex   Systems,">

            <identifier   Org="ISBN:0387984305"   Paper_ID="/543554.html"   Extracted="0387984305"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0792384296"   Paper_ID="/543554.html"   Extracted="0792384296"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1402052626"   Paper_ID="/543554.html"   Extracted="1402052626"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1402062532"   Paper_ID="/543554.html"   Extracted="1402062532"   />

            <identifier   Org="ISBN:1558607021"   Paper_ID="/543554.html"   Extracted="1558607021"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540203036"   Paper_ID="/543554.html"   Extracted="3540203036"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540253335"   Paper_ID="/543554.html"   Extracted="3540253335"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354029189X"   Paper_ID="/543554.html"   Extracted="354029189X"   DDC="004.6/2"   Normalized_DDC="00462"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354043738X"   Paper_ID="/543554.html"   Extracted="354043738X"   DDC="005.1/0285"   Normalized_DDC="00510285"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540442529"   Paper_ID="/543554.html"   Extracted="3540442529"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540545638"   Paper_ID="/543554.html"   Extracted="3540545638"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540550925"   Paper_ID="/543554.html"   Extracted="3540550925"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540645829"   Paper_ID="/543554.html"   Extracted="3540645829"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540650032"   Paper_ID="/543554.html"   Extracted="3540650032"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540654933"   Paper_ID="/543554.html"   Extracted="3540654933"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540665889"   Paper_ID="/543554.html"   Extracted="3540665889"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540672613"   Paper_ID="/543554.html"   Extracted="3540672613"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540708804"   Paper_ID="/543554.html"   Extracted="3540708804"   />

            <identifier   Org="ISBN:3540728813"   Paper_ID="/543554.html"   Extracted="3540728813"   />

            <identifier   Org="ISBN:3540752080"   Paper_ID="/543554.html"   Extracted="3540752080"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

      </rec>

      <rec   ID="/185191.html"   Type="inproceedings"   CiteSeer_Book="RE95   Second   IEEE   International   Symposium   on   Requirements   Engineering"   CiteSeer_Volume=""   Title="Consistency   Checking   of   {SCR}-Style   Requirements   Specifications,">

            <identifier   Org="ISBN:0120121433"   Paper_ID="/185191.html"   Extracted="0120121433"   />

            <identifier   Org="ISBN:0769510868"   Paper_ID="/185191.html"   Extracted="0769510868"   DDC="620/.001/171"   Normalized_DDC="620001171"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0769517633"   Paper_ID="/185191.html"   Extracted="0769517633"   />

            <identifier   Org="ISBN:0780326814"   Paper_ID="/185191.html"   Extracted="0780326814"   />

            <identifier   Org="ISBN:0780333918"   Paper_ID="/185191.html"   Extracted="0780333918"   DDC="005.2/4"   Normalized_DDC="00524"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0780339800"   Paper_ID="/185191.html"   Extracted="0780339800"   />

            <identifier   Org="ISBN:078034863X"   Paper_ID="/185191.html"   Extracted="078034863X"   />

            <identifier   Org="ISBN:0780363957"   Paper_ID="/185191.html"   Extracted="0780363957"   DDC="629.135"   Normalized_DDC="629135"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0818670177"   Paper_ID="/185191.html"   Extracted="0818670177"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0818674458"   Paper_ID="/185191.html"   Extracted="0818674458"   DDC="658.5"   Normalized_DDC="6585"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0818677406"   Paper_ID="/185191.html"   Extracted="0818677406"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0818679719"   Paper_ID="/185191.html"   Extracted="0818679719"   />

            <identifier   Org="ISBN:0818680024"   Paper_ID="/185191.html"   Extracted="0818680024"   DDC="620/.0028"   Normalized_DDC="6200028"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:1566764858"   Paper_ID="/185191.html"   Extracted="1566764858"   DDC="658.5"   Normalized_DDC="6585"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540439307"   Paper_ID="/185191.html"   Extracted="3540439307"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:354061155X"   Paper_ID="/185191.html"   Extracted="354061155X"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540616489"   Paper_ID="/185191.html"   Extracted="3540616489"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540665382"   Paper_ID="/185191.html"   Extracted="3540665382"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

      </rec>

      <rec   ID="/430308.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Software   Engineering   and   Methodology"   CiteSeer_Volume="5"   Title="Automated   consistency   checking   of   requirements   specifications,">

            <identifier   Org="ISBN:0769510868"   Paper_ID="/430308.html"   Extracted="0769510868"   DDC="620/.001/171"   Normalized_DDC="620001171"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0780339800"   Paper_ID="/430308.html"   Extracted="0780339800"   />

            <identifier   Org="ISBN:0818677406"   Paper_ID="/430308.html"   Extracted="0818677406"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1402065841"   Paper_ID="/430308.html"   Extracted="1402065841"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1591403758"   Paper_ID="/430308.html"   Extracted="1591403758"   DDC="003.3"   Normalized_DDC="0033"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540201262"   Paper_ID="/430308.html"   Extracted="3540201262"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540421033"   Paper_ID="/430308.html"   Extracted="3540421033"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540439307"   Paper_ID="/430308.html"   Extracted="3540439307"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540627170"   Paper_ID="/430308.html"   Extracted="3540627170"   />

            <identifier   Org="ISBN:3540650032"   Paper_ID="/430308.html"   Extracted="3540650032"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540664637"   Paper_ID="/430308.html"   Extracted="3540664637"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540665382"   Paper_ID="/430308.html"   Extracted="3540665382"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540691472"   Paper_ID="/430308.html"   Extracted="3540691472"   />

            <identifier   Org="ISBN:3540740333"   Paper_ID="/430308.html"   Extracted="3540740333"   DDC="004.2"   Normalized_DDC="0042"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3642005926"   Paper_ID="/430308.html"   Extracted="3642005926"   />

      </rec>

      <rec   ID="/310156.html"   Type="article"   CiteSeer_Book="Science   of   Computer   Programming"   CiteSeer_Volume="25"   Title="Functional   Documents   for   Computer   Systems,">

            <identifier   Org="ISBN:079184255X"   Paper_ID="/310156.html"   Extracted="079184255X"   DDC="620/.00420285"   Normalized_DDC="62000420285"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1402079966"   Paper_ID="/310156.html"   Extracted="1402079966"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/310156.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:158113472X"   Paper_ID="/310156.html"   Extracted="158113472X"   DDC="005.452"   Normalized_DDC="005452"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1586030655"   Paper_ID="/310156.html"   Extracted="1586030655"   DDC="621.382"   Normalized_DDC="621382"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1591405076"   Paper_ID="/310156.html"   Extracted="1591405076"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540007024"   Paper_ID="/310156.html"   Extracted="3540007024"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540200835"   Paper_ID="/310156.html"   Extracted="3540200835"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540219897"   Paper_ID="/310156.html"   Extracted="3540219897"   DDC="005.117"   Normalized_DDC="005117"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540278826"   Paper_ID="/310156.html"   Extracted="3540278826"   DDC="004.13/1"   Normalized_DDC="004131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540290109"   Paper_ID="/310156.html"   Extracted="3540290109"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540408282"   Paper_ID="/310156.html"   Extracted="3540408282"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540421238"   Paper_ID="/310156.html"   Extracted="3540421238"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540441573"   Paper_ID="/310156.html"   Extracted="3540441573"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540606882"   Paper_ID="/310156.html"   Extracted="3540606882"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540627170"   Paper_ID="/310156.html"   Extracted="3540627170"   />

            <identifier   Org="ISBN:3540664629"   Paper_ID="/310156.html"   Extracted="3540664629"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540897615"   Paper_ID="/310156.html"   Extracted="3540897615"   />

            <identifier   Org="ISBN:9051994311"   Paper_ID="/310156.html"   Extracted="9051994311"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Applying   the   SCR   Requirements   Method   to   a   Simple   Autopilot">

            <identifier   Org="ISBN:0769511252"   Paper_ID="SELF"   Extracted="0769511252"   />

            <identifier   Org="ISBN:3540672826"   Paper_ID="SELF"   Extracted="3540672826"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="1.0"   />

            <identifier   Org="ISBN:3642005926"   Paper_ID="SELF"   Extracted="3642005926"   />

      </rec>

</references_metadata>