Abstract is missing.
- Lessons Learned and Easily ForgottenRobert Lainé. 1-6 [doi]
- Future Challenges in Design Frameworks for Embedded Systems: Application to Intelligent Transportation SystemsMohamed Shawky. 7-10 [doi]
- Rigorous Development of Fault-Tolerant Systems through Co-refinementIlya Lopatkin, Alexander Romanovsky. 11-26 [doi]
- Kronecker Algebra for Static Analysis of Ada Programs with Protected ObjectsBernd Burgstaller, Johann Blieberger. 27-42 [doi]
- A TASM-Based Requirements Validation Approach for Safety-Critical Embedded SystemsJiale Zhou, Yue Lu, Kristina Lundqvist. 43-57 [doi]
- Towards a Runtime Verification Framework for the Ada Programming LanguageAndré de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto. 58-73 [doi]
- Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012Sergio Saez, Jorge Real, Alfons Crespo. 74-90 [doi]
- Parallelism in Ada: Status and ProspectsLuís Miguel Pinho, Brad Moore, Stephen Michell. 91-106 [doi]
- Deadline-Aware Programming and SchedulingAlan Burns, Andy J. Wellings. 107-118 [doi]
- Schedulability Analysis for Directed Acyclic Graphs on Multiprocessor Systems at a Subtask LevelManar Qamhieh, Serge Midonnet. 119-133 [doi]
- Integrated Schedulers for a Predictable Interrupt Management on Real-Time KernelsSergio Saez, Alfons Crespo. 134-148 [doi]
- PDP 4PS : Periodic-Delayed Protocol for Partitioned SystemsAntoine Jaouën, Etienne Borde, Laurent Pautet, Thomas Robert. 149-165 [doi]
- OBUs' Development and Maintenance of a Train Control System for Low Density Traffic LinesGerhard Hanis, Burkhard Stadlmann. 166-176 [doi]
- Practical Formal Methods in Railways - The SafeCap ApproachAlexei Iliasov, Ilya Lopatkin, Alexander Romanovsky. 177-192 [doi]