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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Vardanega, Tullio (Επιμελητής έκδοσης), Wellings, Andy (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Σειρά: Lecture Notes in Computer Science, 3555
• Θέματα: Computer science.; Computer communication systems.; Special purpose computers.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Management information systems.; Computer Science.; Software Engineering.; Computer Communication Networks.; Special Purpose and Application-Based Systems.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Management of Computing and Information Systems.

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

Πίνακας περιεχομένων:

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