Leveson, NancyReese, JonHeimdahl, Mats2020-12-102020-12-101998Proceedings of the 17th Digital Avionics Systems Conference, November 1998https://hdl.handle.net/11299/217297Associated research group: Critical Systems Research GroupIn 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.Report