Reliable Software Technologies – Ada-Europe 2013

18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings

ISBN: 978-3-642-38600-8 (Print) 978-3-642-38601-5 (Online)

Table of contents (11 chapters)

  1. Front Matter

    Pages -

  2. Session: Multicore and Distributed Systems

    1. No Access

      Book Chapter

      Pages 1-16

      Experience with the Integration of Distribution Middleware into Partitioned Systems

    2. No Access

      Book Chapter

      Pages 17-34

      Tasklettes – A Fine Grained Parallelism for Ada on Multicores

    3. No Access

      Book Chapter

      Pages 35-50

      Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processors

  3. Session: Ada and Spark

    1. No Access

      Book Chapter

      Pages 51-64

      A SPARK/Ada CubeSat Control Program

    2. No Access

      Book Chapter

      Pages 65-80

      Lady Ada Mediates Peace Treaty in Endianness War

  4. Session: Dependability

    1. No Access

      Book Chapter

      Pages 81-93

      Provably Secure DNS: A Case Study in Reliable Software

    2. No Access

      Book Chapter

      Pages 95-108

      Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems

    3. No Access

      Book Chapter

      Pages 109-126

      Measuring the Odds of Statements Being Faulty

  5. Session: Real-Time Systems

    1. No Access

      Book Chapter

      Pages 127-142

      A Model-Based Framework for Developing Real-Time Safety Ada Systems

    2. No Access

      Book Chapter

      Pages 143-160

      Towards a Time-Composable Operating System

    3. No Access

      Book Chapter

      Pages 161-176

      Worst–Case Execution Time Analysis Approach for Safety–Critical Airborne Software

  6. Back Matter

    Pages -