This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The revised 12 papers presented together with several invited contributions were carefully reviewed and selected from 30 submissions. Topics of interest to the conference are methods and techniques for software development and maintenance ; software architectures; enabling technologies; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; experience reports; the future of Ada.
Author(s): Jeffrey O’Leary (auth.), Alexander Romanovsky, Tullio Vardanega (eds.)
Series: Lecture Notes in Computer Science 6652
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2011
Language: English
Pages: 227
Tags: Programming Languages, Compilers, Interpreters; Software Engineering; Logics and Meanings of Programs; Computer Communication Networks; Programming Techniques; Mathematical Logic and Formal Languages
Front Matter....Pages -
Assuring Software Reliability While Using Web Services and Commercial Products....Pages 1-16
Detecting High-Level Synchronization Errors in Parallel Programs....Pages 17-30
Design and Implementation of a Ravenscar Extension for Multiprocessors....Pages 31-45
A Real-Time Framework for Multiprocessor Platforms Using Ada 2012....Pages 46-60
The SQALE Quality and Analysis Models for Assessing the Quality of Ada Source Code....Pages 61-74
Adapting ACATS to the Ahven Testing Framework....Pages 75-88
Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE....Pages 89-102
Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL....Pages 103-117
A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems....Pages 118-131
Architecting a Common Bridge Abstraction over Different Middleware Paradigms....Pages 132-146
Using Robotics as a Motivational Tool: An Ada Interface to a Pioneer Robot....Pages 147-159
ORK+/XtratuM: An Open Partitioning Platform for Ada....Pages 160-173
Implementing Mixed Criticality Systems in Ada....Pages 174-188
Programming Languages Meet Multicore....Pages 189-192
Programming Languages for Real-Time Applications Executing on Parallel Hardware....Pages 193-195
Multicore Programming in ParaSail....Pages 196-200
Why Parallel Functional Programming Matters: Panel Statement....Pages 201-205
OOT, DO-178C and SPARK....Pages 206-210
Position Paper: DO-178C/ED-12C and Object-Orientation for Critical Systems....Pages 211-213
Object Orientation in Critical Systems: Yes, in Moderation....Pages 214-218
On the Evolution of Unnatural Language....Pages 219-225
Back Matter....Pages -
