Programming and Software Engineering

Reliable Software Technologies – Ada-Europe 2017

22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

Editors: Blieberger, Johann, Bader, Markus (Eds.)

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-319-60588-3
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-319-60587-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017.

The revised 15 full papers presented were carefully reviewed and selected from 37 submissions. They are organized in topical sections on runtimes, safety and security, timing verification, programming models, the future of safety-minded languages, mixed criticality.

Table of contents (15 chapters)

  • Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile

    Garrido, Jorge (et al.)

    Pages 3-17

  • Ravenscar-EDF: Comparative Benchmarking of an EDF Variant of a Ravenscar Runtime

    Carletto, Paolo (et al.)

    Pages 18-33

  • Sanitizing Sensitive Data: How to Get It Right (or at Least Less Wrong…)

    Chapman, Roderick

    Pages 37-52

  • Enforcing Timeliness and Safety in Mission-Critical Systems

    Casimiro, António (et al.)

    Pages 53-69

  • Supporting Nested Resources in MrsP

    Garrido, Jorge (et al.)

    Pages 73-86

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-319-60588-3
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-319-60587-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Reliable Software Technologies – Ada-Europe 2017
Book Subtitle
22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings
Editors
  • Johann Blieberger
  • Markus Bader
Series Title
Programming and Software Engineering
Series Volume
10300
Copyright
2017
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing AG
eBook ISBN
978-3-319-60588-3
DOI
10.1007/978-3-319-60588-3
Softcover ISBN
978-3-319-60587-6
Edition Number
1
Number of Pages
XIV, 251
Number of Illustrations and Tables
61 b/w illustrations
Topics