Building Safer Systems With SpecTRM
Issue: 2003 Category: Computer Technology
Page: 72
Center: Ames Research Center
State: WA Manufacturer: Safeware Engineering Corporation
Origin: Space Station Rendezvous and Docking
Abstract:
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.
Energy efficient buildings, industrial processes and transportation could reduce the world's energy needs in 2050 by one third, and help controlling global emissions of greenhouse gases, according to the International Energy Agency.
Subscribe to:
Post Comments (Atom)
About Me
- WERI FOUNDATION
- Ensure inclusive and equitable quality education and promote lifelong learning opportunities for all
"Making Cleaner and Greener Nations"
WATER & ENERGY
Science@NASA
Science @ NASA Feature Stories Podcast
No comments:
Post a Comment