Reliable Software Technologies - Ada-Europe 2009

Requirements on the Target Programming Language for High-Integrity MDE.- A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems.- Validating Safety and Security Requirements for Partitioned Architectures.- On Comparing Testing Criteria for Logical Decisions.- Model Checking Techniques for Test Generation from Business Process Models.- An Experience on Ada Programming Using On-Line Judging.- Weak Fairness Semantic Drawbacks in Java Multithreading.- Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT.- Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005.- Predicated Worst-Case Execution-Time Analysis.- Implementing Reactive Systems with UML State Machines and Ada 2005.- Modelling and Evaluating Real-Time Software Architectures.- A Formal Foundation for Metamodeling.- Modeling AADL Data Communication with BIP.- Formal Verification of AADL Specifications in the Topcased Environment.- Process-Algebraic Interpretation of AADL Models.- Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications.- Conceptual Modeling for System Requirements Enhancement.- Coloured Petri Nets for Chronicle Recognition.