Abstract is missing.
- Using Safety Contracts to Verify Design Assumptions During RuntimeOmar Jaradat, Sasikumar Punnekkat. 3-18 [doi]
- Tool-Supported Safety-Relevant Component Reuse: From Specification to ArgumentationIrfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri. 19-33 [doi]
- Safe Dynamic Memory Management in Ada and SPARKMaroua Maalej, S. Tucker Taft, Yannick Moy. 37-52 [doi]
- Safe Non-blocking Synchronization in Ada2xJohann Blieberger, Bernd Burgstaller. 53-69 [doi]
- On the Effect of Protected Entry Servicing Policies on the Response Time of Ada TasksJorge Garrido, Juan Zamorano, Alejandro Alonso 0001, Juan Antonio de la Puente. 73-86 [doi]
- Improved Cache-Related Preemption Delay Estimation for Fixed Preemption Point SchedulingFilip Markovic, Jan Carlson, Radu Dobrin. 87-101 [doi]
- Combined Scheduling of Time-Triggered and Priority-Based Task Sets in RavenscarJorge Real, Sergio Saez, Alfons Crespo. 105-122 [doi]
- Theory and Practice of EDF Scheduling in Distributed Real-Time SystemsJ. Javier Gutiérrez, Héctor Pérez. 123-137 [doi]
- Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMPSara Royuela, Xavier Martorell, Eduardo Quiñones, Luís Miguel Pinho. 141-157 [doi]
- Microservice-Based Agile Architectures: An Opportunity for Specialized Niche TechnologiesStefano Munari, Sebastiano Valle, Tullio Vardanega. 158-174 [doi]