Reliable Software Technologies – Ada-Europe 2017

22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

  • Johann Blieberger
  • Markus Bader
Conference proceedings Ada-Europe 2017

DOI: 10.1007/978-3-319-60588-3

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

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Runtimes

    1. Front Matter
      Pages 1-1
    2. Jorge Garrido, Juan Zamorano, Alejandro Alonso, Juan A. de la Puente
      Pages 3-17
  3. Safety and Security

    1. Front Matter
      Pages 35-35
    2. António Casimiro, Inês Gouveia, José Rufino
      Pages 53-69
  4. Timing Verification

    1. Front Matter
      Pages 71-71
    2. Jorge Garrido, Shuai Zhao, Alan Burns, Andy Wellings
      Pages 73-86
    3. Enrique Díaz, Mikel Fernández, Leonidas Kosmidis, Enrico Mezzetti, Carles Hernandez, Jaume Abella et al.
      Pages 102-118
  5. Programming Models

    1. Front Matter
      Pages 119-119
    2. Seongho Jeong, Shinhyung Yang, Bernd Burgstaller
      Pages 121-136
    3. Morteza Mohaqeqi, Jakaria Abdullah, Wang Yi
      Pages 137-152
    4. Alejandro R. Mosteo
      Pages 153-166
  6. Panel: The Future of Safety-Minded Languages

    1. Front Matter
      Pages 167-167
    2. Patrick Rogers, Jose Ruiz, Tristan Gingold, Patrick Bernardi
      Pages 169-183
    3. Sara Royuela, Xavier Martorell, Eduardo Quiñones, Luis Miguel Pinho
      Pages 184-200
  7. Mixed Criticality

    1. Front Matter
      Pages 201-201

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017.

The revised 15 full papers presented were carefully reviewed and selected from 37 submissions. They are organized in topical sections on runtimes, safety and security, timing verification, programming models, the future of safety-minded languages, mixed criticality.

Keywords

parallel processing systems cyber physical systems embedded systems embedded software multiparadigm languages computer programming languages real-time systems reliability safety-critical software security software safety

Editors and affiliations

  • Johann Blieberger
    • 1
  • Markus Bader
    • 2
  1. 1.Institute of Computer Aided AutomationVienna University of Technology ViennaAustria
  2. 2.Institute of Computer Aided InstituteVienna University of TechnologyViennaAustria

Bibliographic information

  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-60587-6
  • Online ISBN 978-3-319-60588-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349