Reliable software technologies -- Ada-Europe 2018 : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings

This book constitutes the proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2018, held in Lisbon, Portugal, in June 2018. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They were organized in topical sections named: safety and security; Ada 202X; handling implicit overhead; real-time scheduling; and new application domains. Front Matter ....Pages I-XIV Front Matter ....Pages 1-1 Using Safety Contracts to Verify Design Assumptions During Runtime (Omar Jaradat, Sasikumar Punnekkat)....Pages 3-18 Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation (Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri)....Pages 19-33 Front Matter ....Pages 35-35 Safe Dynamic Memory Management in Ada and SPARK (Maroua Maalej, Tucker Taft, Yannick Moy)....Pages 37-52 Safe Non-blocking Synchronization in Ada2x (Johann Blieberger, Bernd Burgstaller)....Pages 53-69 Front Matter ....Pages 71-71 On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks (Jorge Garrido, Juan Zamorano, Alejandro Alonso, Juan A. de la Puente)....Pages 73-86 Improved Cache-Related Preemption Delay Estimation for Fixed Preemption Point Scheduling (Filip Marković, Jan Carlson, Radu Dobrin)....Pages 87-101 Front Matter ....Pages 103-103 Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar (Jorge Real, Sergio Sáez, Alfons Crespo)....Pages 105-122 Theory and Practice of EDF Scheduling in Distributed Real-Time Systems (J. Javier Gutiérrez, Héctor Pérez)....Pages 123-137 Front Matter ....Pages 139-139 Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP (Sara Royuela, Xavier Martorell, Eduardo Quiñones, Luis Miguel Pinho)....Pages 141-157 Microservice-Based Agile Architectures: An Opportunity for Specialized Niche Technologies (Stefano Munari, Sebastiano Valle, Tullio Vardanega)....Pages 158-174 Back Matter ....Pages 175-175