SpecTRM: A CAD system for digital automation

Nancy G. Leveson, Jon Damon Reese, Mats P E Heimdahl

Research output: Chapter in Book/Report/Conference proceedingConference contribution

14 Scopus citations

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 languageEnglish (US)
Title of host publicationAIAA/IEEE Digital Avionics Systems Conference - Proceedings
PublisherIEEE
Volume1
StatePublished - Dec 1 1998
EventProceedings of the 1998 17th AIAA/IEEE/SAE Digital Avionics Systems Conference, DASC. Part 1 (of 2) - Bellevue, WA, USA
Duration: Oct 31 1998Nov 7 1998

Other

OtherProceedings of the 1998 17th AIAA/IEEE/SAE Digital Avionics Systems Conference, DASC. Part 1 (of 2)
CityBellevue, WA, USA
Period10/31/9811/7/98

Fingerprint

Dive into the research topics of 'SpecTRM: A CAD system for digital automation'. Together they form a unique fingerprint.

Cite this