Marko Bertogna, Luís Miguel Pinho, Eduardo Quiñones
Proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe, 2016.

@proceedings{AdaEurope-2016,
	doi           = "10.1007/978-3-319-39083-3",
	editor        = "Marko Bertogna and Luís Miguel Pinho and Eduardo Quiñones",
	isbn          = "978-3-319-39082-6",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies}",
	volume        = 9695,
	year          = 2016,
}

Contents (13 items)

AdaEurope-2016-Burns #ada #physics #power of #programming language #why

Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems (AB), pp. 3–11.

AdaEurope-2016-MohaqeqiAY #analysis #data flow #graph #modelling #realtime #using

Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model (MM, JA, WY0), pp. 15–29.

AdaEurope-2016-Wittiger #csp #using

Eliminating Data Race Warnings Using CSP (MW), pp. 30–43.

AdaEurope-2016-MeiGW #java #realtime

Real-Time Stream Processing in Java (HM0, IG, AJW), pp. 44–57.

AdaEurope-2016-Jones #ada #impact analysis #problem #testing

Addressing the Regression Test Problem with Change Impact Analysis for Ada (AVJ), pp. 61–77.

AdaEurope-2016-LaaliLHSS #detection #fault #online #testing #using

Test Case Prioritization Using Online Fault Detection Information (ML, HL, MH, MS, HWS), pp. 78–93.

AdaEurope-2016-Mazzanti #ada #experience #manycore #model checking #parallel #programming

An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine (FM), pp. 94–109.

AdaEurope-2016-BaracchiMPV #development #lessons learnt #modelling #towards

Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development (LB, SM, SP, TV), pp. 113–128.

AdaEurope-2016-GabsiZJ #fault tolerance #reliability

Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance (WG, BZ, MJ), pp. 129–144.

AdaEurope-2016-MittermayrB #ada #algebra #static analysis

Kronecker Algebra for Static Analysis of Barriers in Ada (RM, JB), pp. 145–159.

AdaEurope-2016-ThekkilakattilZ #empirical #lazy evaluation #scheduling

An Empirical Investigation of Eager and Lazy Preemption Approaches in Global Limited Preemptive Scheduling (AT, KZ, YN, RD, SP), pp. 163–178.

AdaEurope-2016-PerezGHP #distributed #realtime #scheduling

The Polling Effect on the Schedulability of Distributed Real-Time Systems (HP0, JJG, MGH, JCP), pp. 179–194.

AdaEurope-2016-RealSC #set

Combining Time-Triggered Plans with Priority Scheduled Task Sets (JR, SS, AC), pp. 195–212.