Juan Antonio de la Puente, Tullio Vardanega
Proceedings of the 20th Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe, 2015.

@proceedings{AdaEurope-2015,
	doi           = "10.1007/978-3-319-19584-1",
	editor        = "Juan Antonio de la Puente and Tullio Vardanega",
	isbn          = "978-3-319-19583-4",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 20th Ada-Europe International Conference on Reliable Software Technologies}",
	volume        = 9111,
	year          = 2015,
}

Contents (14 items)

3 ×#safety
2 ×#analysis
2 ×#framework
2 ×#maintenance

AdaEurope-2015-PerezGTT #clustering #concept #manycore #safety

A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning (JP, DG, ST, TT), pp. 3–17.

AdaEurope-2015-BalazsBBHKPRSSS

The Central on-Board Computer of the Philae Lander in the Context of the Rosetta Space Mission (AB, AB, HB, IH, OK, ZP, JR, WS, PS, JS, SS, LV), pp. 18–30.

AdaEurope-2015-PavleticVRKK #debugging #framework

Extensible Debugger Framework for Extensible Languages (DP, MV, SAR, BK, TK), pp. 33–49.

AdaEurope-2015-KhanfarLM #safety #slicing

Static Backward Program Slicing for Safety-Critical Systems (HK, BL, ANM), pp. 50–65.

AdaEurope-2015-NelissenPP #architecture #monitoring #novel #performance #runtime

A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring (GN, DP, LMP), pp. 66–82.

AdaEurope-2015-ZamoranoG #analysis #scheduling

Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCS (JZ, JG), pp. 85–99.

AdaEurope-2015-UruenaPCFJ #requirements

Guaranteeing Timing Requirements in the IXV On-Board Software (SU, NP, BNC, CF, AJ), pp. 100–115.

AdaEurope-2015-DiazG #distributed #maintenance #middleware #open source #reliability #years after

Maintenance of Reliable Distributed Applications with Open-Source Middleware: Fifteen Years Later (MD, DG), pp. 116–128.

AdaEurope-2015-BaldovinZNP #development #modelling

The CONCERTO Methodology for Model-Based Development of Avionics Software (AB, AZ, GN, SP), pp. 131–145.

AdaEurope-2015-MkaouarZHJ #specification

From AADL Model to LNT Specification (HM, BZ, JH, MJ), pp. 146–161.

AdaEurope-2015-JaradatBP #analysis #maintenance #safety #using

Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases (OJ, IB, SP), pp. 162–176.

AdaEurope-2015-CatellaniBHM #challenge #implementation

Challenges in the Implementation of MrsP (SC, LB, SH, EM), pp. 179–195.

AdaEurope-2015-PinhoMMT #ada #execution #fine-grained #parallel

An Execution Model for Fine-Grained Parallelism in Ada (LMP, BM, SM, STT), pp. 196–211.

AdaEurope-2015-FernandezPGH #framework #platform

AFDX Emulator for an ARINC-Based Training Platform (JF, HP, JJG, MGH), pp. 212–227.