Journal article
Requirements-based monitors for real-time systems
Abstract
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 …
Authors
Peters DK; Parnas DL
Journal
IEEE Transactions on Software Engineering, Vol. 28, No. 2, pp. 146–158
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
2002
DOI
10.1109/32.988496
ISSN
0098-5589