Reliable Software Technologies - Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings

Front Cover
Springer Science & Business Media, May 25, 2009 - Computers - 283 pages

This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009.

The 19 papers presented were carefully reviewed and selected from numerous submissions. Topics of interest to the conference are methods and techniques for software development and maintenance; software architecture; enabling technology; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; ada language and technology; ada and education.

 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Requirements on the Target Programming Language for HighIntegrity MDE
1
A Restricted Middleware Profile for HighIntegrity Distributed RealTime Systems
16
Validating Safety and Security Requirements for Partitioned Architectures
30
On Comparing Testing Criteria for Logical Decisions
44
Model Checking Techniques for Test Generation from Business Process Models
59
An Experience on Ada Programming Using OnLine Judging
75
Weak Fairness Semantic Drawbacks in Java Multithreading
90
Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT
105
Modelling and Evaluating RealTime Software Architectures
164
A Formal Foundation for Metamodeling
177
Modeling AADL Data Communication with BIP
192
Formal Verification of AADL Specifications in the Topcased Environment
207
ProcessAlgebraic Interpretation of AADL Models
222
An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications
237
Conceptual Modeling for System Requirements Enhancement
251
Coloured Petri Nets for Chronicle Recognition
266

Analysis and Implementation in Ada 2005
119
Predicated WorstCase ExecutionTime Analysis
134
Implementing Reactive Systems with UML State Machines and Ada 2005
149

Other editions - View all

Common terms and phrases