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

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-319-08311-7
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-08310-0
  • Online ISBN 978-3-319-08311-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace
Engineering