Reliable Software Technologiey – Ada-Europe 2010

15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings

  • Jorge Real
  • Tullio Vardanega
Conference proceedings Ada-Europe 2010

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

Table of contents

  1. Front Matter
    PDF

  2. Keynote Talks

    1. What to Make of Multicore Processors for Reliable Real-Time Systems?
      Theodore P. Baker
      Pages 1-18
    2. Control Co-design: Algorithms and Their Implementation
      Pedro Albertos, Alfons Crespo, José Simó, Adel Fernández
      Pages 19-40

  3. Multicores and Ada

    1. Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada
      Alan Burns, Andy Wellings
      Pages 41-53
    2. Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012
      Björn Andersson, Luís-Miguel Pinho
      Pages 54-67
    3. Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems
      Sergio Sáez, Alfons Crespo
      Pages 68-82

  4. Software Dependability

    1. Practical Limits on Software Dependability: A Case Study
      Patrick J. Graydon, John C. Knight, Xiang Yin
      Pages 83-96
    2. Program Verification in SPARK and ACSL: A Comparative Case Study
      Eduardo Brito, Jorge Sousa Pinto
      Pages 97-110
    3. Static Versioning of Global State for Race Condition Detection
      Steffen Keul
      Pages 111-124

  5. Critical Systems

    1. Using Hardware Support for Scheduling with Ada
      Rod White
      Pages 125-138
    2. Cache-Aware Development of High-Integrity Systems
      Enrico Mezzetti, Adam Betts, José Ruiz, Tullio Vardanega
      Pages 139-152
    3. Preservation of Timing Properties with the Ada Ravenscar Profile
      Enrico Mezzetti, Marco Panunzio, Tullio Vardanega
      Pages 153-166

  6. Real-Time Systems

    1. Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach
      Juan Ángel Pastor, Diego Alonso, Pedro Sánchez, Bárbara Álvarez
      Pages 167-180
    2. Scheduling Configuration of Real-Time Component-Based Applications
      Patricia López Martínez, Laura Barros, José M. Drake
      Pages 181-195
    3. The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005
      Andy Wellings, Alan Burns
      Pages 196-207

  7. Language Technology

    1. AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005
      Gingun Hong, Kirak Hong, Bernd Burgstaller, Johann Blieberger
      Pages 208-221
    2. A Comparison of Generic Template Support: Ada, C++, C#, and JavaTM
      Benjamin M. Brosgol
      Pages 222-237
    3. Towards Ada 2012: An Interim Report
      Edmond Schonberg
      Pages 238-250

  8. Distribution and Persistency

    1. Managing Transactions in Flexible Distributed Real-Time Systems
      Daniel Sangorrín, Michael González Harbour, Héctor Pérez, J. Javier Gutiérrez
      Pages 251-264
    2. An Efficient Implementation of Persistent Objects
      Jacob Sparre Andersen
      Pages 265-275

About these proceedings

Keywords

C++ programming language Linux Scheduling ada ada 2005 algorithms code generation design design patterns embedded systems execution-time analysis fault tolerance programming verification versioning

Editors and affiliations

  • Jorge Real
    • 1
  • Tullio Vardanega
    • 2
  1. 1.Universidad Politécnica de Valencia, DISCA-ETSINFValenciaSpain
  2. 2.Department of Pure and Applied MathematicsUniversity of PaduaPaduaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-13550-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-13549-1
  • Online ISBN 978-3-642-13550-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book