Reliable Software Technologies – Ada-Europe 2016

21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings

  • Marko Bertogna
  • Luis Miguel Pinho
  • Eduardo Quiñones
Conference proceedings Ada-Europe 2016
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9695)

Table of contents

  1. Front Matter
    Pages I-XIV
    PDF

  2. Invited Paper

    1. Front Matter
      Pages 1-1
      PDF
    2. Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems
      Alan Burns
      Pages 3-11

  3. Concurrency and Parallelism

    1. Front Matter
      Pages 13-13
      PDF
    2. Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model
      Morteza Mohaqeqi, Jakaria Abdullah, Wang Yi
      Pages 15-29
    3. Eliminating Data Race Warnings Using CSP
      Martin Wittiger
      Pages 30-43
    4. Real-Time Stream Processing in Java
      HaiTao Mei, Ian Gray, Andy Wellings
      Pages 44-57

  4. Testing and Verification

    1. Front Matter
      Pages 59-59
      PDF
    2. Addressing the Regression Test Problem with Change Impact Analysis for Ada
      Andrew V. Jones
      Pages 61-77
    3. Test Case Prioritization Using Online Fault Detection Information
      Mohsen Laali, Huai Liu, Margaret Hamilton, Maria Spichkova, Heinz W. Schmidt
      Pages 78-93
    4. An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine
      Franco Mazzanti
      Pages 94-109

  5. Program Correctness and Robustness

    1. Front Matter
      Pages 111-111
      PDF
    2. Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development
      Laura Baracchi, Silvia Mazzini, Stefano Puri, Tullio Vardanega
      Pages 113-128
    3. Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance
      Wafa Gabsi, Bechir Zalila, Mohamed Jmaiel
      Pages 129-144
    4. Kronecker Algebra for Static Analysis of Barriers in Ada
      Robert Mittermayr, Johann Blieberger
      Pages 145-159

  6. Real-Time Systems

    1. Front Matter
      Pages 161-161
      PDF
    2. An Empirical Investigation of Eager and Lazy Preemption Approaches in Global Limited Preemptive Scheduling
      Abhilash Thekkilakattil, Kaiqian Zhu, Yonggao Nie, Radu Dobrin, Sasikumar Punnekkat
      Pages 163-178
    3. The Polling Effect on the Schedulability of Distributed Real-Time Systems
      Héctor Pérez, J. Javier Gutiérrez, Michael González Harbour, J. Carlos Palencia
      Pages 179-194
    4. Combining Time-Triggered Plans with Priority Scheduled Task Sets
      Jorge Real, Sergio Sáez, Alfons Crespo
      Pages 195-212
  7. Back Matter
    Pages 213-213
    PDF

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016, held in Pisa, Italy, in June 2016.

The revised 12 full papers presented together with one invited paper were carefully reviewed and selected from 28 submissions. They are organized in topical sections on concurrency and parallelism, testing and verification, program correctness and robustness, and real-time systems.

Keywords

distributed systems fault-tolerance formal methods model checking parallel programming correctness cyber physical systems embedded systems model-based development modeling multicore processor architectures programming languages real-time scheduling real-time systems reliability robustness safety-critical software software verification static analysis testing

Editors and affiliations

  • Marko Bertogna
    • 1
  • Luis Miguel Pinho
    • 2
  • Eduardo Quiñones
    • 3
  1. 1.Università di Modena e Reggio EmiliaModenaItaly
  2. 2.CISTER Research CentrePortoPortugal
  3. 3.Barcelona Supercomputing CenterBarcelonaSpain

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-39083-3
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-39082-6
  • Online ISBN 978-3-319-39083-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349