Reliable Software Technologies – Ada-Europe 2018
Book information
Description
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
Similar books
Web Engineering: 20th International Conference, ICWE 2020, Helsinki, Finland, June 9–12, 2020, Proceedings
2020 · PDF
Augmented Cognition. Human Cognition and Behavior: 14th International Conference, AC 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II
2020 · PDF
Distributed Applications and Interoperable Systems: 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
2020 · PDF
Culture and Computing: 8th International Conference, C&C 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings
2020 · PDF
Human Aspects of IT for the Aged Population. Technologies, Design and User Experience: 6th International Conference, ITAP 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I
2020 · PDF
Human Aspects of IT for the Aged Population. Technology and Society: 6th International Conference, ITAP 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part III
2020 · PDF
Information Processing and Management of Uncertainty in Knowledge-Based Systems: 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings, Part III
2020 · PDF
Social Computing and Social Media. Participation, User Experience, Consumer Experience, and Applications of Social Computing: 12th International Conference, SCSM 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II
2020 · PDF