10 search results - page 1 / 2 » Monitoring, Checking, and Steering of Real-Time Systems |
110
Voted
ENTCS
2002
15 years 23 days ago
2002
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...
122
Voted
FSTTCS
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents a construction for runtime monitors that check real-time properties expressed in timed LTL (TLTL). Due to D'Souza's results, TLTL can be considered a ...
115
click to vote
ENTCS
2006
15 years 29 days ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
110
click to vote
RTAS
1997
IEEE
15 years 5 months ago
1997
IEEE
ÐThis paper describes MTSim, an extensible, customizable simulation platform for the Modechart toolset (MT). MTSim provides support for ªplugging inº user-defined viewers useful...
147
click to vote
RTCSA
1998
IEEE
15 years 5 months ago
1998
IEEE
Snap-shot mechanisms are used to read a globally consistent set of variable values. Such a mechanism can be used to solve a variety of communication and synchronization problems, ...