Reliable Software Technologies – Ada-Europe 2014 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319083100, 9783319083117

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Parallelism in Ada: Status and Prospects

Reliable Software Technologies – Ada-Europe 2014 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08311-7_8 ◽

2014 ◽

pp. 91-106 ◽

Cited By ~ 2

Author(s):

Luís Miguel Pinho ◽

Brad Moore ◽

Stephen Michell

Download Full-text

OBUs’ Development and Maintenance of a Train Control System for Low Density Traffic Lines

Reliable Software Technologies – Ada-Europe 2014 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08311-7_13 ◽

2014 ◽

pp. 166-176

Author(s):

Gerhard Hanis ◽

Burkhard Stadlmann

Keyword(s):

Control System ◽

Low Density ◽

Train Control ◽

Train Control System

Download Full-text

Lessons Learned and Easily Forgotten

Reliable Software Technologies – Ada-Europe 2014 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08311-7_1 ◽

2014 ◽

pp. 1-6

Author(s):

Robert Lainé

Keyword(s):

Lessons Learned

Download Full-text

Integrated Schedulers for a Predictable Interrupt Management on Real-Time Kernels

Reliable Software Technologies – Ada-Europe 2014 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08311-7_11 ◽

2014 ◽

pp. 134-148 ◽

Cited By ~ 1

Author(s):

Sergio Sáez ◽

Alfons Crespo

Keyword(s):

Real Time

Download Full-text

Practical Formal Methods in Railways - The SafeCap Approach

Reliable Software Technologies – Ada-Europe 2014 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08311-7_14 ◽

2014 ◽

pp. 177-192 ◽

Cited By ~ 4

Author(s):

Alexei Iliasov ◽

Ilya Lopatkin ◽

Alexander Romanovsky

Keyword(s):

Formal Methods

Download Full-text

Schedulability Analysis for Directed Acyclic Graphs on Multiprocessor Systems at a Subtask Level

Reliable Software Technologies – Ada-Europe 2014 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08311-7_10 ◽

2014 ◽

pp. 119-133 ◽

Cited By ~ 2

Author(s):

Manar Qamhieh ◽

Serge Midonnet

Keyword(s):

Schedulability Analysis ◽

Directed Acyclic Graphs ◽

Multiprocessor Systems ◽

Acyclic Graphs

Download Full-text

Deadline-Aware Programming and Scheduling

Reliable Software Technologies – Ada-Europe 2014 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08311-7_9 ◽

2014 ◽

pp. 107-118 ◽

Cited By ~ 1

Author(s):

Alan Burns ◽

Andy Wellings

Download Full-text

PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems

Reliable Software Technologies – Ada-Europe 2014 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08311-7_12 ◽

2014 ◽

pp. 149-165

Author(s):

Antoine Jaouën ◽

Etienne Borde ◽

Laurent Pautet ◽

Thomas Robert

Download Full-text

Towards a Runtime Verification Framework for the Ada Programming Language

Reliable Software Technologies – Ada-Europe 2014 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08311-7_6 ◽

2014 ◽

pp. 58-73 ◽

Cited By ~ 3

Author(s):

André de Matos Pedro ◽

David Pereira ◽

Luís Miguel Pinho ◽

Jorge Sousa Pinto

Keyword(s):

Programming Language ◽

Runtime Verification

Download Full-text

Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012

Reliable Software Technologies – Ada-Europe 2014 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08311-7_7 ◽

2014 ◽

pp. 74-90 ◽

Cited By ~ 1

Author(s):

Sergio Sáez ◽

Jorge Real ◽

Alfons Crespo

Keyword(s):

Real Time ◽

Real Time Scheduling ◽

Multiprocessor Platforms ◽

Time Scheduling

Download Full-text

Reliable Software Technologies – Ada-Europe 2014 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Parallelism in Ada: Status and Prospects

OBUs’ Development and Maintenance of a Train Control System for Low Density Traffic Lines

Lessons Learned and Easily Forgotten

Integrated Schedulers for a Predictable Interrupt Management on Real-Time Kernels

Practical Formal Methods in Railways - The SafeCap Approach

Schedulability Analysis for Directed Acyclic Graphs on Multiprocessor Systems at a Subtask Level

Deadline-Aware Programming and Scheduling

PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems

Towards a Runtime Verification Framework for the Ada Programming Language

Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012

Reliable Software Technologies – Ada-Europe 2014 - Lecture Notes in Computer Science
Latest Publications