TY  - BOOK
AU  - de la Puente,Juan Antonio
AU  - Vardanega,Tullio
TI  - Reliable Software Technologies - Ada-Europe 2015: 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings 
SN  - 9783319195841
PY  - 2015///
CY  - Cham
PB  - Springer International Publishing
KW  - Computer science
KW  - Special purpose computers
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Computer logic
KW  - Mathematical logic
N1  - A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning -- The Central on-Board Computer of the Philae Lander in the Context of the Rosetta Space Mission.- Extensible Debugger Framework for Extensible Languages -- Static Backward Program Slicing for Safety-Critical Systems.- A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring.- Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCS -- Guaranteeing Timing Requirements in the IXV on-Board Software.- Maintenance of Reliable Distributed Applications with Open-Source Middleware: Fifteen Years Later.- The CONCERTO Methodology for Model-Based Development of Avionics Software.- From AADL Model to LNT Specification.- Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases.- Challenges in the Implementation of MrsP -- An Execution Model for Fine-Grained Parallelism in Ada -- AFDX Emulator for an ARINC-Based Training Platform
UR  - http://dx.doi.org/10.1007/978-3-319-19584-1
ER  -