Reliable Software Technologies - Ada-Europe 2011
16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings
Published on 29. June 2011
XIII, 227 pages
978-3-642-21338-0 (ISBN)
Description
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.
More details
Other editions
Additional editions
Alexander Romanovsky | Tullio Vardanega
Reliable Software Technologies - Ada-Europe 2011
16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings
Book
06/2011
1st Edition
Springer
€53.49
Shipment within 7-9 days
Content
- 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
