Reliable Software Technologies – Ada-Europe 2016

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.&nbsp;</p>