Reliable Software Technologies – Ada-Europe 2015

1. Front Matter

   Pages I-XIV

   PDF

2. Keynotes

   1. Front Matter

      Pages 1-1

      PDF

   2. A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning

      • Jon Perez, David Gonzalez, Salvador Trujillo, Ton Trapman

      Pages 3-17

   3. The Central on-Board Computer of the Philae Lander in the Context of the Rosetta Space Mission

      • A. Balázs, A. Baksa, H. Bitterlich, I. Hernyes, O. Küchemann, Z. Pálos et al.

      Pages 18-30

3. Language Technology

   1. Front Matter

      Pages 31-31

      PDF

   2. Extensible Debugger Framework for Extensible Languages

      • Domenik Pavletic, Markus Voelter, Syed Aoun Raza, Bernd Kolb, Timo Kehrer

      Pages 33-49

   3. Static Backward Program Slicing for Safety-Critical Systems

      • Husni Khanfar, Björn Lisper, Abu Naser Masud

      Pages 50-65

   4. A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring

      • Geoffrey Nelissen, David Pereira, Luís Miguel Pinho

      Pages 66-82

4. Real-Time Applications

   1. Front Matter

      Pages 83-83

      PDF

   2. Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCS

      • Juan Zamorano, Jorge Garrido

      Pages 85-99

   3. Guaranteeing Timing Requirements in the IXV On-Board Software

      • Santiago Urueña, Nuria Pérez, Bruno N. Calvo, Carlos Flores, Andreas Jung

      Pages 100-115

   4. Maintenance of Reliable Distributed Applications with Open-Source Middleware: Fifteen Years Later

      • Manuel Díaz, Daniel Garrido

      Pages 116-128

5. Critical Systems

   1. Front Matter

      Pages 129-129

      PDF

   2. The CONCERTO Methodology for Model-Based Development of Avionics Software

      • Andrea Baldovin, Alessandro Zovi, Geoffrey Nelissen, Stefano Puri

      Pages 131-145

   3. From AADL Model to LNT Specification

      • Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel

      Pages 146-161

   4. Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases

      • Omar Jaradat, Iain Bate, Sasikumar Punnekkat

      Pages 162-176

6. Multicore and Distributed Systems

   1. Front Matter

      Pages 177-177

      PDF

   2. Challenges in the Implementation of MrsP

      • Sebastiano Catellani, Luca Bonato, Sebastian Huber, Enrico Mezzetti

      Pages 179-195

   3. An Execution Model for Fine-Grained Parallelism in Ada

      • Luís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft

      Pages 196-211

   4. AFDX Emulator for an ARINC-Based Training Platform

      • Jesús Fernández, Héctor Pérez, J. Javier Gutiérrez, Michael González Harbour

      Pages 212-227

This book constitutes the refereed proceedings of the 20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015, held in Madrid, Spain, in June 2015.
The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 36 submissions. They are organized in topical sections on language technology, real-time applications, critical systems, and multicore and distributed systems.

• Distributed systems
• Embedded systems
• Formal methods
• Hybrid architectures
• Logics and meanings of programs
• Mathematical logic and formal languages
• Middleware
• Model-based engineering
• Multiprocessor systems
• Parallelism
• Partitioned systems
• Programming languages, compilers, interpreters
• Real-time systems
• Run-time verification
• Safety critical systems
• Scheduling
• Software engineering
• Software reliability
• Special purpose and application-based systems
• Specification languages

• Universidad Politécnica de Madrid - UPM, Madrid, Spain

  Juan Antonio de la Puente

• Università di Padova, Padova, Italy

  Tullio Vardanega

Policies and ethics