Monitoring, Checking, and Steering of Real-Time Systems
The work
| Authors | Moonjoo Kim; Insup Lee; Usa Sammapun; Jangwoo Shin; Oleg V. Sokolsky |
|---|---|
| Editors | |
| Type | article |
| Year | 2002 |
| Citekey | kim2002monitoring |
Where it appeared
| Published in | Electronic Notes in Theoretical Computer Science |
|---|---|
| Publisher | Elsevier BV |
| Volume | 70 |
| Issue | 4 |
| Pages | 95--111 |
Identifiers
| DOI | 10.1016/s1571-0661(04)80579-6 |
|---|---|
| OpenAlex | W2113560220 |
Access
| Landing page | https://doi.org/10.1016/s1571-0661(04)80579-6 |
|---|
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring and checking the execution of the target program at run-time. MaC bridges the gap between formal verification, which ensures the correctness of a design rather than an implementation, and testing, which only partially validates an implementation. One weakness of the MaC system is that it can detect property violations but cannot provide any feedback to the running system. To remedy this weakness, the MaC system has been extended with a feedback capability. The resulting system is called MaCS (Monitoring and Checking with Steering). The feedback component uses the information collected during monitoring and checking to steer the application back to a safe state after an error occurs. We present a case study where MaCS is used in a control system that keeps an inverted pendulum upright. MaCS detects faults in controllers and performs dynamic reconfiguration of the control system using steering.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-26 22:33 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@article{kim2002monitoring,
title = {Monitoring, Checking, and Steering of Real-Time Systems},
author = {Moonjoo Kim and Insup Lee and Usa Sammapun and Jangwoo Shin and Oleg V. Sokolsky},
year = {2002},
journal = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier BV},
volume = {70},
number = {4},
pages = {95--111},
doi = {10.1016/s1571-0661(04)80579-6},
}
This record lives at https://refs.drheap.org/kim2002monitoring/ and will keep doing so.