Reliable Software Technologies – Ada-Europe 2014

19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

  • Laurent George
  • Tullio Vardanega
Conference proceedings Ada-Europe 2014

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

Table of contents

  1. Front Matter
  2. Keynotes

  3. Formal Methods

    1. Ilya Lopatkin, Alexander Romanovsky
      Pages 11-26
    2. Bernd Burgstaller, Johann Blieberger
      Pages 27-42
  4. Uses of Ada

    1. André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto
      Pages 58-73
    2. Luís Miguel Pinho, Brad Moore, Stephen Michell
      Pages 91-106
  5. Real-Time Scheduling

  6. Applications

    1. Antoine Jaouën, Etienne Borde, Laurent Pautet, Thomas Robert
      Pages 149-165
    2. Alexei Iliasov, Ilya Lopatkin, Alexander Romanovsky
      Pages 177-192
  7. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 19th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2014, held in Paris, France, in June 2014. The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 68 submissions. They are organized in topical sections on formal methods; uses of ada; real-time scheduling; applications.


fault tolerance formal methods formal methods middleware middleware multicore architectures multicore architectures parallelism real-time systems real-time systems requirements analysis safety critical systems safety critical systems scheduling software reliability

Editors and affiliations

  • Laurent George
    • 1
  • Tullio Vardanega
    • 2
  1. 1.University of Paris-EstMarne-la-ValléeFrance
  2. 2.Department of MathematicsUniversity of PaduaPaduaItaly

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-08310-0
  • Online ISBN 978-3-319-08311-7
  • 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
Oil, Gas & Geosciences