Proceedings of the 20th Ada-Europe International Conference on Reliable Software Technologies
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

Full names Links ISxN
	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)

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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.