The X-Kernel: An Architecture for Implementing Network Protocols
IEEE Transactions on Software Engineering
Allocating hard real-time tasks: an NP-hard problem made easy
Real-Time Systems
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Coyote: a system for constructing fine-grain configurable communication services
ACM Transactions on Computer Systems (TOCS)
Real-Time Dependable Channels: Customizing QoS Attributes for Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Period-Based Load Partitioning and Assignment for Large Real-Time Applications
IEEE Transactions on Computers
Automatically validating temporal safety properties of interfaces
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Tool-supported program abstraction for finite-state verification
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
An Automated Verification Method for Distributed Systems Software Based on Model Extraction
IEEE Transactions on Software Engineering
The Real-Time Specification for Java
Computer
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
Modeling and verification of parallel processes
Fault-Tolerant Broadcasts in CAN
FTCS '98 Proceedings of the The Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing
RTCAST: lightweight multicast for real-time process groups
RTAS '96 Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium (RTAS '96)
Holistic schedulability analysis of a fault-tolerant real-time distributed run-time support
RTCSA '00 Proceedings of the Seventh International Conference on Real-Time Systems and Applications
Schedulability Analysis for Tasks with Static and Dynamic Offsets
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Paths: Programming with System Resources in Support of Real-Time Distributed Applications
WORDS '96 Proceedings of the 2nd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '96)
Flexible Protocol Composition in Bast
ICDCS '98 Proceedings of the The 18th International Conference on Distributed Computing Systems
Appia: A Flexible Protocol Kernel Supporting Multiple Coordinated Channels
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
The ensemble system
Introduction to Reliable Distributed Programming
Introduction to Reliable Distributed Programming
Journal of Systems and Software
Hi-index | 0.00 |
A flexible way of building modular communication stacks relies on the use of protocol composition. This paper describes a protocol composition framework that simplifies the task of deriving the worst-case response time of a protocol composition from the protocol implementation. In order to derive the worst-case 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 the relation between those events. The framework, called RT-Appia, takes a pragmatic approach: instead of requiring the use of domain specific code analysis tools, or dedicated compilers, it simply requires protocol programmers to make explicit which events are processed and produced by each layer, and how these events are related. An interesting aspect of the approach is that the same data structures that are used to simplify the task of computing the worst-case response time of the protocol composition are also used to optimize the performance and to debug the resulting implementation.