Skip to main content
  • Conference proceedings
  • © 2009

Reliable Software Technologies - Ada-Europe 2009

14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5570)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): Ada-Europe: Ada-Europe International Conference on Reliable Software Technologies

Conference proceedings info: Ada-Europe 2009.

Buying options

eBook USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-01924-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (19 papers)

  1. Front Matter

  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. 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
  7. Weak Fairness Semantic Drawbacks in Java Multithreading

    • Claude Kaiser, Jean-François Pradat-Peyre
    Pages 90-104
  8. 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
  9. Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005

    • Alan Burns, Andy J. Wellings, Fengxiang Zhang
    Pages 119-133
  10. Predicated Worst-Case Execution-Time Analysis

    • Amine Marref, Guillem Bernat
    Pages 134-148
  11. Implementing Reactive Systems with UML State Machines and Ada 2005

    • Sergio Sáez, Silvia Terrasa, Vicente Lorente, Alfons Crespo
    Pages 149-163
  12. Modelling and Evaluating Real-Time Software Architectures

    • José L. Fernández Sánchez, Gloria Mármol Acitores
    Pages 164-176
  13. A Formal Foundation for Metamodeling

    • Liliana Favre
    Pages 177-191
  14. Modeling AADL Data Communication with BIP

    • Lei Pi, Jean-Paul Bodeveix, Mamoun Filali
    Pages 192-206
  15. 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
  16. Process-Algebraic Interpretation of AADL Models

    • Oleg Sokolsky, Insup Lee, Duncan Clarke
    Pages 222-236
  17. 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
  18. Conceptual Modeling for System Requirements Enhancement

    • Eric Le Pors, Olivier Grisvard
    Pages 251-265
  19. Coloured Petri Nets for Chronicle Recognition

    • Christine Choppy, Olivier Bertrand, Patrice Carle
    Pages 266-281

Other Volumes

  1. Reliable Software Technologies – Ada-Europe 2009

    14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings

About this book

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.

Keywords

  • 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

Editors and Affiliations

  • 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

Bibliographic Information

Buying options

eBook USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-01924-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.00
Price excludes VAT (USA)