Reliable Software Technologies - Ada-Europe 2018

Reliable Software Technologies - Ada-Europe 2018

23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings

Casimiro, Antonio; Ferreira, Pedro M.

Springer International Publishing AG

05/2018

175

Mole

Inglês

9783319924311

15 a 20 dias

2993

Descrição não disponível.
Safety and Security.- Using Safety Contracts to Verify Design Assumptions During Runtime.- Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation.- Ada 202X.- Safe Dynamic Memory Management in Ada and SPARK.- Safe Non-Blocking Synchronization in Ada2x.- Handling Implicit Overhead.- On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks.- Improved Cache-Related Preemption Delay Estimation for Fixed Preemption Point Scheduling.- Real-Time Scheduling.- Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar.- Theory and Practice of EDF Scheduling in Distributed Real-Time Systems.- New Application Domains.- Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP.- Microservice-based Agile Architectures: an Opportunity for Specialized Niche Technologies.
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