Accepted Papers
[Click here to download WiP proceedings]
| A SCRATCHPAD MEMORY-BASED EXECUTION PLATFORM FOR FUNCTIONAL REACTIVE SYSTEMS AND ITS STATIC TIMING ANALYSIS Zeinab Kazemi and Albert Cheng |
| A STEP TOWARD DEPLOYING REAL-TIME APPLICATIONS ON CLOUD — MODELING CLOUD PERFORMANCE FLUCTUATION Hao Wu, Shangping Ren, Timm Steven and Gabriele Garzoglio |
| DISTRIBUTING THE COMPLEXITY OF SCHEDULABILITY TESTS Vladimir Nikolov, Kilian Kempf, Franz J. Hauck and Dieter Rautenbach |
| ESTIMATION OF PROBABILISTIC WORST CASE EXECUTION TIME WHILE ACCOUNTING OS COSTS Walid Talaboulma, Cristian Maxim, Adriana Gogonel, Yves Sorel and Liliana Cucu-Grosjean |
| FAULT TOLERANCE IN REAL-TIME RESOURCE PARTITIONS Rachel Madrigal and Albert Cheng |
| FROM TIMES TO TIMES++ Syed Md Jakaria Abdullah, Pontus Ekberg, Nan Guan, Martin Stigge and Wang Yi |
| HYBRID APPROACH TO QOS MANAGEMENT IN MULTICORE-BASED EMBEDDED DATABASES Woocul Kang and Minhak Lee |
| MODEL-PREDICTIVE CONTROLLERS FOR PERFORMANCE MANAGEMENT OF COMPOSABLE CONVEYOR SYSTEMS Shunxing Bao, Aniruddha Gokhale, Sherif Abdelwahed and Shivakumar Sastry |
| PROBABLY RIGHT, PROBABLY ON TIME: AN ANALYSIS OF CAN IN THE PRESENCE OF HOST AND NETWORK FAULTS Arpan Gujarati, Akshay Aggarwal, Allen Clement and Björn Brandenburg |
| REAL-TIME LOGIC (RTL) MODELING OF SPACEWIRE-D NETWORKS Qiang Zhou, Zikun Yang and Albert Cheng |
| SEAMLESS REQUIREMENTS FLOW DOWN FROM SYSTEM TO SOFTWARE COMPONENTS IN EMBEDDED SYSTEMS Michael Winokur, Alon Modai and Zvi Lando |
| TOWARDS AN INTERPRETATION OF MIXED CRITICALITY FOR OPTIMISTIC SCHEDULING Marcus Völp, Michael Roitzsch and Hermann Härtig |
| TOWARDS CERTIFIABLE MULTICORE-BASED PLATFORMS FOR AVIONICS Muhammad Ali Awan, Patrick Yomsi, Konstantinos Bletsas, Vincent Nelis, Eduardo Tovar and Pedro Souto |
| TUNABLE RESPONSE TIME UPPER BOUND FOR FIXED-PRIORITY REAL-TIME SYSTEMS Qiong Lu, Albert Cheng and Robert Davis |