Building Safer Systems With SpecTRM

About this technology

Overview

The Specification Tools and Requirements Methodology (SpecTRM) product helps system and software engineers develop specifications for large, complex safety-critical systems. SpecTRM enables engineers to find errors early in development so that they can be fixed with the lowest cost and impact on the system design. It also traces both the requirements and design rationale (including safety constraints) throughout the system design and documentation, allowing engineers to build required system properties into the design from the beginning. SpecTRM provides support for manual inspection, formal analysis, simulation, and testing, while facilitating communication and the coordinated design of components and interfaces. Based on proven research methods in flight management systems, air traffic control systems, and the Traffic Alert and Collision Avoidance System, the product benefits the aerospace and transportation industries. SpecTRM can also be applied to designs for automotive systems, defense systems, and medical devices.