Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Reliable Software Technologies – Ada-Europe 2015: 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings > Maintenance of Reliable Distributed Applications with Open-Source Middleware: Fifteen Years Later
Reliable Software Technologies – Ada-Europe 2015: 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings |
Juan Antonio de la Puente; Tullio Vardanega
Springer International Publishing
Reliable Software Technologies – Ada-Europe 2015: 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
Maintenance of Reliable Distributed Applications with Open-Source Middleware: Fifteen Years Later
Authors

Manuel Díaz; Daniel Garrido

ARI Id

1665020859602_4496245

Access

Not Available Free

Pages

116-128

DOI

10.1007/978-3-319-19584-1_8

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-319-19584-1_8

Table of Contents of Book
Showing 1 to 20 of 21 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
I-XIV
Front Matter
1-1
A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning
Jon Perez; David Gonzalez; Salvador Trujillo; Ton Trapman
3-17
The Central on-Board Computer of the Philae Lander in the Context of the Rosetta Space Mission
A. Balázs; A. Baksa; H. Bitterlich; I. Hernyes; O. Küchemann; Z. Pálos et al.
18-30
Front Matter
31-31
Extensible Debugger Framework for Extensible Languages
Domenik Pavletic; Markus Voelter; Syed Aoun Raza; Bernd Kolb; Timo Kehrer
33-49
Static Backward Program Slicing for Safety-Critical Systems
Husni Khanfar; Björn Lisper; Abu Naser Masud
50-65
A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring
Geoffrey Nelissen; David Pereira; Luís Miguel Pinho
66-82
Front Matter
83-83
Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCS
Juan Zamorano; Jorge Garrido
85-99
Guaranteeing Timing Requirements in the IXV On-Board Software
Santiago Urueña; Nuria Pérez; Bruno N. Calvo; Carlos Flores; Andreas Jung
100-115
Maintenance of Reliable Distributed Applications with Open-Source Middleware: Fifteen Years Later
Manuel Díaz; Daniel Garrido
116-128
Front Matter
129-129
The CONCERTO Methodology for Model-Based Development of Avionics Software
Andrea Baldovin; Alessandro Zovi; Geoffrey Nelissen; Stefano Puri
131-145
From AADL Model to LNT Specification
Hana Mkaouar; Bechir Zalila; Jérôme Hugues; Mohamed Jmaiel
146-161
Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases
Omar Jaradat; Iain Bate; Sasikumar Punnekkat
162-176
Front Matter
177-177
Challenges in the Implementation of MrsP
Sebastiano Catellani; Luca Bonato; Sebastian Huber; Enrico Mezzetti
179-195
An Execution Model for Fine-Grained Parallelism in Ada
Luís Miguel Pinho; Brad Moore; Stephen Michell; S. Tucker Taft
196-211
AFDX Emulator for an ARINC-Based Training Platform
Jesús Fernández; Héctor Pérez; J. Javier Gutiérrez; Michael González Harbour
212-227
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 21 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings