DocumentCode :
3042173
Title :
Monitoring distributed reactive systems
Author :
Yu Bai ; Brandt, Jim ; Schneider, Klaus
Author_Institution :
Dept. of Comput. Sci., Univ. of Kaiserslautern, Kaiserslautern, Germany
fYear :
2012
fDate :
9-10 Nov. 2012
Firstpage :
84
Lastpage :
91
Abstract :
Recent results on the desynchronization of synchronous systems introduced the subclass of so-called endo/isochronous systems. Since the modules of these systems can derive their own local clocks from their inputs, they can be implemented as asynchronous components without inefficient synchronizations. Runtime verification has a similar problem since one has to add a monitor to an existing system where typically a synchronous composition is assumed. In this paper, we therefore propose to use the endo/isochronous system theory to implement asynchronous monitors that are still able to check the original synchronous behavior. We only demand that the entire system obtained by adding the monitor is an endo/isochronous system so that we can implement a suitable wrapper around the monitor (and the other components). For the implementation, we use heuristics to check endochrony like the sequentiality of the implemented functions.
Keywords :
clocks; computerised monitoring; distributed processing; embedded systems; program verification; synchronisation; asynchronous components; asynchronous monitors; distributed reactive system module monitoring; endo-isochronous system theory; endochrony; function sequentiality; heuristics; local clocks; runtime verification; synchronous composition; synchronous system desynchronization; Asynchronous communication; Clocks; Delay; Embedded systems; Monitoring; Runtime; Semantics;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
High Level Design Validation and Test Workshop (HLDVT), 2012 IEEE International
Conference_Location :
Huntington Beach, CA
ISSN :
1552-6674
Print_ISBN :
978-1-4673-2897-5
Type :
conf
DOI :
10.1109/HLDVT.2012.6418247
Filename :
6418247
Link To Document :
بازگشت