Joao Carlos Rodrigues, Luis Rodrigues  @ NUS Home/Search
Context
Related
| di.fc.ul.pt/~ler/pubs/.....wfcs04.ps.gz Cached: PS.gz PS PDF Image Update Help From: di.fc.ul.pt/~ler/pubs/pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A flexible way of building modular communication stacks relies on the use of protocol composition. In order to derive the worstcase response time of a protocol composition, one needs to capture its event-graph: the event-graph consists of the set of all events processed by each component and how these events are related. (Update)
Active bibliography (related documents): More All
0.7: Schedulability Analysis of an Event-Based Real-Time.. - Rodrigues, Ventura.. (2002) (Correct)
0.4: Response Time Analysis of Composable Micro-Protocols - Ventura, Rodrigues, Rodrigues (2001) (Correct)
0.4: Fault-Tolerant Clock Synchronization in CAN - Rodrigues, Guimarães.. (1998) (Correct)
Similar documents based on text: More All
0.4: The design of RT-Appia - Rodrigues, Miranda, Ventura.. (2000) (Correct)
0.2: Timing Analysis for Preemptive Multi-tasking Real-Time Systems.. - Tan, III (2004) (Correct)
0.2: Worst-Case Response Time Of Aperiodic Message In Worldfip - WANG, SONG, YU, SUN (2002) (Correct)
BibTeX entry: (Update)
@misc{ rodrigues-from,
author = "Joao Carlos Rodrigues and Luis Rodrigues",
title = "From Running Code to Event-Graphs: A pragmatic approach to derive WCRT
of protocol compositions",
url = "citeseer.comp.nus.edu.sg/700410.html" }
Citations (may not include all citations):2157 Design Patterns: Elements of Reusable Object-Oriented Softwa.. (context) - Gamma, Helm et al. - 1995
444 Mach: a new kernel foundation for Unix development (context) - Accetta, Baron et al. - 1986
244 kernel: An architecture for implementing network protocols (context) - Hutchinson, Peterson - 1991
108 Automatically validating temporal safety properties of inter.. - Ball, Rajamani - 2001
98 Kronos: A verification tool for real-time systems (context) - Yovine - 1997
74 Computer Science Department (context) - Hayden, System et al. - 1998
60 Coyote: A system for constructing fine-grain configurable co.. - Bhatti, Hiltunen et al. - 1998
31 Paths: Programming with system resources in support of real-.. (context) - Travostino, Menze et al. - 1996
26 Tool-supported program abstraction for finite-state verifica.. - Dwyer, Hatcli et al. - 2001
20 Real-time dependable channels: Customizing qos attributes fo.. - Hiltunen, Schlichting et al. - 1999
19 a flexible protocol kernel supporting multiple coordinated c.. (context) - Miranda, Pinto et al. - 2001
15 Flexible protocol composition in Bast - Garbinato, Guerraoui - 1998
12 Faulttolerant broadcasts in CAN - Rufino, Verssimo et al. - 1998
9 An automated verification method for distributed systems sof.. (context) - Holzmann, Smith - 2002
7 Department of Computer Science (context) - Hiltunen, Han et al. - 1996
6 sets to schedulability analysis (context) - Tindell - 1994
3 ISO International Standard 11898 - Road Vehicles - Interchan.. (context) - editor - 1993
2 Response time analysis of composable micro-protocols - Ventura, Rodrigues et al. - 2001
1 modeling and verification of parallel processes (context) - Amnell, Behrmann et al. - 2067
Documents on the same site (http://www.di.fc.ul.pt/~ler/pubs/pubs.html): More
Reliable Computing over Mobile Networks - Rodrigues, Fonseca.. (1995) (Correct)
Fault-Tolerant Clock Synchronization in CAN - Rodrigues, Guimarães.. (1998) (Correct)
Requirements for High Performance Group Support in.. - Vogels.. (1992) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.