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.
António Casimiro
computer architecture computer software selection and evaluation distributed systems microprocessor chips parallel programmine processors Quality of Service (QoS) real time systems safety critical systems schedulability analysis software engineering verification