Reliable Software Technologies - Ada-Europe 2011

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

  • Alexander Romanovsky
  • Tullio Vardanega
Conference proceedings Ada-Europe 2011

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

Table of contents

  1. Front Matter
  2. Keynote Talk

  3. Multicore

    1. Syed Aoun Raza, Stefan Franke, Erhard Ploedereder
      Pages 17-30
    2. Sergio Sáez, Silvia Terrasa, Alfons Crespo
      Pages 46-60
  4. Verification

  5. Architecture and Modelling

    1. Andreas Johnsen, Kristina Lundqvist
      Pages 103-117
    2. Laura Carnevali, Giuseppe Lipari, Alessandro Pinzuti, Enrico Vicario
      Pages 118-131
    3. Iago Rodríguez-López, Marisol García-Valls
      Pages 132-146
  6. Education and Mixed Criticality

    1. Rigoberto Chil, Diego Alonso, Francisco Ortiz, Juan Pastor
      Pages 147-159
    2. Ángel Esquinas, Juan Zamorano, Juan A. de la Puente, Miguel Masmano, Ismael Ripoll, Alfons Crespo
      Pages 160-173
    3. Sanjoy Baruah, Alan Burns
      Pages 174-188
  7. Panel: Language Paradigms for Multicore Programming

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

    1. Roderick Chapman, Trevor Jennings
      Pages 206-210

About these proceedings

Introduction

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.

Keywords

Ada 2005 programming formal methods parallel programming real-time systems reliable systems safety-critical systems systems modeling

Editors and affiliations

  • Alexander Romanovsky
    • 1
  • Tullio Vardanega
    • 2
  1. 1.School of Computing ScienceNewcastle UniversityNewcastle upon TyneUK
  2. 2.Department of Pure and Applied MathematicsUniversity of PaduaPaduaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-21338-0
  • Copyright Information Springer Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-21337-3
  • Online ISBN 978-3-642-21338-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book