Reliable Software Technologies - Ada-Europe 2016
21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
Published on 30. May 2016
XIV, 213 pages
978-3-319-39083-3 (ISBN)
Description
This book constitutes the refereed proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016, held in Pisa, Italy, in June 2016.
The revised 12 full papers presented together with one invited paper were carefully reviewed and selected from 28 submissions. They are organized in topical sections on concurrency and parallelism, testing and verification, program correctness and robustness, and real-time systems.
More details
Series
Edition
1st ed. 2016
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Product notice
Reflowable
Illustrations
XIV, 213 p. 59 illus.
File size
8,30 MB
ISBN-13
978-3-319-39083-3 (9783319390833)
DOI
10.1007/978-3-319-39083-3
Schweitzer Classification
Other editions
Additional editions
Marko Bertogna | Luís Miguel Pinho | Eduardo Quiñones
Reliable Software Technologies - Ada-Europe 2016
21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
Book
05/2016
Springer
€53.49
Shipment within 10-15 days
Content
Why the Expressive Power of Programming Languages such as Ada Is Needed for Future Cyber Physical Systems.- Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model.- Eliminating Data Race Warnings Using CSP.- Real-Time Stream Processing in Java.- Addressing the Regression Test Problem with Change Impact Analysis for Ada.- Test Case Prioritization Using Online Fault Detection Information.- An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine.- Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development.- Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance.- Kronecker Algebra for Static Analysis of Barriers in Ada.- An Empirical Investigation of Eager and Lazy Preemption Approaches in Global Limited Preemptive Scheduling.- The Polling Effect on the Schedulability of Distributed Real-Time Systems.- Combining Time-Triggered Plans with Priority Scheduled Task Sets.
