
Reliable Software Technologies -- Ada-Europe 2012
Description
Alles über E-Books | Antworten auf Fragen rund um E-Books, Kopierschutz und Dateiformate finden Sie in unserem Info- & Hilfebereich.
More details
Other editions
Additional editions

Content
- 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
System requirements
File format: PDF
Copy protection: Watermark-DRM (Digital Rights Management)
System requirements:
- Computer (Windows; MacOS X; Linux): Use the free software Adobe Reader, Adobe Digital Editions, or any other PDF viewer of your choice (see eBook Help).
- Tablet/Smartphone (Android; iOS): Install the free app Adobe Digital Editions or another reading app for eBooks, e.g., PocketBook (see eBook Help).
- E-reader: Bookeen, Kobo, Pocketbook, Sony, Tolino and many more (only limited: Kindle).
The file format PDF always displays a book page identically on any hardware. This makes PDF suitable for complex layouts such as those used in textbooks and reference books (images, tables, columns, footnotes). Unfortunately, on the small screens of e-readers or smartphones, PDFs are rather annoying, requiring too much scrolling.
This eBook uses Watermark-DRM, a „soft” copy protection. This means that there are no technical restrictions to prevent illegal distribution. However, there is a personalised watermark embedded in the eBook that can be used to identify the purchaser of the eBook in the event of misuse and to provide evidence for legal purposes.
For more information, see our eBook Help page.