Foundations for the run-time monitoring of reactive systems: fundamentals of the MaC language

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 322
  • Download : 0
As the complexity of systems grows, the correctness of systems becomes harder to achieve. This difficulty promotes a run-time monitoring technique as a promising complementary methodology for higher system assurance. To formalize and understand the computational nature of run-time monitoring is a key to utilize this valuable technique. In this paper, we formalize the notion of run-time monitoring of reactive systems in terms of ω-languages and show that the language of Monitoring and Checking (MaC) architecture, called MEDL, is expressive enough for the run-time monitoring. First, we provide a descriptive theory for the class of monitorable languages and show that this class of languages coincides with the class Π01 of the Arithmetic hierarchy. Second, we introduce a class of automata with storage that can be used to describe the class of monitorable languages using connections to the Arithmetic hierarchy. Finally, we show that MEDL can express the class of monitorable languages via the correspondence between MEDL and the automata with storage.
Publisher
ICTAC
Issue Date
2005-10
Language
ENG
Citation

First international conference on Theoretical Aspects of Computing , pp.543 - 556

DOI
10.1007/978-3-540-31862-0_38
URI
http://hdl.handle.net/10203/151293
Appears in Collection
CS-Conference Papers(학술회의논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0