Reliable Software Technologies - Ada-Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, Jun

ISBN-13: 9783540732297 / Angielski / Miękka / 2007 / 247 str.

Fabrice Kordon

Opis

Constitutes the refereed proceedings of the 12th International Conference on Reliable Software Technologies, Ada-Europe 2007, held in Geneva, Switzerland, in June 2007. This book presents 18 revised full papers that were reviewed and selected from numerous submissions.

Spis treści

Real-Time Utilities for Ada 2005.- Handling Temporal Faults in Ada 2005.- Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT.- Enhancing Dependability of Component-Based Systems.- On Detecting Double Literal Faults in Boolean Expressions.- Static Detection of Livelocks in Ada Multitasking Programs.- Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks.- An Intermediate Representation Approach to Reducing Test Suites for Retargeted Compilers.- Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach.- A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis.- ArchMDE Approach for the Development of Embedded Real Time Systems.- Generating Distributed High Integrity Applications from Their Architectural Description.- Automatic Ada Code Generation Using a Model-Driven Engineering Approach.- Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar.- Modelling Remote Concurrency with Ada.- Design and Performance of a Generic Consensus Component for Critical Distributed Applications.- Sancta: An Ada 2005 General-Purpose Architecture for Mobile Robotics Research.- Incorporating Precise Garbage Collection in an Ada Compiler.