Requirements-based monitors for real-time systems

—Before designing safety- or mission-critical real-time systems, a specification of the required behavior of the system should be produced and reviewed by domain experts. After the system has been implemented, it should be thoroughly tested to ensure that it behaves correctly. This is best done using a monitor, a system that observes the behavior of a target system and reports if that behavior is consistent with the requirements. Such a monitor can be used both as an oracle during testing and as a supervisor during operation. Monitors should be based on the documented requirements of the system. If the target system is required to monitor or control real-valued quantities, then the requirements, which are expressed in terms of the monitored and controlled quantities, will allow a range of behaviors to account for errors and imprecision in observation and control of these quantities. Even if the controlled variables are discrete valued, the requirements must specify the timing tolera...

• Type: Conference
• Year: 2000
• Where: ISSTA
• Authors: Dennis K. Peters, David Lorge Parnas
• Keywords: Behaviors, ISSTA 2000, Mission-critical Real-time Systems, Real-time Systems, Software Engineering