Reliable Software Technologies – Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Kordon, Fabrice (Editor), Vardanega, Tullio (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
• Series: Lecture Notes in Computer Science, 5026
• Subjects: Computer science.; Computer communication systems.; Special purpose computers.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computer Science.; Computer Communication Networks.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Special Purpose and Application-Based Systems.

This book constitutes the refereed proceedings of the 13th International Conference on Reliable Software Technologies, Ada-Europe 2008, held in Venice, Italy, in June 2008. The 20 revised full papers presented were carefully reviewed and selected from numerous submissions. The conference proceedings...

Table of Contents:

• A New Approach to Memory Partitioning in On-Board Spacecraft Software
• Design and Development of Component-Based Embedded Systems for Automotive Applications
• On the Timed Automata-Based Verification of Ravenscar Systems
• Operational Semantics of Ada Ravenscar
• Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization Primitives
• A Modelling Approach with Coloured Petri Nets
• A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets
• Concurrent Program Metrics Drawn by Quasar
• A Comparison of the Object-Oriented Features of Ada 2005 and JavaTM
• A Framework for CFG-Based Static Program Analysis of Ada Programs
• A Type-Safe Database Interface
• StateML?+?: From Graphical State Machine Models to Thread-Safe Ada Code
• Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems
• A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions
• Increasing Confidence in Concurrent Software through Architectural Analysis
• Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness
• RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs
• Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project
• An Ada 2005 Technology for Distributed and Real-Time Component-Based Applications
• Real-Time Distribution Middleware from the Ada Perspective.