Skip to main content
SpringerLink
Log in
Book cover

Reliable Software Technologies – Ada-Europe 2015

20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Juan Antonio de la Puente

    1. Universidad Politécnica de Madrid - UPM, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tullio Vardanega

    1. Università di Padova, Padova, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9111)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: Ada-Europe 2015.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Keynotes

    1. Front Matter

      Pages 1-1
      Download chapter 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
      Download chapter 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
      Download chapter 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
      Download chapter 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
      Download chapter 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
Back to top

Other volumes

  1. Reliable Software Technologies – Ada-Europe 2015

Keywords

About this book

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.

Editors and Affiliations

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

    Juan Antonio de la Puente

  • Università di Padova, Padova, Italy

    Tullio Vardanega

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation