Reliable Software Technologies – Ada-Europe 2015

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

  • Juan Antonio de la Puente
  • Tullio Vardanega
Conference proceedings Ada-Europe 2015
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9111)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Keynotes

    1. Front Matter
      Pages 1-1
    2. 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
    2. Domenik Pavletic, Markus Voelter, Syed Aoun Raza, Bernd Kolb, Timo Kehrer
      Pages 33-49
    3. Husni Khanfar, Björn Lisper, Abu Naser Masud
      Pages 50-65
    4. Geoffrey Nelissen, David Pereira, Luís Miguel Pinho
      Pages 66-82
  4. Real-Time Applications

    1. Front Matter
      Pages 83-83
    2. Juan Zamorano, Jorge Garrido
      Pages 85-99
    3. Santiago Urueña, Nuria Pérez, Bruno N. Calvo, Carlos Flores, Andreas Jung
      Pages 100-115
  5. Critical Systems

    1. Front Matter
      Pages 129-129
    2. Andrea Baldovin, Alessandro Zovi, Geoffrey Nelissen, Stefano Puri
      Pages 131-145
    3. Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel
      Pages 146-161
    4. Omar Jaradat, Iain Bate, Sasikumar Punnekkat
      Pages 162-176
  6. Multicore and Distributed Systems

    1. Front Matter
      Pages 177-177
    2. Sebastiano Catellani, Luca Bonato, Sebastian Huber, Enrico Mezzetti
      Pages 179-195
    3. Luís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft
      Pages 196-211
    4. Jesús Fernández, Héctor Pérez, J. Javier Gutiérrez, Michael González Harbour
      Pages 212-227

About these proceedings

Introduction

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.

Keywords

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

Editors and affiliations

  • Juan Antonio de la Puente
    • 1
  • Tullio Vardanega
    • 2
  1. 1.Universidad Politécnica de Madrid - UPMMadridSpain
  2. 2.Università di PadovaPadovaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-19584-1
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-19583-4
  • Online ISBN 978-3-319-19584-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book