Laurent George, Tullio Vardanega
Proceedings of the 19th Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe, 2014.

@proceedings{AdaEurope-2014,
	address       = "Paris, France",
	doi           = "10.1007/978-3-319-08311-7",
	editor        = "Laurent George and Tullio Vardanega",
	isbn          = "['978-3-319-08310-0', '978-3-319-08311-7']",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 19th Ada-Europe International Conference on Reliable Software Technologies}",
	volume        = 8454,
	year          = 2014,
}

Contents (14 items)

4 ×#ada
3 ×#scheduling
2 ×#approach
2 ×#development
2 ×#embedded
2 ×#framework
2 ×#multi
2 ×#realtime

AdaEurope-2014-Laine #lessons learnt

Lessons Learned and Easily Forgotten (RL), pp. 1–6.

AdaEurope-2014-Shawky #challenge #design #embedded #framework

Future Challenges in Design Frameworks for Embedded Systems: Application to Intelligent Transportation Systems (MS), pp. 7–10.

AdaEurope-2014-LopatkinR #development #fault tolerance

Rigorous Development of Fault-Tolerant Systems through Co-refinement (IL, AR), pp. 11–26.

AdaEurope-2014-BurgstallerB #ada #algebra #source code #static analysis

Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects (BB, JB), pp. 27–42.

AdaEurope-2014-ZhouLL #approach #embedded #requirements #safety #validation

A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems (JZ, YL, KL), pp. 43–57.

AdaEurope-2014-PedroPPP #ada #framework #programming language #runtime #towards #verification

Towards a Runtime Verification Framework for the Ada Programming Language (AdMP, DP, LMP, JSP), pp. 58–73.

AdaEurope-2014-SaezRC #ada #multi #platform #realtime #reliability #scheduling

Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012 (SS, JR, AC), pp. 74–90.

AdaEurope-2014-PinhoMM #ada #parallel

Parallelism in Ada: Status and Prospects (LMP, BM, SM), pp. 91–106.

AdaEurope-2014-BurnsW #programming #scheduling

Deadline-Aware Programming and Scheduling (AB, AJW), pp. 107–118.

AdaEurope-2014-QamhiehM #analysis #graph #multi #scheduling

Schedulability Analysis for Directed Acyclic Graphs on Multiprocessor Systems at a Subtask Level (MQ, SM), pp. 119–133.

AdaEurope-2014-SaezC #kernel #predict #realtime

Integrated Schedulers for a Predictable Interrupt Management on Real-Time Kernels (SS, AC), pp. 134–148.

AdaEurope-2014-JaouenBPR #protocol

PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems (AJ, EB, LP, TR), pp. 149–165.

AdaEurope-2014-HanisS #development #maintenance

OBUs’ Development and Maintenance of a Train Control System for Low Density Traffic Lines (GH, BS), pp. 166–176.

AdaEurope-2014-IliasovLR #approach #formal method

Practical Formal Methods in Railways — The SafeCap Approach (AI, IL, AR), pp. 177–192.