M. Waga, S. Klikovits, I. Hasuo: Monitoring Temporal Specifications, in Safety Assurance under Uncertainties: From Software to Cyber-Physical/Machine Learning Systems, 1st Edition, CRC Press, chapter 2, pages 31, ISBN 978-1003093350, 2025. Doi: 10.1201/9781003093350
Monitoring generally is an activity to observe system behaviour. It is essential to monitor the system for its development and maintenance. For example, in development, engineers modify the system to satisfy certain requirements. To decide the necessary modification, they must monitor the difference between the actual behaviour and the expected behaviour. In maintenance, engineers may have to replace the worn-out components in the system. This decision also requires monitoring because they must detect if the current behaviour deviates from the original behaviour.