Reliable Software Technologies – Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings /
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 subm...
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2016.
|
| Series: | Lecture Notes in Computer Science,
9695 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Table of Contents:
- Why the Expressive Power of Programming Languages such as Ada Is Needed for Future Cyber Physical Systems
- Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model
- Eliminating Data Race Warnings Using CSP
- Real-Time Stream Processing in Java
- Addressing the Regression Test Problem with Change Impact Analysis for Ada
- Test Case Prioritization Using Online Fault Detection Information
- An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine
- Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development
- Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance
- Kronecker Algebra for Static Analysis of Barriers in Ada
- An Empirical Investigation of Eager and Lazy Preemption Approaches in Global Limited Preemptive Scheduling
- The Polling Effect on the Schedulability of Distributed Real-Time Systems
- Combining Time-Triggered Plans with Priority Scheduled Task Sets. .
