See this document in CiteSeerX!

Run-Time Monitoring of Real-Time Systems (1995)  (Make Corrections)  (37 citations)
Farnam Jahanian



  Home/Search   Context   Related

 
View or download:
cs.chungnam.ac.kr/~ykim/cou...chap18.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cs.chungnam.ac.kr/~ykim/co...refs (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Introduction In designing real-time systems, we often make assumptions about the behavior of the system and its environment. These assumptions take many forms, such as upper bounds on interprocess communication delay, deadlines on the execution of tasks, or minimum separations between occurrences of two events. They are often made to deal with the unpredictability of the external environment or to simplify a problem that is otherwise intractable or very hard to solve. Such assumptions may be... (Update)

Context of citations to this paper:   More

.... hardware monitoring for collecting run time data in real time applications has been considered in a number of papers [CJD91, MoL97, RRJ92 and TKM88]. These approaches introduce specialized co processors for the collection and analysis of run time information. The use of...

...states. If erroneous conditions described by monitoring constraints occur, a monitoring application can initiate corrective actions. In [8] a monitoring technique has been developed which supports detection and handling of timing errors. Another approach is called forced...

Cited by:   More
Data Locality Optimization of Shared Memory Programs on NUMA.. - Tao   (Correct)
An Architecture supporting Monitoring and.. - Peti.. (2002)   (Correct)
A Prototyping Environment for Specifying, Executing and.. - Raju, Shaw (1994)   (Correct)

Similar documents (at the sentence level):
20.2%:   Runtime Monitoring of Timing Constraints in Distributed.. - Jahanian, Rajkumar, Raju (1994)   (Correct)
12.9%:   Monitoring Timing Constraints in Distributed Real-time.. - Raju, Rajkumar, Jahanian (1992)   (Correct)

Active bibliography (related documents):   More   All
0.5:   Real Time Systems: A Survey - Singhal (1996)   (Correct)
0.2:   Formal Methods For Real-Time Systems - Stuart (1996)   (Correct)
0.2:   A Methodology and Support Tools for Analysis of Real-Time.. - Stuart, Mok, Jahanian   (Correct)

Similar documents based on text:   More   All
0.1:   Probing and Fault Injection of Dependable Distributed Protocols - Dawson, Jahanian (1995)   (Correct)
0.0:   A Formal Method for Verifying Real-Time Properties of.. - Stuart, Jahanian (1994)   (Correct)
0.0:   RTCAST: Lightweight Multicast for Real-Time Process Groups - Tarek Abdelzaher (1996)   (Correct)

Related documents from co-citation:   More   All
12:   Safety analysis of timing properties in real-time systems (context) - Jahanian, Mok - 1986
12:   Monitoring Timing Constraints in Distributed Real Time Systems - Raju, Rajkumar et al. - 1992
10:   A real-time monitor for a distributed real-time operating system (context) - Tokuda, Kotera et al. - 1988

BibTeX entry:   (Update)

S. Chodrow, F. Jahanian, and M. Donner. RunTime Monitoring of Real-Time Systems, Proc. IEEE Real-Time Systems Symp., pp. 74-83, Dec. 1991. http://citeseer.ist.psu.edu/chodrow95runtime.html   More

@misc{ chodrow91runtime,
  author = "S. Chodrow and F. Jahanian and M. Donner",
  title = "RunTime Monitoring of Real-Time Systems",
  text = "S. Chodrow, F. Jahanian, and M. Donner. RunTime Monitoring of Real-Time
    Systems, Proc. IEEE Real-Time Systems Symp., pp. 74-83, Dec. 1991.",
  year = "1991",
  url = "citeseer.ist.psu.edu/chodrow95runtime.html" }
Citations (may not include all citations):
572   Distributed snapshots: determining global states of distribu.. (context) - Chandy, Lamport - 1985
218   Safety analysis of timing properties in real-time systems (context) - Jahanian, Mok - 1986
184   Checkpointing and rollback-recovery for distributed systems (context) - Koo, Toueg - 1987
74   A relational approach to monitoring complex systems (context) - Snodgrass - 1988
67   Consistent global states of distributed systems: Fundamental.. - Babaoglu, Marzullo - 1993
44   Building flexible real-time systems using the flex language (context) - Kenny, Lin - 1991
39   Mt: A toolset for specifying and analyzing real-time systems (context) - Clements, Heitmeyer et al. - 1993
38   Detection of global state predicates (context) - Marzullo, Neiger - 1991
37   Run--time monitoring of real--time systems - Chodrow, Jahanian et al. - 1991
35   A hybrid monitor for behavior and performance analysis of di.. (context) - Haban, Wybranietz - 1990
28   A noninvasive architecture to monitor real-time distributed .. (context) - Tsai, Fang et al. - 1990
22   Run-time monitoring of timing constraints in distributed rea.. - Jahanian, Rajkumar et al. - 1994
12   A formalism for monitoring real-time constraints at run-time (context) - Jahanian, Goyal - 1990
8   analysis and display of performance information for parallel.. (context) - Kilpatrick, Schwan et al. - 1990
7   Using consistent subcuts for detecting stable properties (context) - Marzullo, Sabel - 1992
6   executing and checking communicating real-time state machine.. (context) - Raju, Shaw et al. - 1994
5   Center for Computer High Assurance Systems (context) - Rose, Perez et al. - 1994
5   Unstable predicate detection in distributed programs (context) - Garg, Waldecker - 1992
3   An integrated approach to monitoring and scheduling in real-.. (context) - Jahanian, Rajkumar - 1991
2   Language and operating system features for real-time program.. (context) - Donner, Jameson - 1988
1   Verifying and Monitoring RealTime Systems (context) - Raju, for - 1994
1   A real-time monitor for a distributed real-time o (context) - Tokuda, Koreta et al. - 1989
1   Modified rate monotone algorithm for scheduling periodic job.. (context) - Shih, Liu et al. - 1991



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://cs.chungnam.ac.kr/~ykim/courses/grad-rts97/refs.html):   More
Design and Implementation of Maruti-II - Saksena, Silva, Agrawala (1994)   (Correct)
A Systematic Approach to Designing Distributed Real-Time Systems - Sha, Sathaye (1995)   (Correct)
CHAOSarc: Real-Time Objects and Atomicity for Multiprocessors - Gheith, Schwan (1994)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC