Sciweavers

5683 search results - page 5 / 1137
» Interactive Schedulability Analysis
Sort
View
DATE
2008
IEEE
157views Hardware» more  DATE 2008»
14 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
14 years 26 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
CODES
2006
IEEE
14 years 1 months 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
13 years 9 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
SIGADA
2007
Springer
14 years 1 months 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