University of Minnesota
Software Engineering Center
/

You are here

Jon Reese

Recent Publications

SpecTRM: A CAD SYSTEM FOR DIGITAL AUTOMATION

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.

Requirements Specification for Process Control Systems

This paper describes an approach to writing requirements specifications for process-control systems, a specification language that supports this approach, and an example application of the approach and the language on an industrial aircraft collision avoidance system (TCAS II).

Pages