Skip to main content
SpringerLink
Log in
Book cover

Reliable Software Technologies – Ada-Europe 2016

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

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Marko Bertogna

    1. Università di Modena e Reggio Emilia, Modena, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Luis Miguel Pinho

    1. CISTER Research Centre, Porto, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Eduardo Quiñones

    1. Barcelona Supercomputing Center, Barcelona, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: Ada-Europe 2016.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  3. Concurrency and Parallelism

    1. Front Matter

      Pages 13-13
      Download chapter 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
      Download chapter 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
      Download chapter 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
      Download chapter 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
    Download chapter PDF
Back to top

Other volumes

  1. Reliable Software Technologies – Ada-Europe 2016

Keywords

About this book

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.

Editors and Affiliations

  • Università di Modena e Reggio Emilia, Modena, Italy

    Marko Bertogna

  • CISTER Research Centre, Porto, Portugal

    Luis Miguel Pinho

  • Barcelona Supercomputing Center, Barcelona, Spain

    Eduardo Quiñones

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation