Reliable Software Technology - Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings /

Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference that had previously run for 16 consecutive years, the International Conference on Reliable Software Technologies celebrated this year its tenth anniversary by going to York,...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Vardanega, Tullio (Editor ), Wellings, Andy (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Programming and Software Engineering, 3555
Temas:
Software engineering.
Computer networks .
Computers, Special purpose.
Computer programming.
Compilers (Computer programs).
Electronic data processing-Management.
Software Engineering.
Computer Communication Networks.
Special Purpose and Application-Based Systems.
Programming Techniques.
Compilers and Interpreters.
IT Operations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Applications
  • ILTIS - The Legacy of a Successful Product
  • A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle
  • An Ada Framework for QoS-Aware Applications
  • Design and Scheduling Issues
  • Efficient Alternatives for Implementing Fixed-Priority Schedulers
  • A New Strategy for the HRT-HOOD to Ada Mapping
  • Using the AADL to Describe Distributed Applications from Middleware to Software Components
  • Formal Methods
  • Extending Ravenscar with CSP Channels
  • Dynamic Tasks Verification with Quasar
  • Proving Functional Equivalence for Program Slicing in SPARKTM
  • Ada and Education
  • Teaching Software Engineering with Ada 95
  • A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for JavaTM
  • Certification and Verification
  • Smart Certification of Mixed Criticality Systems
  • Non-intrusive System Level Fault-Tolerance
  • Distributed Systems
  • Observing the Development of a Reliable Embedded System
  • RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet
  • Distributing Criticality Across Ada Partitions
  • Language Issues
  • The Implementation of Ada 2005 Interface Types in the GNAT Compiler
  • Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks
  • The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95
  • Ravenscar Technology
  • GNAT Pro for On-board Mission-Critical Space Applications
  • The ESA Ravenscar Benchmark.

Ejemplares similares