Reliable Software Technologies – Ada-Europe 2013 [recurso electrónico] 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings

This book constitutes the refereed proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2013, was held in Berlin, Germany, in June 2013. The 11 full papers presented were carefully reviewed and selected from various submissions. They are organized in topical sections on multi-core and distributed systems; Ada and Spark; dependability; and real-time systems. Front Matter....Pages - Experience with the Integration of Distribution Middleware into Partitioned Systems....Pages 1-16 Tasklettes – A Fine Grained Parallelism for Ada on Multicores....Pages 17-34 Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processors....Pages 35-50 A SPARK/Ada CubeSat Control Program....Pages 51-64 Lady Ada Mediates Peace Treaty in Endianness War....Pages 65-80 Provably Secure DNS: A Case Study in Reliable Software....Pages 81-93 Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems....Pages 95-108 Measuring the Odds of Statements Being Faulty....Pages 109-126 A Model-Based Framework for Developing Real-Time Safety Ada Systems....Pages 127-142 Towards a Time-Composable Operating System....Pages 143-160 Worst–Case Execution Time Analysis Approach for Safety–Critical Airborne Software....Pages 161-176 Back Matter....Pages -