Abstract
SpecTRM is a systems engineering environment to support modeling and analysis during requirements generation, functional decomposition and tradeoff analysis, subsystem specification, implementation, verification, and system maintenance and evolution. A general goal is to build bridges among disciplines by providing integrated specifications and modeling tools that can be used by system engineers, software engineers, and human factors experts. Because many automated real-time systems have safety-critical aspects, SpecTRM provides support for hazard analysis and building safety into the design. The safety information and activities on a project are integrated into the development and decision making environment.
| Original language | English (US) |
|---|---|
| Title of host publication | AIAA/IEEE Digital Avionics Systems Conference - Proceedings |
| Publisher | IEEE |
| Volume | 1 |
| State | Published - Dec 1 1998 |
| Event | Proceedings of the 1998 17th AIAA/IEEE/SAE Digital Avionics Systems Conference, DASC. Part 1 (of 2) - Bellevue, WA, USA Duration: Oct 31 1998 → Nov 7 1998 |
Other
| Other | Proceedings of the 1998 17th AIAA/IEEE/SAE Digital Avionics Systems Conference, DASC. Part 1 (of 2) |
|---|---|
| City | Bellevue, WA, USA |
| Period | 10/31/98 → 11/7/98 |