Reliable Software Technologies - Ada-Europe 2011

Name: Reliable Software Technologies - Ada-Europe 2011 | 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

Alexander Romanovsky Tullio Vardanega(Herausgeber*in)

Springer (Verlag)

Erschienen am 29. Juni 2011

XIII, 227 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-21338-0 (ISBN)

53,49 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

Title
Preface
Organization
Table of Contents
Keynote Talk
Assuring Software Reliability While Using Web Services and Commercial Products
Introduction
Achieving Software Reliability
NAS Service Criticality
System Wide Information Management (SWIM)
ERAM SWIM Architecture
ERAM SWIM RMA Design Challenges
System Safety and Security Considerations
Conclusions
References
Multicore
Detecting High-Level Synchronization Errors in Parallel Programs
Introduction
High-Level Synchronization Errors
Non-Atomic Protection
Definition and Concept
Lockset Analysis
Path-sensitive View Analysis
Nested Views
View Generation
Lost-Updates
Definition and Concept
Algorithm
Implementation
Test and Evaluation
Related Work
Conclusions
References
Design and Implementation of a Ravenscar Extension for Multiprocessors
Introduction
Definition of Ravenscar for Multiprocessors
Task Scheduling
Task Synchronization
Interrupt Handling
Timing Services
Design and Implementation Details
Starting Point
Initialization
Task Management
Synchronization
Time-Keeping and Delays
Interrupt Handling
Sharing Code between Monoprocessors and Multiprocessors
Performance
Measurements
Analysis
Conclusions
References
A Real-Time Framework for Multiprocessor Platforms Using Ada 2012
Introduction
System Load Model
Multiprocessor Scheduling Approaches
New Design of Real-Time Utilities
Previous Proposal of the Real-Time Utilities
Real-Time Multiprocessor Requirements
New Framework Components
Real-Time Task Scheduling and Task State
Real-Time Task Control Mechanisms
Real-Time Task Release Mechanisms
Real-Time Tasks
Code Generator Tool
Conclusions
References
Verification
The SQALE Quality and Analysis Models for Assessing the Quality of Ada Source Code
Introduction
The SQALE Analysis Model
The SQALE for Ada Quality Model
Implementing SQALE for Ada Quality Model
Some Results of SQALE for Ada
SQALE for Ada Applied to AdaControl
SQALE for Ada Applied to Ada Web Server
Future Work
Conclusion
References
Adapting ACATS to the Ahven Testing Framework
Introduction
Background and Related Work
Nature of the ACATS Tests
Bundling Test Programs
Hooks for Attaching ACATS Tests to a Testing Framework
Integration with Ahven
Framework-Independent Representation of Tests
Connecting with Ahven
Elaboration Issues in Shared ACATS Support Code
Shared Support Package TCTouch
Tests with Unusual Organization
Bundling As a Compilation System Stressor
Repeatability and Ordering of Tests
Making Positive Tests Out of Negative Tests
Ahven vs. AUnit
Conclusions
References
Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE
Introduction
The Approach
Analysis Models
Design Models
Real-Time Design Model of the Basic Ada Structures
Practical Experience
Conclusions and Future Work
References
Architecture and Modelling
Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL
Introduction
The Comparison Framework
Building Block: Component
Building Block: Connector
Building Block: Configuration
Vital Quality Attributes
ADLs Under Comparison
Overview of AADL
Overview of EAST-ADL
AADL vs. EAST-ADL
Modeling of Components
Modeling of Connectors
Modeling of Configurations
Dependability
Timing
Conclusion
References
A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems
Introduction
Design and Verification through pTPNs
PTPN Model of the HS System
Architectural Verification
Implementation on RTAI
Testing Conformance with Respect to pTPN Semantics
Conclusions
References
Architecting a Common Bridge Abstraction over Different Middleware Paradigms
Introduction
Background and Related Work
The Common Bridge Abstraction
Communication Abstraction
QoS Abstraction
Common Bridge API
Data Types
Asynchronous Functions
Synchronous Functions
Validation
Use of the Common Bridge in the iLAND Middleware
Common Bridge Implementation
Conclusions
References
Education and Mixed Criticality
Using Robotics as a Motivational Tool: An Ada Interface to a Pioneer Robot
Introduction and Motivation
Technical Background: Hardware and Software Involved
Architecture of the Application
Implementation of the Protected Objects
Using the Developed Software: Templates for Students
Conclusions and Future Research
References
ORK+/XtratuM: An Open Partitioning Platform for Ada
Introduction
Overview of XtratuM
Overview of ORK+
Porting ORK+ to XtratuM
Adapting the XtratuM Interface
CPU Management
Interrupt Support
Time Services
Performance Evaluation
General Approach
Scenario Description
Related Work
Conclusions and Future Work
References
Implementing Mixed Criticality Systems in Ada
Introduction
System Model
Scheduling Analysis for Fixed Priority Scheduling
Shared Objects
Optimal Priority Ordering for Fixed Priority Scheduling
Managing Overruns and Increasing Robustness
Implementation of the Run-Time Protocol in Ada
Implementation Details
Example Execution
Conclusion
References
Panel: Language Paradigms for Multicore Programming
Programming Languages Meet Multicore
Introduction to the Panel
Questions to the Panelists
Reference
Programming Languages for Real-Time Applications Executing on Parallel Hardware
References
Multicore Programming in ParaSail
Introduction
Implicitly Parallel
Simplified and Unified Language Concepts
Parallel Run-Time Model and Pico-Threading
Deterministic and Non-deterministic Race-Free Parallel Programming
Object-Oriented Programming in Parasail
Conclusion
References
Why Parallel Functional Programming Matters: Panel Statement
Introduction
What Are the Key Challenges to Writing Effective Parallel Programs?
How does Functional Programming help with These Challenges?
Shared Memory and Locking
Parallel Patterns or Skeletons
Influences on Real-World Languages/Systems
What about Sequential Performance?
Conclusions
References
Panel: DO178C and Object-Orientation for Critical Systems
OOT, DO-178C and SPARK
Introduction
Static and Dynamic Verification for OO
Here Comes DO-178C.
OOT in SPARK: 2002 - Present
Constructors and Finalizers
Abstraction
Encapsulation
Hierarchy and Inheritance
Polymorphism and Dynamic Dispatching
OOT in SPARK - Future
Open Issues
Is Verification of LSP A Mirage?
Is LSP Actually Useful?
Conclusions
References
Position Paper: DO-178C/ED-12C and Object-Orientation for Critical Systems
DO-178C
Object-Oriented Supplement
Formal Methods Supplement
Strongly Typed Languages
In-Service Experience of DO-178B/ED-12B
Conclusion
References
Object Orientation in Critical Systems: Yes, in Moderation
Introduction
DO178C and OOT
Why Use OOT in Airborne Systems?
The Main Issue with OOT: Testing
How is This Applicable to Ada?
A Profile for Using OOT in Ada for Critical Systems
Conclusion
References
Signet Library Talk
On the Evolution of Unnatural Language
A Little Essential Background
Standardisation: The Good and the Bad
Validation and Compilers
Education and Programming Skills
Underlying Linguistic Similarity
Conclusion
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken