Reliable Software Technologies – Ada-Europe 2018 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

10

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Springer International Publishing

9783319924311, 9783319924328

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Safe Non-blocking Synchronization in Ada2x

Reliable Software Technologies – Ada-Europe 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-92432-8_4 ◽

2018 ◽

pp. 53-69

Author(s):

Johann Blieberger ◽

Bernd Burgstaller

Download Full-text

Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP

Reliable Software Technologies – Ada-Europe 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-92432-8_9 ◽

2018 ◽

pp. 141-157 ◽

Author(s):

Sara Royuela ◽

Xavier Martorell ◽

Eduardo Quiñones ◽

Luis Miguel Pinho

Keyword(s):

Analysis Techniques ◽

Compiler Analysis

Download Full-text

Theory and Practice of EDF Scheduling in Distributed Real-Time Systems

Reliable Software Technologies – Ada-Europe 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-92432-8_8 ◽

2018 ◽

pp. 123-137

Author(s):

J. Javier Gutiérrez ◽

Héctor Pérez

Keyword(s):

Real Time ◽

Theory And Practice ◽

Real Time Systems ◽

Download Full-text

Safe Dynamic Memory Management in Ada and SPARK

Reliable Software Technologies – Ada-Europe 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-92432-8_3 ◽

2018 ◽

pp. 37-52 ◽

Author(s):

Maroua Maalej ◽

Tucker Taft ◽

Yannick Moy

Keyword(s):

Memory Management ◽

Dynamic Memory ◽

Dynamic Memory Management

Download Full-text

Using Safety Contracts to Verify Design Assumptions During Runtime

Reliable Software Technologies – Ada-Europe 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-92432-8_1 ◽

2018 ◽

pp. 3-18 ◽

Author(s):

Omar Jaradat ◽

Sasikumar Punnekkat

Download Full-text

Microservice-Based Agile Architectures: An Opportunity for Specialized Niche Technologies

Reliable Software Technologies – Ada-Europe 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-92432-8_10 ◽

2018 ◽

pp. 158-174

Author(s):

Stefano Munari ◽

Sebastiano Valle ◽

Tullio Vardanega

Download Full-text

Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar

Reliable Software Technologies – Ada-Europe 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-92432-8_7 ◽

2018 ◽

pp. 105-122 ◽

Author(s):

Jorge Real ◽

Sergio Sáez ◽

Alfons Crespo

Keyword(s):

Download Full-text

On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks

Reliable Software Technologies – Ada-Europe 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-92432-8_5 ◽

2018 ◽

pp. 73-86

Author(s):

Jorge Garrido ◽

Juan Zamorano ◽

Alejandro Alonso ◽

Juan A. de la Puente

Keyword(s):

Download Full-text

Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation

Reliable Software Technologies – Ada-Europe 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-92432-8_2 ◽

2018 ◽

pp. 19-33 ◽

Author(s):

Irfan Sljivo ◽

Barbara Gallina ◽

Jan Carlson ◽

Hans Hansson ◽

Stefano Puri

Keyword(s):

Component Reuse ◽

Relevant Component

Download Full-text

Improved Cache-Related Preemption Delay Estimation for Fixed Preemption Point Scheduling

Reliable Software Technologies – Ada-Europe 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-92432-8_6 ◽

2018 ◽

pp. 87-101 ◽

Author(s):

Filip Marković ◽

Jan Carlson ◽

Radu Dobrin

Keyword(s):

Delay Estimation

Download Full-text