Modeling and schedulability analysis in the development of real-time distributed Ada systems
IRTAW '02 Proceedings of the 11th international workshop on Real-time Ada workshop
Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Large exploration for HW/SW partitioning of multirate and aperiodic real-time systems
Proceedings of the tenth international symposium on Hardware/software codesign
Real-Time Support for Mobile Robotics
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
Context-Aware Scheduling Analysis of Distributed Systems with Tree-Shaped Task-Dependencies
Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Schedulability-driven frame packing for multicluster distributed embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
Improved offset-analysis using multiple timing-references
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Resource management for real-time tasks in mobile robotics
Journal of Systems and Software
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Building high-integrity distributed systems with Ravenscar restrictions
IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
UM-RTCOM: An analyzable component model for real-time distributed systems
Journal of Systems and Software
Journal of Systems and Software
Analysis and optimisation of hierarchically scheduled multiprocessor embedded systems
International Journal of Parallel Programming - Special Issue on Multiprocessor-based embedded systems
Efficient implementation of tight response-times for tasks with offsets
Real-Time Systems
A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Formal verification of real-time systems with preemptive scheduling
Real-Time Systems
Support for a real-time transactional model in distributed Ada
ACM SIGAda Ada Letters
Proceedings of the Conference on Design, Automation and Test in Europe
A scalable approach for the description of dependencies in hard real-time systems
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Schedulability analysis of distributed hard real-time systems with multiple-event synchronization
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Schedulability analysis for systems with data and control dependencies
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
On the schedulability of a data-centric real-time distribution middleware
Computer Standards & Interfaces
Embedded Systems Design
Annotating UML models with non-functional properties for quantitative analysis
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
End-to-end worst-case response time analysis for hard real-time distributed systems
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Compositional real-time models
Journal of Systems Architecture: the EUROMICRO Journal
Optimization of task allocation and priority assignment in hard real-time distributed systems
ACM Transactions on Embedded Computing Systems (TECS)
Implementing and evaluating communication-strategies in the ProCom component technology
ACM SIGBED Review - Special Issue on the 24th Euromicro Conference on Real-Time Systems
Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems
A novel analytical method for worst case response time estimation of distributed embedded systems
Proceedings of the 50th Annual Design Automation Conference
Adapting the end-to-end flow model for distributed Ada to the ravenscar profile
ACM SIGAda Ada Letters
Using timing analysis for the design of future switched based ethernet automotive networks
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Hi-index | 0.00 |
In this paper we present improved techniques for the schedulability analysis of tasks with precedence relations in multiprocessor and distributed systems, scheduled under a preemptive fixed priority scheduler. Recently developed techniques, based on the analysis of tasks with dynamic offsets, take into account the precedence relations between tasks only indirectly, through terms iteratively estimated from the response times of the tasks. With the techniques presented in this paper, we exploit the precedence relations in a more accurate way, and we also take advantage of the priority structure of the different tasks. These considerations permit a significant improvement of the results of the analysis applied to distributed and multiprocessor systems.