Reliable Software Technologies – Ada-Europe 2011

1. Front Matter

   PDF

2. Keynote Talk

   1. Assuring Software Reliability While Using Web Services and Commercial Products

      • Jeffrey O’Leary

      Pages 1-16

3. Multicore

   1. Detecting High-Level Synchronization Errors in Parallel Programs

      • Syed Aoun Raza, Stefan Franke, Erhard Ploedereder

      Pages 17-30

   2. Design and Implementation of a Ravenscar Extension for Multiprocessors

      • Fabien Chouteau, José F. Ruiz

      Pages 31-45

   3. A Real-Time Framework for Multiprocessor Platforms Using Ada 2012

      • Sergio Sáez, Silvia Terrasa, Alfons Crespo

      Pages 46-60

4. Verification

   1. The SQALE Quality and Analysis Models for Assessing the Quality of Ada Source Code

      • Thierry Coq, Jean-Pierre Rosen

      Pages 61-74

   2. Adapting ACATS to the Ahven Testing Framework

      • Dan Eilers, Tero Koskinen

      Pages 75-88

   3. Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE

      • Julio L. Medina, Alvaro Garcia Cuesta

      Pages 89-102

5. Architecture and Modelling

   1. Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL

      • Andreas Johnsen, Kristina Lundqvist

      Pages 103-117

   2. A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems

      • Laura Carnevali, Giuseppe Lipari, Alessandro Pinzuti, Enrico Vicario

      Pages 118-131

   3. Architecting a Common Bridge Abstraction over Different Middleware Paradigms

      • Iago Rodríguez-López, Marisol García-Valls

      Pages 132-146

6. Education and Mixed Criticality

   1. Using Robotics as a Motivational Tool: An Ada Interface to a Pioneer Robot

      • Rigoberto Chil, Diego Alonso, Francisco Ortiz, Juan Pastor

      Pages 147-159

   2. ORK+/XtratuM: An Open Partitioning Platform for Ada

      • Ángel Esquinas, Juan Zamorano, Juan A. de la Puente, Miguel Masmano, Ismael Ripoll, Alfons Crespo

      Pages 160-173

   3. Implementing Mixed Criticality Systems in Ada

      • Sanjoy Baruah, Alan Burns

      Pages 174-188

7. Panel: Language Paradigms for Multicore Programming

   1. Programming Languages Meet Multicore

      • Erhard Ploedereder

      Pages 189-192

   2. Programming Languages for Real-Time Applications Executing on Parallel Hardware

      • Alan Burns

      Pages 193-195

   3. Multicore Programming in ParaSail

      • S. Tucker Taft

      Pages 196-200

   4. Why Parallel Functional Programming Matters: Panel Statement

      • Kevin Hammond

      Pages 201-205

8. Panel: DO178C and Object-Orientation for Critical Systems

   1. OOT, DO-178C and SPARK

      • Roderick Chapman, Trevor Jennings

      Pages 206-210

   2. Position Paper: DO-178C/ED-12C and Object-Orientation for Critical Systems

      • Dewi Daniels

      Pages 211-213

This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The revised 12 papers presented together with several invited contributions were carefully reviewed and selected from 30 submissions. Topics of interest to the conference are methods and techniques for software development and maintenance ; software architectures; enabling technologies; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; experience reports; the future of Ada.

• Ada 2005 programming
• formal methods
• parallel programming
• real-time systems
• reliable systems
• safety-critical systems
• systems modeling

• School of Computing Science, Newcastle University, Newcastle upon Tyne, UK

  Alexander Romanovsky

• Department of Pure and Applied Mathematics, University of Padua, Padua, Italy

  Tullio Vardanega

Policies and ethics