Deriving Real-time Monitors from System Requirements Documentation

Dennis K. Peters
Supervisor: David L. Parnas

Software Engineering Research Group
CRL, McMaster University,
Hamilton, Ontario, Canada L8S 4K1


During system testing, determining if the observed behaviour of a real-time system is consistent with its requirements specification can be difficult. I propose that a system to check the behaviour against the specification, a monitor, be automatically derived from the requirements documentation. The monitor would model the system requirements as a modified finite state automaton in which the states represent equivalence classes of system histories and transitions are labelled with predicates such that it accepts only executions representing acceptable system behaviour. Investigation into the design of such a monitor, and the process for automatically generating it from reviewable requirements documentation is on-going.

back to Dennis Peters' homepage

Last modified: Sun 1999.01.03 at 15:28 NST by Dennis Peters