Reliable Software Technologies -- Ada-Europe 2012

Name: Reliable Software Technologies -- Ada-Europe 2012 | 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012, Proceedings
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012, Proceedings

Mats Brorsson Luis Miguel Pinho(Herausgeber*in)

Springer (Verlag)

Erschienen am 7. Juni 2012

XII, 220 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-30598-6 (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
Application Frameworks
Ada Ravenscar Code Archetypes for Component-Based Development
Introduction
Overview of the Design Approach
User Model Entities in the Platform Independent Model Space
Implementation Entities in the Platform Specific Model Space
Mapping of Design Entities
Interface
Component Type
Component Implementation
Component Instance and Container
Realization of Concurrency and Real-Time Properties
Delegation Chains
Archetypes for Threads
Sporadic Thread
Parameter Passing for Sporadic Operations
Discussion
Related Work
Conclusions
References
An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications
Introduction
Example System
Functional Description
Operating Modes
Hardware Platform and Software Workload Model
Real-Time System Development Workflow
Schedulability Analysis
Steady-State Analysis
Transition Analyses
Operating Modes Specification
Mode Manager Specification
UML Finite State Machine Elements
Specification of Partial Mode Changes
Implementation within the Real-Time Framework
Mode Manager
Mode Changer
Conclusions
References
Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA
Introduction
Background and Related Work
iLAND Middleware
Architecture Overview
Platform Independence
Limitations for Real-Time
Adjusting to Ada Distribution Specifics
Integrating iLAND with Ada DSA. An Interoperable Solution
Adaptation to the Common Bridge
Validation
Conclusions
References
Use of Ada
Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012
Introduction
Requirements
Software Architecture
Code
Testing
Traceability
Conclusion
References
Teaching 'Concepts of Programming Languages' with Ada
Introduction
Design of the Course "Concepts of Programming Languages"
Organization
Introductory Chapters
Basic Decisions in Designing the Course
Course Segment "Questions and Discussions"
Background
Examples: Easy Level
Examples: Medium Level
Examples: Difficult Level
Programs for Trying out and Discussing
Cross-References to Other Courses
Evaluation of the Course
How to Evaluate a University Course?
Evaluation by the Students
Advantages and Drawbacks of the Course as Seen by the Lecturer
Conclusion
References
Designing the API for a Cryptographic Library
Introduction
Introducing the libadacrypt
Handling Secure Authenticated Encryption (AE)
Generic Composition
Nonce Problematic
Plaintext Leaking
An API for Authenticated Encryption Schemes
Conclusion and Outlook
References
Modeling
Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development
Introduction
Our View of Separation of Concerns
Specification of Needs and the Solution
The Role of Software Architecture
SofC in a Component Model for High-integrity Systems
SofC Applied: Handling Synchronization Requirements
Synchronization Levels
Supporting Atomic Blocks in the Component Model
Formulating Assumptions about Atomic Blocks at the Client-Side Level
Guaranteeing Atomic Blocks in the Design Environment
Conclusions and Future Work
References
An Approach to Model Checking Ada Programs
Introduction
Model Extraction
Property Specification
Case Study
Related Work
Conclusions
References
Formal Modelling for Ada Implementations: Tasking Event-B
Introduction
Motivation
An Overview of Event-B
An Overview of Tasking Event-B
Case Study
Event-B Development
Guiding Code Generation with Tasking Event-B
Writing Directly to Memory Locations
Tooling
Conclusions
Related Work
References
Testing and Validation
Augmenting Formal Development with Use Case Reasoning
Introduction
Background
Event-B
The Use Case Extension of Event-B
Small Example
Use Case Semantics
Co-refinement of Machines and Use Cases
Case Study
Abstract Model
First Refinement
Second Refinement
Third Refinement
Fourth, Fifth and Sixth Refinements
Seventh Refinement
Conclusion
References
Formal Goal-Oriented Development of Resilient MAS in Event-B
Introduction
Formal Modelling and Refinement in Event B
Modelling in Event-B
Event-B Refinement
A Formal View of Goal-Oriented Multi-agent System
Patterns for Goal-Oriented Development
Abstract Goal Modelling Pattern
Goal Decomposition Pattern
Agent Modelling Pattern
Agent Refinement Pattern
Case Study: A Multi-robotic System
A Case Study Description
Pattern-Driven Refinement of a Multi-robotic System
Conclusions
Discussion
Related Work
References
Choices, Choices: Comparing between CHOC'LATE and the Classification-Tree Methodology
Introduction
OverviewofCHOC'LATE and CTM
CHOC'LATE
CTM
Applicability of CHOC'LATE and CTM
Strengths andWeaknesses of CHOC'LATE and CTM
Relations among Categories and Choices
Inherent Limitation of Tree Structure
Automatic Deduction and Consistency Checking of Relations
Test Frame Generation
Documentation of the Software under Test
Selection Guidelines
Related Work
Summary and Conclusion
References
Real-Time Systems
Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit
Introduction
The Time Management Unit (TMU)
UC3 Implementation of TMU
Ada 2012 Execution Time Control
Implementation without TMU
Design
Hardware Timer
Clock Management
Measuring Time
Setting the Hardware Timer
Alarms
Interrupt Handler
Modifications for Using the TMU
TMU Interface
Hardware Timer Usage
Interrupt Handlers
Context Switch
PerformanceTesting
Reading the RTC and ETC
Context Switch Overhead
Interrupt Handler Overhead
Timing Event Overhead
Cost to Interrupted Task
Discussion
Performance Improvements
Modifications of Run-Time Environment
TMU Design, Implementation and Portability
Conclusion
References
Implementing and Verifying EDF Preemption-Level Resource Control
Introduction
Analysis of Baker's Algorithm
EDF Verification Tool
Abstract Specification
Scenario Creator
Simulator
Code Generator
Controller
Implementation
Summary
Evaluation
Scenario Descriptions
Summary
Conclusions
References
Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systems
Introduction
Related Works
Contribution and Outline
Design Constraints
How to Satisfy Constraints in an Efficient Way
Implications on Design Space Exploration
System Configuration - Optimization Framework
Experimental Results
Conclusion
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken