Advertisement

Reliable Software Technologies – Ada-Europe 2018

23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings

  • António Casimiro
  • Pedro M. Ferreira
Conference proceedings Ada-Europe 2018

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 10873)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Safety and Security

    1. Front Matter
      Pages 1-1
    2. Omar Jaradat, Sasikumar Punnekkat
      Pages 3-18
    3. Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri
      Pages 19-33
  3. Ada 202X

    1. Front Matter
      Pages 35-35
    2. Maroua Maalej, Tucker Taft, Yannick Moy
      Pages 37-52
    3. Johann Blieberger, Bernd Burgstaller
      Pages 53-69
  4. Handling Implicit Overhead

    1. Front Matter
      Pages 71-71
    2. Jorge Garrido, Juan Zamorano, Alejandro Alonso, Juan A. de la Puente
      Pages 73-86
  5. Real-Time Scheduling

    1. Front Matter
      Pages 103-103
    2. Jorge Real, Sergio Sáez, Alfons Crespo
      Pages 105-122
    3. J. Javier Gutiérrez, Héctor Pérez
      Pages 123-137
  6. New Application Domains

    1. Front Matter
      Pages 139-139
    2. Sara Royuela, Xavier Martorell, Eduardo Quiñones, Luis Miguel Pinho
      Pages 141-157
    3. Stefano Munari, Sebastiano Valle, Tullio Vardanega
      Pages 158-174
  7. Back Matter
    Pages 175-175

About these proceedings

Introduction

This book constitutes the proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2018, held in Lisbon, Portugal, in June 2018.

The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They were organized in topical sections named: safety and security; Ada 202X; handling implicit overhead; real-time scheduling; and new application domains. 

Keywords

computer architecture computer software selection and evaluation distributed systems microprocessor chips parallel programmine processors Quality of Service (QoS) real time systems safety critical systems schedulability analysis software engineering verification

Editors and affiliations

  1. 1.University of LisbonLisbonPortugal
  2. 2.University of LisbonLisbonPortugal

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-92432-8
  • Copyright Information Springer International Publishing AG, part of Springer Nature 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-92431-1
  • Online ISBN 978-3-319-92432-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site