DC Field | Value | Language |
---|---|---|
dc.contributor.author | Kim, Moonzoo | ko |
dc.contributor.author | Lee, lnsup | ko |
dc.contributor.author | Sammapun, Usa | ko |
dc.contributor.author | Shin, Jangwoo | ko |
dc.contributor.author | Sokolsky, Oleg | ko |
dc.date.accessioned | 2011-03-23T05:19:52Z | - |
dc.date.available | 2011-03-23T05:19:52Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 2002-12 | - |
dc.identifier.citation | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v.70, no.4, pp.101 - 117 | - |
dc.identifier.issn | 1571-0661 | - |
dc.identifier.uri | http://hdl.handle.net/10203/22938 | - |
dc.description.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. ?2002 Published by Elsevier Science B.V. | - |
dc.description.sponsorship | We thank Prof. Lui Sha and Kihwal Lee at the University of Illinois at Urbana-Champaign for many fruitful discussions on the Simplex architecture and for help in the experimental setup of the inverted pendulum case study. This research was supported in part by ONR N00014-97-1-0505, NSF CCR- 9988409, NSF CCR-0086147, NSF CISE-9703220, and ARO DAAD19-01-1- 0473 grants. The paper is dedicated to late Anirban Majumdar. | en |
dc.language | English | - |
dc.language.iso | en_US | en |
dc.publisher | Elsevier BV | - |
dc.title | Monitoring, checking, and steering of real-time systems | - |
dc.type | Article | - |
dc.identifier.scopusid | 2-s2.0-0347118373 | - |
dc.type.rims | ART | - |
dc.citation.volume | 70 | - |
dc.citation.issue | 4 | - |
dc.citation.beginningpage | 101 | - |
dc.citation.endingpage | 117 | - |
dc.citation.publicationname | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - |
dc.embargo.liftdate | 9999-12-31 | - |
dc.embargo.terms | 9999-12-31 | - |
dc.contributor.localauthor | Kim, Moonzoo | - |
dc.contributor.nonIdAuthor | Lee, lnsup | - |
dc.contributor.nonIdAuthor | Sammapun, Usa | - |
dc.contributor.nonIdAuthor | Shin, Jangwoo | - |
dc.contributor.nonIdAuthor | Sokolsky, Oleg | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.