Abstract is missing.
- A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and PartitioningJon Perez, David Gonzalez, Salvador Trujillo, Ton Trapman. 3-17 [doi]
- The Central on-Board Computer of the Philae Lander in the Context of the Rosetta Space MissionA. Balázs, A. Baksa, H. Bitterlich, I. Hernyes, O. Küchemann, Z. Pálos, J. Rustenbach, W. Schmidt, Péter Spányi, J. Sulyán, S. Szalai, L. Várhalmi. 18-30 [doi]
- Extensible Debugger Framework for Extensible LanguagesDomenik Pavletic, Markus Völter, Syed Aoun Raza, Bernd Kolb, Timo Kehrer. 33-49 [doi]
- Static Backward Program Slicing for Safety-Critical SystemsHusni Khanfar, Björn Lisper, Abu Naser Masud. 50-65 [doi]
- A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline MonitoringGeoffrey Nelissen, David Pereira, Luís Miguel Pinho. 66-82 [doi]
- Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCSJuan Zamorano, Jorge Garrido. 85-99 [doi]
- Guaranteeing Timing Requirements in the IXV On-Board SoftwareSantiago Urueña, Nuria Pérez, Bruno N. Calvo, Carlos Flores, Andreas Jung. 100-115 [doi]
- Maintenance of Reliable Distributed Applications with Open-Source Middleware: Fifteen Years LaterManuel Díaz, Daniel Garrido. 116-128 [doi]
- The CONCERTO Methodology for Model-Based Development of Avionics SoftwareAndrea Baldovin, Alessandro Zovi, Geoffrey Nelissen, Stefano Puri. 131-145 [doi]
- From AADL Model to LNT SpecificationHana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel. 146-161 [doi]
- Using Sensitivity Analysis to Facilitate the Maintenance of Safety CasesOmar Jaradat, Iain Bate, Sasikumar Punnekkat. 162-176 [doi]
- Challenges in the Implementation of MrsPSebastiano Catellani, Luca Bonato, Sebastian Huber, Enrico Mezzetti. 179-195 [doi]
- An Execution Model for Fine-Grained Parallelism in AdaLuís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft. 196-211 [doi]
- AFDX Emulator for an ARINC-Based Training PlatformJesús Fernández, Héctor Pérez, J. Javier Gutiérrez, Michael González Harbour. 212-227 [doi]