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
  2. Keynote Talks

    1. Pedro Albertos, Alfons Crespo, José Simó, Adel Fernández
      Pages 19-40
  3. Multicores and Ada

  4. Software Dependability

    1. Patrick J. Graydon, John C. Knight, Xiang Yin
      Pages 83-96
    2. Eduardo Brito, Jorge Sousa Pinto
      Pages 97-110
  5. Critical Systems

    1. Enrico Mezzetti, Adam Betts, José Ruiz, Tullio Vardanega
      Pages 139-152
    2. Enrico Mezzetti, Marco Panunzio, Tullio Vardanega
      Pages 153-166
  6. Real-Time Systems

    1. Juan Ángel Pastor, Diego Alonso, Pedro Sánchez, Bárbara Álvarez
      Pages 167-180
    2. Patricia López Martínez, Laura Barros, José M. Drake
      Pages 181-195
  7. Language Technology

    1. Gingun Hong, Kirak Hong, Bernd Burgstaller, Johann Blieberger
      Pages 208-221
    2. Edmond Schonberg
      Pages 238-250
  8. Distribution and Persistency

    1. Daniel Sangorrín, Michael González Harbour, Héctor Pérez, J. Javier Gutiérrez
      Pages 251-264
    2. 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