| 9:00–9:30 Registration and Welcome |
| |
| 9:30–10:45 Session 1. Dr. G. Bernat |
Probabilistic Uni-processor Schedulability Analysis
N. Nissanke, L. David and F. Cottet
|
Statistical Estimation of Aperiodic Response Times when Scheduled on top of Static Timelines
P. Binns
|
Random Arrivals in Fixed Priority Analysis
I. Broster, A. Burns
|
| |
| 10:45–11:15 Coffee |
| |
| 11:15–12:30 Session 2. Dr. A. Bogliolo |
Empirical Macromodeling of Operating System Communication Primitives
M. Loghi, M. Poncino, L. Benini
|
A Probabilistic Model for Soft-Error Rate Estimation in Combinational Logic
J. S. Kim, C. Nicopoulos, N. Vijaykrishnan, Y. Xie and E. Lattanzi
|
Specification and Refinement by Probabilistic Sequence Diagrams
K. Eilif Husa , A. Refsdal
|
| |
| 12:30–14:00 Lunch |
| |
| 14:00–15:15 Session 3. Dr. N. Nissanke |
Utility Accrual Real-Time Scheduling with Probabilistically Assured Timeliness Performance
P. Li, B. Ravindran, E. D. Jensen
|
QoS Control Challenges for Multimedia Consumer Terminals
C. C. Wust, R. J. Bril, C. Hentschel, L. Steffens, W. F.J. Verhaegh
|
Deadline Miss Rate Analysis of Applications with Stochastic Task Execution Times
S. Manolache, P. Eles, Z. Peng
|
| |
| 15:15–15:45 Coffee |
| |
| 14:00–15:15 Session 4. Dr. I. Broster |
Debugging Time Behavior of Probabilistic Real-Time Systems
J. Entrialgo, J. García, J. L. Díaz, D. F. García
|
A Few What-Ifs on Using Statistical Analysis of Stochastic Simulation Runs to Extract Timeliness Properties
N. Pereira1, E. Tovar, B. Batista, L. M. Pinho, I. Broster
|
A Statistical Approach to V&V for Embedded Systems
P. Binns
|
| |
| 17:00 Closing remarks |