Reliable Software Technology – Ada-Europe 2005 [electronic resource] :10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings / edited by Tullio Vardanega, Andy Wellings.
by Vardanega, Tullio [editor.]; Wellings, Andy [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 3555Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Description: XV, 273 p. Also available online. online resource.ISBN: 9783540316664.Subject(s): Computer science | Computer Communication Networks | Software engineering | 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 SystemsDDC classification: 005.1 Online resources: Click here to access online | Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| MAIN LIBRARY | QA76.758 (Browse shelf) | Available |
Browsing MAIN LIBRARY Shelves Close shelf browser
| QA76.758 Component-Based Software Development for Embedded Systems | QA76.758 Product Focused Software Process Improvement | QA76.758 Architecting Dependable Systems III | QA76.758 Reliable Software Technology – Ada-Europe 2005 | QA76.758 FM 2005: Formal Methods | QA76.758 Satellite Events at the MoDELS 2005 Conference | QA76.758 Global Computing |
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.
This book constitutes the refereed proceedings of the 10th International Conference on Reliable Software Technologies, Ada-Europe 2005, held in York, UK in June 2005. The 21 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on applications, design and scheduling, formal methods, Ada and education, certification and verification, distributed systems, language aspects, and Ravenscar technology.
There are no comments for this item.