دانلود کتاب Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

فهرست مطالب :

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 -