Skip to main content
SpringerLink
Log in
Book cover

Reliable Software Technologies – Ada-Europe 2011

16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Alexander Romanovsky

    1. School of Computing Science, Newcastle University, Newcastle upon Tyne, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tullio Vardanega

    1. Department of Pure and Applied Mathematics, University of Padua, Padua, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Unique visibility
  • Fast-track conference proceedings
  • State-of-the-art survey

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6652)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: Ada-Europe 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 papers)

  1. Front Matter

    Download chapter PDF

  3. Multicore

    1. Detecting High-Level Synchronization Errors in Parallel Programs

      • Syed Aoun Raza, Stefan Franke, Erhard Ploedereder
      Pages 17-30

    2. Design and Implementation of a Ravenscar Extension for Multiprocessors

      • Fabien Chouteau, José F. Ruiz
      Pages 31-45

    3. A Real-Time Framework for Multiprocessor Platforms Using Ada 2012

      • Sergio Sáez, Silvia Terrasa, Alfons Crespo
      Pages 46-60

  5. Architecture and Modelling

    1. Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL

      • Andreas Johnsen, Kristina Lundqvist
      Pages 103-117

    2. A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems

      • Laura Carnevali, Giuseppe Lipari, Alessandro Pinzuti, Enrico Vicario
      Pages 118-131

    3. Architecting a Common Bridge Abstraction over Different Middleware Paradigms

      • Iago Rodríguez-López, Marisol García-Valls
      Pages 132-146

  6. Education and Mixed Criticality

    1. Using Robotics as a Motivational Tool: An Ada Interface to a Pioneer Robot

      • Rigoberto Chil, Diego Alonso, Francisco Ortiz, Juan Pastor
      Pages 147-159

    2. ORK+/XtratuM: An Open Partitioning Platform for Ada

      • Ángel Esquinas, Juan Zamorano, Juan A. de la Puente, Miguel Masmano, Ismael Ripoll, Alfons Crespo
      Pages 160-173

    3. Implementing Mixed Criticality Systems in Ada

      • Sanjoy Baruah, Alan Burns
      Pages 174-188

  7. Panel: Language Paradigms for Multicore Programming

    1. Programming Languages Meet Multicore

      • Erhard Ploedereder
      Pages 189-192

    2. Programming Languages for Real-Time Applications Executing on Parallel Hardware

      • Alan Burns
      Pages 193-195

    3. Multicore Programming in ParaSail

      • S. Tucker Taft
      Pages 196-200

    4. Why Parallel Functional Programming Matters: Panel Statement

      • Kevin Hammond
      Pages 201-205

  8. Panel: DO178C and Object-Orientation for Critical Systems

    1. OOT, DO-178C and SPARK

      • Roderick Chapman, Trevor Jennings
      Pages 206-210

    2. Position Paper: DO-178C/ED-12C and Object-Orientation for Critical Systems

      • Dewi Daniels
      Pages 211-213
Back to top

Other volumes

  1. Reliable Software Technologies - Ada-Europe 2011

Keywords

About this book

This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The revised 12 papers presented together with several invited contributions were carefully reviewed and selected from 30 submissions. Topics of interest to the conference are methods and techniques for software development and maintenance ; software architectures; enabling technologies; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; experience reports; the future of Ada.

Editors and Affiliations

  • School of Computing Science, Newcastle University, Newcastle upon Tyne, UK

    Alexander Romanovsky

  • Department of Pure and Applied Mathematics, University of Padua, Padua, Italy

    Tullio Vardanega

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation