Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2017

Reliable Software Technologies – Ada-Europe 2017

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

Editors:

  1. Johann Blieberger

    1. Institute of Computer Aided Automation, Vienna University of Technology , Vienna, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Markus Bader

    1. Institute of Computer Aided Institute, Vienna University of Technology, Vienna, Austria

    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 10300)

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

Conference series link(s): Ada-Europe: Ada-Europe International Conference on Reliable Software Technologies

Conference proceedings info: Ada-Europe 2017.

Sections

Buy it now

eBook USD 44.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.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

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

Table of contents (15 papers)

  1. Front Matter

    Pages I-XIV
    PDF

  2. Runtimes

    1. Front Matter

      Pages 1-1
      PDF

    2. Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile

      • Jorge Garrido, Juan Zamorano, Alejandro Alonso, Juan A. de la Puente
      Pages 3-17

  3. Safety and Security

    1. Front Matter

      Pages 35-35
      PDF

    3. Enforcing Timeliness and Safety in Mission-Critical Systems

      • António Casimiro, Inês Gouveia, José Rufino
      Pages 53-69

  4. Timing Verification

    1. Front Matter

      Pages 71-71
      PDF

    2. Supporting Nested Resources in MrsP

      • Jorge Garrido, Shuai Zhao, Alan Burns, Andy Wellings
      Pages 73-86

    4. MC2: Multicore and Cache Analysis via Deterministic and Probabilistic Jitter Bounding

      • 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
      PDF

    2. Lock Elision for Protected Objects Using Intel Transactional Synchronization Extensions

      • Seongho Jeong, Shinhyung Yang, Bernd Burgstaller
      Pages 121-136

    3. An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada

      • Morteza Mohaqeqi, Jakaria Abdullah, Wang Yi
      Pages 137-152

    4. RxAda: An Ada implementation of the ReactiveX API

      • Alejandro R. Mosteo
      Pages 153-166

  6. Panel: The Future of Safety-Minded Languages

    1. Front Matter

      Pages 167-167
      PDF

    2. A New Ravenscar-Based Profile

      • Patrick Rogers, Jose Ruiz, Tristan Gingold, Patrick Bernardi
      Pages 169-183

    3. OpenMP Tasking Model for Ada: Safety and Correctness

      • Sara Royuela, Xavier Martorell, Eduardo Quiñones, Luis Miguel Pinho
      Pages 184-200

  7. Mixed Criticality

    1. Front Matter

      Pages 201-201
      PDF
Back to top

Other Volumes

  1. Reliable Software Technologies – Ada-Europe 2017

Back to top

About this book

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.

Back to top

Keywords

Back to top

Editors and Affiliations

  • Institute of Computer Aided Automation, Vienna University of Technology , Vienna, Austria

    Johann Blieberger

  • Institute of Computer Aided Institute, Vienna University of Technology, Vienna, Austria

    Markus Bader

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 44.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.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

Search

Navigation