دانلود کتاب Reliable Software Technologies – Ada-Europe 2014: 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

فهرست مطالب :

Front Matter....Pages -
Lessons Learned and Easily Forgotten....Pages 1-6
Future Challenges in Design Frameworks for Embedded Systems: Application to Intelligent Transportation Systems....Pages 7-10
Rigorous Development of Fault-Tolerant Systems through Co-refinement....Pages 11-26
Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects....Pages 27-42
A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems....Pages 43-57
Towards a Runtime Verification Framework for the Ada Programming Language....Pages 58-73
Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012....Pages 74-90
Parallelism in Ada: Status and Prospects....Pages 91-106
Deadline-Aware Programming and Scheduling....Pages 107-118
Schedulability Analysis for Directed Acyclic Graphs on Multiprocessor Systems at a Subtask Level....Pages 119-133
Integrated Schedulers for a Predictable Interrupt Management on Real-Time Kernels....Pages 134-148
PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems....Pages 149-165
OBUs’ Development and Maintenance of a Train Control System for Low Density Traffic Lines....Pages 166-176
Practical Formal Methods in Railways - The SafeCap Approach....Pages 177-192
Back Matter....Pages -