Abstract is missing.
- Offsets for Scheduling Mode ChangesJorge Real, Alfons Crespo. 3-10 [doi]
- Three Obstacles to Flexible SchedulingGuillem Bernat, Alan Burns. 11-18 [doi]
- Memory and Time-Efficient Schedulability Analysis of Task Sets with Stochastic Execution TimeSorin Manolache, Petru Eles, Zebo Peng. 19 [doi]
- Transformation of Path Information for WCET Analysis during CompilationRaimund Kirner, Peter P. Puschner. 29-36 [doi]
- A Modular & Retargetable Framework for Tree-Based WCET AnalysisAntoine Colin, Isabelle Puaut. 37-44 [doi]
- WCET Analysis of Reusable Portable CodePeter P. Puschner, Guillem Bernat. 45 [doi]
- A Hyperbolic Bound for the Rate Monotonic AlgorithmEnrico Bini, Giorgio C. Buttazzo, Giuseppe Buttazzo. 59-66 [doi]
- Minimum and Maximum Utilization Bounds for Multiprocessor RM SchedulingJosé María López, José Luis Díaz, Daniel F. García. 67-75 [doi]
- Mixed Pfair/ERfair Scheduling of Asynchronous Periodic TasksJames H. Anderson, Anand Srinivasan. 76 [doi]
- Real-Time Communication Protocol Development Using SDL for an Embedded System On Chip Based on ARM MicrocontrollerChristos Drosos, M. Zayadine, Dimitris Metafas. 89-94 [doi]
- Timely Use of the CAN Protocol in Critical Hard Real-Time Systems with FaultsIan Broster, Alan Burns. 95-102 [doi]
- Timing Analysis of Reliable Real-Time Communication in CAN NetworksLuís Miguel Pinho, Francisco Vasques. 103-116 [doi]
- MSC+: From Requirement to Prototyped SystemsMesfin Belachew, R. K. Shyamasundar. 117-124 [doi]
- MAST: Modeling and Analysis Suite for Real Time ApplicationsMichael González Harbour, J. J. Gutiérrez García, José C. Palencia Gutiérrez, J. M. Drake Moyano. 125-134 [doi]
- A Synchronous Model of IEC 61131 PLC Languages in SIGNALFernando Jiménez-Fraustro, Éric Rutten. 135-142 [doi]
- Partitioning of Hierarchical Automation SystemsEmanuele Ciapessoni, Francesco Maestri, Judit Szanto, Stefano Crespi-Reghizzi, Andrea Ornstein, Giuseppe Psaila. 143 [doi]
- Test Generation for Time Critical Systems: Tool and Case StudyBrian Nielsen, Arne Skou. 155-162 [doi]
- Formal Platform-Independent Design of Real-Time SystemsA. Sintoski, Dieter K. Hammer, Onno S. van Roosmalen, Jozef Hooman. 163-170 [doi]
- A New Approach to the Specification and Verification of Real-Time SystemsGeorge Logothetis, Klaus Schneider. 171 [doi]
- Predictable and Efficient Virtual Addressing for Safety-Critical Real-Time SystemsM. D. Bennett, Neil C. Audsley. 183-190 [doi]
- Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating SystemAntoine Colin, Isabelle Puaut. 191-198 [doi]
- A New Kernel Approach for Modular Real-Time Systems DevelopmentPaolo Gai, Luca Abeni, Massimiliano Giorgi, Giorgio C. Buttazzo. 199 [doi]
- An Effective Schedulability Analysis for Fault-Tolerant Hard Real-Time SystemsGeorge M. de A. Lima, Alan Burns. 209-216 [doi]
- Real-Time Disk Scheduling for Block-Stripping I2O RAIDTei-Wei Kuo, Ji-Shin Rao, Jun Wu, Victor C. S. Lee. 217-224 [doi]
- Determining Optimal Processor Speeds for Periodic Real-Time Tasks with Different Power CharacteristicsHakan Aydin, Rami G. Melhem, Daniel Mossé, Pedro Mejía-Alvarez. 225-232 [doi]
- Analysis of a Simple Model for Non-Preemptive Blocking-Free SchedulingLuís Almeida, José Alberto Fonseca. 233 [doi]