University of Minnesota
Software Engineering Center

You are here


Date of Publication: 
November 1998
Associated Research Groups: 
Publication Files: 
In the system engineering of complex systems that include digital automation, the most vexing and potentially costly problems arise in the early stages of development. Few adequate tools exist to assist in developing system requirements and architectures and translating the system requirements to software requirements. Serious unsolved problems also exist at the other end of the lifecycle in changing or upgrading automated control tasks without introducing errors. In addition, these two system development phases present the most serious and unsolved problems in certification and hazard analysis. SpecTRM-RL (Specification Tools and Requirements Methodology) is a CAD system for digital automation. It is not intended to replace engineers, but instead to use the latest in research ideas to assist engineers in managing the requirements, design, and evolution process.
Proceedings of the 17th Digital Avionics Systems Conference, November 1998
@InProceedings{Leveson98:cad, author = {N.G. Leveson and J.D. Reese and M.P.E. Heimdahl}, title = {SpecTRM: A CAD System for Digital Automation}, booktitle = {Proceedings of the 17th Digital Avionics Systems Conference}, OPTcrossref = {}, OPTkey = {}, OPTpages = {}, year = {1998}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, month = {November}, OPTorganization ={}, OPTpublisher = {}, OPTnote = {}, OPTannote = {} }