Reliable Software Technologies - Ada-Europe 2009

1. Front Matter

   PDF

2. Requirements on the Target Programming Language for High-Integrity MDE

   • Alessandro Zovi, Tullio Vardanega

   Pages 1-15

3. A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems

   • Santiago Urueña, Juan Zamorano, Juan A. de la Puente

   Pages 16-29

4. Validating Safety and Security Requirements for Partitioned Architectures

   • Julien Delange, Laurent Pautet, Peter Feiler

   Pages 30-43

5. On Comparing Testing Criteria for Logical Decisions

   • Man Fai Lau, Yuen Tak Yu

   Pages 44-58

6. Model Checking Techniques for Test Generation from Business Process Models

   • Didier Buchs, Levi Lucio, Ang Chen

   Pages 59-74

7. An Experience on Ada Programming Using On-Line Judging

   • Francisco J. Montoya-Dato, José Luis Fernández-Alemán, Ginés García-Mateos

   Pages 75-89

8. Weak Fairness Semantic Drawbacks in Java Multithreading

   • Claude Kaiser, Jean-François Pradat-Peyre

   Pages 90-104

9. Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT

   • Mario Aldea Rivas, Michael González Harbour, José F. Ruiz

   Pages 105-118

10. Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005

    • Alan Burns, Andy J. Wellings, Fengxiang Zhang

    Pages 119-133

11. Predicated Worst-Case Execution-Time Analysis

    • Amine Marref, Guillem Bernat

    Pages 134-148

12. Implementing Reactive Systems with UML State Machines and Ada 2005

    • Sergio Sáez, Silvia Terrasa, Vicente Lorente, Alfons Crespo

    Pages 149-163

13. Modelling and Evaluating Real-Time Software Architectures

    • José L. Fernández Sánchez, Gloria Mármol Acitores

    Pages 164-176

14. A Formal Foundation for Metamodeling

    • Liliana Favre

    Pages 177-191

15. Modeling AADL Data Communication with BIP

    • Lei Pi, Jean-Paul Bodeveix, Mamoun Filali

    Pages 192-206

16. Formal Verification of AADL Specifications in the Topcased Environment

    • Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal Zilio, Mamoun Filali, François Vernadat

    Pages 207-221

17. Process-Algebraic Interpretation of AADL Models

    • Oleg Sokolsky, Insup Lee, Duncan Clarke

    Pages 222-236

18. Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications

    • Gilles Lasnier, Bechir Zalila, Laurent Pautet, Jérome Hugues

    Pages 237-250

19. Conceptual Modeling for System Requirements Enhancement

    • Eric Le Pors, Olivier Grisvard

    Pages 251-265

20. Coloured Petri Nets for Chronicle Recognition

    • Christine Choppy, Olivier Bertrand, Patrice Carle

    Pages 266-281

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.

• Java
• Middleware
• code generation
• embedded systems
• high-integrity environment
• metamodeling
• model checking
• modeling
• petri nets
• process algebra
• programming
• real-time systems
• software architecture
• testing
• verification

• Université P. & M. Curie, LIP6 - CNRS UMR 7606, Paris cedex 05, France

  Fabrice Kordon

• Telecom Bretagne, Technopôle Brest-Iroise, CS 83818, Brest cedex 3, France

  Yvon Kermarrec

Policies and ethics