Conference
Requirements-based monitors for real-time systems
Abstract
Before designing safety- or mission-critical real-time systems, a specification of the required behaviour 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 behaviour of a target system and reports if that behaviour is consistent with the requirements. Such a …
Authors
Peters DK; Parnas DL
Volume
25
Pagination
pp. 77-85
Publisher
Association for Computing Machinery (ACM)
Publication Date
August 2000
DOI
10.1145/347324.348874
Name of conference
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Conference proceedings
ACM SIGSOFT Software Engineering Notes
Issue
5
ISSN
0163-5948