Johann Blieberger, Markus Bader
Proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe, 2017.

@proceedings{AdaEurope-2017,
	doi           = "10.1007/978-3-319-60588-3",
	editor        = "Johann Blieberger and Markus Bader",
	isbn          = "['978-3-319-60587-6', '978-3-319-60588-3']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies}",
	volume        = 10300,
	year          = 2017,
}

Contents (15 items)

AdaEurope-2017-GarridoZ0P #multi

Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile (JG, JZ, AA0, JAdlP), pp. 3–17.

AdaEurope-2017-CarlettoV #benchmark #comparative #metric #named #runtime

Ravenscar-EDF: Comparative Benchmarking of an EDF Variant of a Ravenscar Runtime (PC, TV), pp. 18–33.

AdaEurope-2017-Chapman #how

Sanitizing Sensitive Data: How to Get It Right (or at Least Less Wrong...) (RC), pp. 37–52.

AdaEurope-2017-CasimiroGR #safety

Enforcing Timeliness and Safety in Mission-Critical Systems (AC, IG, JR), pp. 53–69.

AdaEurope-2017-GarridoZBW

Supporting Nested Resources in MrsP (JG, SZ0, AB, AJW), pp. 73–86.

AdaEurope-2017-DaiB #execution #predict #realtime #roadmap #worst-case

Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems (XD, AB), pp. 87–101.

AdaEurope-2017-DiazFKMHAC #analysis #bound #manycore #named #probability

MC2: Multicore and Cache Analysis via Deterministic and Probabilistic Jitter Bounding (ED, MF, LK, EM, CH, JA, FJC), pp. 102–118.

AdaEurope-2017-JeongYB #transaction #using

Lock Elision for Protected Objects Using Intel Transactional Synchronization Extensions (SJ, SY, BB), pp. 121–136.

AdaEurope-2017-MohaqeqiA0 #ada #execution #graph #semantics

An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada (MM, JA, WY0), pp. 137–152.

AdaEurope-2017-Mosteo #ada #api #implementation #named

RxAda: An Ada implementation of the ReactiveX API (ARM), pp. 153–166.

AdaEurope-2017-RogersRGB

A New Ravenscar-Based Profile (PR, JR, TG, PB), pp. 169–183.

AdaEurope-2017-RoyuelaMQP #ada #correctness #safety

OpenMP Tasking Model for Ada: Safety and Correctness (SR, XM, EQ, LMP), pp. 184–200.

AdaEurope-2017-BurnsB #framework #migration

Migrating Mixed Criticality Tasks Within a Cyclic Executive Framework (AB, SB), pp. 203–216.

AdaEurope-2017-MedinaBP #graph #scheduling

Directed Acyclic Graph Scheduling for Mixed-Criticality Systems (RM0, EB, LP), pp. 217–232.

AdaEurope-2017-MilutinovicAAAM #reliability

Software Time Reliability in the Presence of Cache Memories (SM, JA, IA, MAa, EM, TV, FJC), pp. 233–249.