University of Minnesota
Software Engineering Center
/

You are here

Jon Reese

Recent Publications

Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future

Previously, we defined a blackbox formal system modeling language called RSML (Requirements State Machine Language). The language was developed over several years while specifying the system requirements for a collision avoidance system for commercial passenger aircraft. During the language development, we received continual feedback and evaluation by FAA employees and industry representatives, which helped us to produce a specification language that is easily learned and used by application experts. Since the completion of the RSML project, we have continued our research

Designing Specification Languages: Lessons Learned and Steps to the Future

Previously we defined a blackbox formal system modeling language called RSML (Requirements State Machine Language). The language was developed over several years while specifying the system requirements for a collision avoidance system for commercial passenger aircraft. During the language development, we received continual feedback and evaluation by FAA employees and industry representatives, which helped us to produce a specification language that is easily learned and used by application experts.

Experiences From Specifying the TCAS II Requirements Using RSML

TCAS II (Traffic alert and Collision Avoidance System II) is an avionics system required on all commercial aircraft with more than 30 passengers. In 1990, FAA deemed the Minimal Operational Performance Standard (MOPS) for TCAS II, expressed in plain English and low-level pseudocode, unacceptable as a basis for government certification.

Pages