Scribd Logo
Upload

Welcome to Scribd!

  • 322 views

    Software Development Toolset

    Uploaded by

    U.S. Naval Research Laboratory
    The Naval Research Laboratory (NRL) has developed a powerful, easy-to-use suite of tools to support the development of software that meets its requirements and performs as specified. Based on a scalable tabular notation for representing requirements, the toolset can assist in creating a specification, checking specifications for consistency, validating a specification, and verifying that a specification satisfies critical properties, such as safety and security properties. The suite includes a graphical interface for simulating applications, which aids in evaluation by actual system users, e.g., pilots or system operators. NRL Technology Transfer Office http://www.nrl.navy.mil/techtransfer/fs.php?fs_id=IT02 Naval Research Laboratory website http://www.nrl.navy.mil

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd

    Software Development Toolset

    Uploaded by

    U.S. Naval Research Laboratory
    322 views1 page
    The Naval Research Laboratory (NRL) has developed a powerful, easy-to-use suite of tools to support the development of software that meets its requirements and performs as specified. Based on a scalable tabular notation for representing requirements, the toolset can assist in creating a specification, checking specifications for consistency, validating a specification, and verifying that a specification satisfies critical properties, such as safety and security properties. The suite includes a graphical interface for simulating applications, which aids in evaluation by actual system users, e.g., pilots or system operators. NRL Technology Transfer Office http://www.nrl.navy.mil/techtransfer/fs.php?fs_id=IT02 Naval Research Laboratory website http://www.nrl.navy.mil

    Copyright

    © Attribution Non-Commercial (BY-NC)

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    The Naval Research Laboratory (NRL) has developed a powerful, easy-to-use suite of tools to support the development of software that meets its requirements and performs as specified. Based on a scalable tabular notation for representing requirements, the toolset can assist in creating a specification, checking specifications for consistency, validating a specification, and verifying that a specification satisfies critical properties, such as safety and security properties. The suite includes a graphical interface for simulating applications, which aids in evaluation by actual system users, e.g., pilots or system operators. NRL Technology Transfer Office http://www.nrl.navy.mil/techtransfer/fs.php?fs_id=IT02 Naval Research Laboratory website http://www.nrl.navy.mil

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd
    Download as pdf or txt
    322 views1 page

    Software Development Toolset

    Uploaded by

    U.S. Naval Research Laboratory
    The Naval Research Laboratory (NRL) has developed a powerful, easy-to-use suite of tools to support the development of software that meets its requirements and performs as specified. Based on a scalable tabular notation for representing requirements, the toolset can assist in creating a specification, checking specifications for consistency, validating a specification, and verifying that a specification satisfies critical properties, such as safety and security properties. The suite includes a graphical interface for simulating applications, which aids in evaluation by actual system users, e.g., pilots or system operators. NRL Technology Transfer Office http://www.nrl.navy.mil/techtransfer/fs.php?fs_id=IT02 Naval Research Laboratory website http://www.nrl.navy.mil

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd
    Download as pdf or txt
    of 1

    R

    ES

    EARCH LA B

    AL

    NAVAL RESEARCH LABORATORY


    TECHNOLOGY TRANSFER OFFICE

    R
    AT

    NAV

    ORY

    AS

    HINGTO

    N,

    SOFTWARE DEVELOPMENT TOOLSET


    Advantages/Features Automatically finds inconsistencies in software specifications Can be used to produce a rapid prototype of the system Saves time and cost by identifying errors early in the software development process Supports the construction of graphical interfaces useful for validation by an application expert Most tools are easy to use; no formal expertise is required Applications Graphical interface for simulating the behavior of an aircraft and for detecting a safety violation Critical infrastructure management (e.g. nuclear power and water treatment) Automotive (e.g., brakes, windows and doors, windshield wipers, door locks) Medical devices (e.g., pacemakers and other implanted safety-critical devices) Aviation (e.g., on-board flight and air traffic control) Process control software in various industries (e.g., chemicals and electronics) For more information contact: Rita Manak, Ph.D. Head, Technology Transfer Office 202 767-3083 rita.manak@nrl.navy.mil Identification Number: IT02

    The Naval Research Laboratory (NRL) has developed a powerful, easy-to-use suite of tools to support the development of software that meets its requirements and performs as specified. Based on a scalable tabular notation for representing requirements, the toolset can assist in creating a specification, checking specifications for consistency, validating a specification, and verifying that a specification satisfies critical properties, such as safety and security properties. The suite includes a graphical interface for simulating applications, which aids in evaluation by actual system users, e.g., pilots or system operators.
    References "Tools for Constructing Requirement Specifications: The SCR Toolset at the Age of Ten," Computer Systems Science and Engineering, (2005), p. 19-35. "Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications," IEEE Transactions on Software Engineering, (1998) p. 927-948. "Applying Formal Methods to a Certifiably Secure Software Systems," IEEE Transactions on Software Engineering, (2008), p. 82-98.

    ES

    EARCH LA

    BO

    AL

    AT

    NAV

    ORY

    technology

    AS

    HING TON,

    You might also like

    pFad - Phonifier reborn

    Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

    Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


    Alternative Proxies:

    Alternative Proxy

    pFad Proxy

    pFad v3 Proxy

    pFad v4 Proxy