Get 40% off select print & eBooks in Engineering & Materials or 50% off eBooks in Medicine & Psychology!

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.)

Free Preview

Buy this book

eBook n/a
  • ISBN 978-3-319-60588-3
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
Softcover n/a
  • ISBN 978-3-319-60587-6
  • Free shipping for individuals worldwide
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)

Table of contents (15 chapters)
  • Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile

    Pages 3-17

    Garrido, Jorge (et al.)

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

    Pages 18-33

    Carletto, Paolo (et al.)

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

    Pages 37-52

    Chapman, Roderick

  • Enforcing Timeliness and Safety in Mission-Critical Systems

    Pages 53-69

    Casimiro, António (et al.)

  • Supporting Nested Resources in MrsP

    Pages 73-86

    Garrido, Jorge (et al.)

Buy this book

eBook n/a
  • ISBN 978-3-319-60588-3
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
Softcover n/a
  • ISBN 978-3-319-60587-6
  • Free shipping for individuals worldwide
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
61 b/w illustrations
Topics