Reliable Software Technology - Ada-Europe 2005
Editat de Tullio Vardanega, Andy Wellingsen Limba Engleză Paperback – 8 iun 2005
Preț: 320.97 lei
Preț vechi: 401.21 lei
-20% Nou
Puncte Express: 481
Preț estimativ în valută:
56.80€ • 66.60$ • 49.88£
56.80€ • 66.60$ • 49.88£
Carte tipărită la comandă
Livrare economică 16 februarie-02 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540262862
ISBN-10: 3540262865
Pagini: 296
Ilustrații: XVI, 276 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.45 kg
Ediția:2005
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540262865
Pagini: 296
Ilustrații: XVI, 276 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.45 kg
Ediția:2005
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.