Sciweavers

5683 search results - page 5 / 1137
» Interactive Schedulability Analysis
Sort
View
DATE
2008
IEEE
157views Hardware» more  DATE 2008»
16 years 1 months ago
Logical Reliability of Interacting Real-Time Tasks
We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that chec...
Krishnendu Chatterjee, Arkadeb Ghosal, Thomas A. H...
CBSE
2005
Springer
16 years 6 days ago
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
Zonghua Gu, Zhimin He
205
Voted
CODES
2006
IEEE
16 years 22 days ago
Integrated analysis of communicating tasks in MPSoCs
Predicting timing behavior is key to efficient embedded real-time system design and verification. Especially memory accesses and co-processor calls over shared communication net...
Simon Schliecker, Matthias Ivers, Rolf Ernst
ECRTS
2008
IEEE
15 years 8 months ago
A Schedulability Analysis of Deferrable Scheduling Using Patterns
The schedulability testing for the deferrable scheduling algorithm for fixed priority transactions (DS-FP) remains
Song Han, Deji Chen, Ming Xiong, Aloysius K. Mok
260
Voted
SIGADA
2007
Springer
16 years 23 days ago
AADL modeling and analysis of hierarchical schedulers
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...
Frank Singhoff, Alain Plantec