From Running Code to Event-Graphs: A pragmatic approach to derive WCRT of protocol compositions (2004)  (Make Corrections)  
Joao Carlos Rodrigues, Luis Rodrigues

 @ NUS   Home/Search   Context   Related

 
View or download:
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  
(Enter summary)

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.