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

DOI: 10.1007/978-3-642-13550-7

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

Table of contents (19 papers)

  1. Front Matter
  2. Keynote Talks

    1. Control Co-design: Algorithms and Their Implementation
      Pedro Albertos, Alfons Crespo, José Simó, Adel Fernández
      Pages 19-40
  3. Multicores and Ada

  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
  5. Critical Systems

    1. Cache-Aware Development of High-Integrity Systems
      Enrico Mezzetti, Adam Betts, José Ruiz, Tullio Vardanega
      Pages 139-152
    2. 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
  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. 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

  • 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