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
    PDF

  2. Safety and Security

    1. Front Matter
      Pages 1-1
      PDF
    2. Using Safety Contracts to Verify Design Assumptions During Runtime
      Omar Jaradat, Sasikumar Punnekkat
      Pages 3-18
    3. Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation
      Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri
      Pages 19-33

  3. Ada 202X

    1. Front Matter
      Pages 35-35
      PDF
    2. Safe Dynamic Memory Management in Ada and SPARK
      Maroua Maalej, Tucker Taft, Yannick Moy
      Pages 37-52
    3. Safe Non-blocking Synchronization in Ada2x
      Johann Blieberger, Bernd Burgstaller
      Pages 53-69

  4. Handling Implicit Overhead

    1. Front Matter
      Pages 71-71
      PDF
    2. On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks
      Jorge Garrido, Juan Zamorano, Alejandro Alonso, Juan A. de la Puente
      Pages 73-86
    3. Improved Cache-Related Preemption Delay Estimation for Fixed Preemption Point Scheduling
      Filip Marković, Jan Carlson, Radu Dobrin
      Pages 87-101

  5. Real-Time Scheduling

    1. Front Matter
      Pages 103-103
      PDF
    2. Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar
      Jorge Real, Sergio Sáez, Alfons Crespo
      Pages 105-122
    3. Theory and Practice of EDF Scheduling in Distributed Real-Time Systems
      J. Javier Gutiérrez, Héctor Pérez
      Pages 123-137

  6. New Application Domains

    1. Front Matter
      Pages 139-139
      PDF
    2. Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP
      Sara Royuela, Xavier Martorell, Eduardo Quiñones, Luis Miguel Pinho
      Pages 141-157
    3. Microservice-Based Agile Architectures: An Opportunity for Specialized Niche Technologies
      Stefano Munari, Sebastiano Valle, Tullio Vardanega
      Pages 158-174
  7. Back Matter
    Pages 175-175
    PDF

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 Computer Science (R0)
  • 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
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering