Ada-Europe 2011: Edinburgh, UK

Alexander Romanovsky, Tullio Vardanega (Eds.): Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings. Lecture Notes in Computer Science 6652 Springer 2011, ISBN 978-3-642-21337-3

Keynote Talk

Jeffrey O'Leary:
Assuring Software Reliability While Using Web Services and Commercial Products. 1-16

Multicore

Syed Aoun Raza, Stefan Franke, Erhard Ploedereder:
Detecting High-Level Synchronization Errors in Parallel Programs. 17-30
Fabien Chouteau, José F. Ruiz:
Design and Implementation of a Ravenscar Extension for Multiprocessors. 31-45
Sergio Saez, Silvia Terrasa, Alfons Crespo:
A Real-Time Framework for Multiprocessor Platforms Using Ada 2012. 46-60

Verification

Thierry Coq, Jean-Pierre Rosen:
The SQALE Quality and Analysis Models for Assessing the Quality of Ada Source Code. 61-74
Dan Eilers, Tero Koskinen:
Adapting ACATS to the Ahven Testing Framework. 75-88
Julio L. Medina, Álvaro Garcia Cuesta:
Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE. 89-102

Architecture and Modelling

Andreas Johnsen, Kristina Lundqvist:
Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL. 103-117
Laura Carnevali, Giuseppe Lipari, Alessandro Pinzuti, Enrico Vicario:
A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems. 118-131
Iago Rodríguez-López, Marisol García-Valls:
Architecting a Common Bridge Abstraction over Different Middleware Paradigms. 132-146

Education and Mixed Criticality

Rigoberto Chil, Diego Alonso, Francisco J. Ortiz, Juan A. Pastor:
Using Robotics as a Motivational Tool: An Ada Interface to a Pioneer Robot. 147-159
Ángel Esquinas, Juan Zamorano, Juan Antonio de la Puente, Miguel Masmano, Ismael Ripoll, Alfons Crespo:
ORK+/XtratuM: An Open Partitioning Platform for Ada. 160-173
Sanjoy K. Baruah, Alan Burns:
Implementing Mixed Criticality Systems in Ada. 174-188

Panel: Language Paradigms for Multicore Programming

Erhard Ploedereder:
Programming Languages Meet Multicore. 189-192
Alan Burns:
Programming Languages for Real-Time Applications Executing on Parallel Hardware. 193-195
S. Tucker Taft:
Multicore Programming in ParaSail - Parallel Specification and Implementation Language. 196-200
Kevin Hammond:
Why Parallel Functional Programming Matters: Panel Statement. 201-205

Panel: DO178C and Object-Orientation for Critical Systems

Roderick Chapman, Trevor Jennings:
OOT, DO-178C and SPARK. 206-210
Dewi Daniels:
Position Paper: DO-178C/ED-12C and Object-Orientation for Critical Systems. 211-213
Jean-Pierre Rosen:
Object Orientation in Critical Systems: Yes, in Moderation - Position Paper for the DO178C and Object-Orientation for Critical Systems Panel. 214-218

Signet Library Talk

Les Hatton:
On the Evolution of Unnatural Language. 219-225

Last update Wed May 22 00:06:08 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page