Sciweavers

907 search results - page 11 / 182
» Monitoring of Real-Time Properties
Sort
View
HASE
1997
IEEE
14 years 2 days ago
A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications
The testtng and valadatzon of formal speczficatzons of hzgh-assurance real-tzme systems repiizres a n ertenszble szniulatzon enrwonment wzth support for users to generate events, ...
Monica Brockmeyer, Farnam Jahanian, Elly Winner, C...
RTSS
1992
IEEE
13 years 12 months ago
Monitoring Timing Constraints in Distributed Real-Time Systems
Sitaram C. V. Raju, Ragunathan Rajkumar, Farnam Ja...
IAAI
1992
13 years 9 months ago
Marvel: A Distributed Real-Time Monitoring and Analysis Application
Ursula M. Schwuttke, Alan G. Quan, Robert Angelino...