Theoretical Computer Science
Holistic schedulability analysis for distributed hard real-time systems
Microprocessing and Microprogramming - Parallel processing in embedded real-time systems
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Real-Time Systems: Design Principles for Distributed Embedded Applications
Real-Time Systems: Design Principles for Distributed Embedded Applications
Timed Automata with Asynchronous Processes: Schedulability and Decidability
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
RTSS '96 Proceedings of the 17th IEEE Real-Time Systems Symposium
Jitter concerns in periodic task systems
RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
Task Graph Scheduling Using Timed Automata
IPDPS '03 Proceedings of the 17th International Symposium on Parallel and Distributed Processing
Standard Handbook of Video and Television Engineering
Standard Handbook of Video and Television Engineering
Periodic Resource Model for Compositional Real-Time Guarantees
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal
Real-Time Systems
Quantitative Characterization of Event Streams in Analysis of Hard Real-Time Applications
RTAS '04 Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium
Compositional Real-Time Scheduling Framework
RTSS '04 Proceedings of the 25th IEEE International Real-Time Systems Symposium
Event Count Automata: A State-Based Model for Stream Processing Systems
RTSS '05 Proceedings of the 26th IEEE International Real-Time Systems Symposium
Network-Code Machine: Programmable Real-Time Communication Schedules
RTAS '06 Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium
An analysis framework for network-code programs
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
A Verifiable Language for Programming Real-Time Communication Schedules
IEEE Transactions on Computers
RTSS '07 Proceedings of the 28th IEEE International Real-Time Systems Symposium
Regular Specifications of Resource Requirements for Embedded Control Software
RTAS '08 Proceedings of the 2008 IEEE Real-Time and Embedded Technology and Applications Symposium
A Multi-mode Real-Time Calculus
RTSS '08 Proceedings of the 2008 Real-Time Systems Symposium
Specification and Analysis of Network Resource Requirements of Control Systems
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Clock-driven distributed real-time implementation of endochronous synchronous programs
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
A TDMA Ethernet Switch for Dynamic Real-Time Communication
FCCM '10 Proceedings of the 2010 18th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines
Timed automata based analysis of embedded system architectures
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Schedulability analysis for systems with data and control dependencies
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Hi-index | 0.00 |
Distributed real-time systems require bounded communication delays and achieve them by means of a predictable and verifiable control mechanism for the communication medium. Real-time bus arbitration mechanisms control access to the medium and guarantee bounded communication delays. These arbitration mechanisms can be static dispatch tables or dynamic, algorithmic approaches.In this work, we introduce a real-time bus arbitration mechanism called tree schedules that takes the best parts of both sides: It can be analyzed like static dispatch tables, and it provides a certain degree of flexibility similar to algorithmic approaches. We present tree schedules as a framework to specify real-time traffic and introduce mechanisms to analyze it. We discuss how tree schedules can capture application-specific behavior in a time-triggered state-based supply model by means of conditional branching built into the model. We present analysis results for this model specifically aiming at schedulability in fixed and dynamic priority schemes and waiting time analysis. Finally, we demonstrate the advantages of state-based supply over stateless supply by means of two case studies.