Reliable Software Technologies – Ada-Europe 2012

17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings

  • Mats Brorsson
  • Luís Miguel Pinho
Conference proceedings Ada-Europe 2012

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

Table of contents

  1. Front Matter
  2. Application Frameworks

    1. Marco Panunzio, Tullio Vardanega
      Pages 1-17
    2. Sergio Sáez, Jorge Real, Alfons Crespo
      Pages 18-34
  3. Use of Ada

    1. Christian Forler, Stefan Lucks, Jakob Wenzel
      Pages 75-88
  4. Modeling

    1. José Miguel Faria, João Martins, Jorge Sousa Pinto
      Pages 105-118
    2. Andrew Edmunds, Abdolbaghi Rezazadeh, Michael Butler
      Pages 119-132
  5. Testing and Validation

    1. Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
      Pages 147-161
  6. Real-Time Systems

    1. Mark Louis Fairbairn, Alan Burns
      Pages 193-206
    2. Florian Pölzlbauer, Iain Bate, Eugen Brenner
      Pages 207-220
  7. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 17th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2012, held in Stockholm, Sweden, in June 2012. The revised 15 full papers presented were carefully reviewed and selected from 34 submissions. They are organized in topical sections on application frameworks, use of ada, modeling, testing and validation,and real-time systems.


embedded systems multicore programming models programming languages real-time systems software quality

Editors and affiliations

  • Mats Brorsson
    • 1
  • Luís Miguel Pinho
    • 2
  1. 1.Department of Software and Computer SystemsKTH Royal Institute of TechnologyKistaSweden
  2. 2.CISTER Research UnitPolytechnic Institute of PortoPortoPortugal

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-30597-9
  • Online ISBN 978-3-642-30598-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment