Abstract is missing.
- Evaluating MSRP and MrsP with the Multiprocessor Ravenscar ProfileJorge Garrido, Juan Zamorano, Alejandro Alonso 0001, Juan Antonio de la Puente. 3-17 [doi]
- Ravenscar-EDF: Comparative Benchmarking of an EDF Variant of a Ravenscar RuntimePaolo Carletto, Tullio Vardanega. 18-33 [doi]
- Sanitizing Sensitive Data: How to Get It Right (or at Least Less Wrong...)Roderick Chapman. 37-52 [doi]
- Enforcing Timeliness and Safety in Mission-Critical SystemsAntonio Casimiro, Inês Gouveia, José Rufino. 53-69 [doi]
- Supporting Nested Resources in MrsPJorge Garrido, Shuai Zhao, Alan Burns, Andy J. Wellings. 73-86 [doi]
- Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time SystemsXiaotian Dai, Alan Burns. 87-101 [doi]
- MC2: Multicore and Cache Analysis via Deterministic and Probabilistic Jitter BoundingEnrique Díaz, Mikel Fernández, Leonidas Kosmidis, Enrico Mezzetti, Carles Hernández, Jaume Abella, Francisco J. Cazorla. 102-118 [doi]
- Lock Elision for Protected Objects Using Intel Transactional Synchronization ExtensionsSeongho Jeong, Shinhyung Yang, Bernd Burgstaller. 121-136 [doi]
- An Executable Semantics for Synchronous Task Graphs: From SDRT to AdaMorteza Mohaqeqi, Jakaria Abdullah, Wang Yi 0001. 137-152 [doi]
- RxAda: An Ada implementation of the ReactiveX APIAlejandro R. Mosteo. 153-166 [doi]
- A New Ravenscar-Based ProfilePatrick Rogers, Jose Ruiz, Tristan Gingold, Patrick Bernardi. 169-183 [doi]
- OpenMP Tasking Model for Ada: Safety and CorrectnessSara Royuela, Xavier Martorell, Eduardo Quiñones, Luís Miguel Pinho. 184-200 [doi]
- Migrating Mixed Criticality Tasks Within a Cyclic Executive FrameworkAlan Burns, Sanjoy Baruah. 203-216 [doi]
- Directed Acyclic Graph Scheduling for Mixed-Criticality SystemsRoberto Medina, Etienne Borde, Laurent Pautet. 217-232 [doi]
- Software Time Reliability in the Presence of Cache MemoriesSuzana Milutinovic, Jaume Abella, Irune Agirre, Mikel Azkarate-askasua, Enrico Mezzetti, Tullio Vardanega, Francisco J. Cazorla. 233-249 [doi]