Skip to main content
  • Conference proceedings
  • © 2007

Reliable Software Technologies - Ada-Europe 2007

12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings

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

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 2007.

Buying options

eBook USD 64.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-73230-3
  • 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 84.99
Price excludes VAT (USA)

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

Table of contents (18 papers)

  1. Front Matter

  2. Real-Time Utilities for Ada 2005

    • Andy Wellings, Alan Burns
    Pages 1-14
  3. Handling Temporal Faults in Ada 2005

    • José A. Pulido, Santiago Urueña, Juan Zamorano, Juan A. de la Puente
    Pages 15-28
  4. Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT

    • Mario Aldea Rivas, José F. Ruiz
    Pages 29-40
  5. Enhancing Dependability of Component-Based Systems

    • Arnaud Lanoix, Denis Hatebur, Maritta Heisel, Jeanine Souquières
    Pages 41-54
  6. On Detecting Double Literal Faults in Boolean Expressions

    • Man F. Lau, Ying Liu, Tsong Y. Chen, Yuen T. Yu
    Pages 55-68
  7. Static Detection of Livelocks in Ada Multitasking Programs

    • Johann Blieberger, Bernd Burgstaller, Robert Mittermayr
    Pages 69-83
  8. Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks

    • W. K. Chan, Tsong Y. Chen, S. C. Cheung, T. H. Tse, Zhenyu Zhang
    Pages 84-99
  9. A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis

    • Marco Panunzio, Tullio Vardanega
    Pages 128-141
  10. ArchMDE Approach for the Development of Embedded Real Time Systems

    • Nourchène Elleuch, Adel Khalfallah, Samir Ben Ahmed
    Pages 142-154
  11. Generating Distributed High Integrity Applications from Their Architectural Description

    • Bechir Zalila, Irfan Hamid, Jerome Hugues, Laurent Pautet
    Pages 155-167
  12. Automatic Ada Code Generation Using a Model-Driven Engineering Approach

    • Diego Alonso, Cristina Vicente-Chicote, Pedro Sánchez, Bárbara Álvarez, Fernando Losilla
    Pages 168-179
  13. Modelling Remote Concurrency with Ada

    • Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre
    Pages 192-207
  14. Design and Performance of a Generic Consensus Component for Critical Distributed Applications

    • Khaled Barbaria, Jerome Hugues, Laurent Pautet
    Pages 208-220
  15. Incorporating Precise Garbage Collection in an Ada Compiler

    • Francisco García-Rodríguez, Javier Miranda, José Fortes Gálvez
    Pages 235-245
  16. Back Matter

Other Volumes

  1. Reliable Software Technologies – Ada Europe 2007

    12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings

About this book

Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement of all aspects of reliable software technologies. The objective of this series of conferences, initiated and sponsored by Ada-Europe, the European federation of national Ada societies, is to provide a forum to promote the development of reliable softwares both as an industrial technique and an academic discipline. Previous editions of the Reliable Software Technologies conference were held in: Porto (Portugal) in 2006, York (UK) in 2005, Palma de Mallorca (Spain) in 2004,Toulouse (France) in 2003,Vienna (Austria) in 2002,Leuven (Belgium) in 2001,Potsdam(Germany)in2000,Santander(Spain)in1999,Uppsala(Sweden) in 1998, London (UK) in 1997 and Montreux (Switzerland) in 1996. The 12th International Conference on Reliable Software Technologies took place in Geneva, Switzerland, June 25-29, 2007, under the continued sponsoring ofAda-Europe,incooperationwithACMSIGAda.Itwasorganizedbymembers of the University of Applied Sciences, Western Switzerland (Engineering School of Geneva), in collaboration with colleagues from various places in Europe. The 13th conference, in 2008, will take place in Venice, Italy.

Keywords

  • Ada
  • Ada programming
  • Ada programming language
  • Compiler
  • Multitasking
  • architecture
  • concurrency modeling
  • dependable computing
  • distributed systems
  • embedded systems
  • formal methods
  • modeling
  • real-time
  • robot
  • robotics

Editors and Affiliations

  • HES.SO, École d’ingénieurs de Genéve, University of Applied Sciences Western Switzerland, Geneva, Switzerland

    Nabil Abdennadher

  • Laboratoire d’Informatique de Paris 6, Université Pierre et Marie Curie, Paris, France

    Fabrice Kordon

Bibliographic Information

Buying options

eBook USD 64.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-73230-3
  • 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 84.99
Price excludes VAT (USA)