Monitoring, Checking, and Steering of Real-Time Systems

Loading...
Thumbnail Image
Penn collection
Departmental Papers (CIS)
Degree type
Discipline
Subject
Run-time verification
steering
Simplex architecture
Funder
Grant number
License
Copyright date
Distributor
Related resources
Author
Kim, Moonjoo
Sammapun, Usa
Shin, Jangwoo
Contributor
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.

Advisor
Date of presentation
2002-07-26
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-16T22:53:16.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
Comments
Postprint version. Published in Electronic Notes in Theoretical Computer Science, Volume 70, Issue 4, December 2002, Proceedings of the Second International Workshop on Runtime Verification (RV 2002). Publisher URL: http://dx.doi.org/10.1016/S1571-0661(04)80579-6
Postprint version. Published in Electronic Notes in Theoretical Computer Science, Volume 70, Issue 4, December 2002, Proceedings of the Second International Workshop on Runtime Verification (RV 2002). Publisher URL: http://dx.doi.org/10.1016/S1571-0661(04)80579-6
Recommended citation
Collection