可靠软件技术 Reliable software technologies

书籍目录

Invited Papers　Embedded Systems Unsuitable for Object Orientation　On Architectural Stability and Evolution　Encapsulating Failure Detection: From Crash to Byzantine Failures　Contextware: Bridging Physical and Virtual WorldsEmbedded Systems　Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors　OMC-INTEGRAL Memory Management　Language Issues of Compiling Ada to HardwareCase Studies　Software Development Reengineering - An Experience Report　Development of a Control System for Teleoperated Robots Using UML and Ada95　Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded ApplicationsReal-Time Systems　A POSIX-Ada Interface for Application-Defined SchedulingHigh-Integrity Systems　Closing the Loop: The Influence of Code Analysis on Design　High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNATAda Language　How to Use GNAT to Efficiently Preprocess New Ada Sentences　Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada　Adding Design by Contract to the Ada LanguageProgram Analysis　Static Dependency Analysis for Concurrent Ada 95 Programs　DataFAN: A Practical Approach to Data Flow Analysis for Ada 95　Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study.Tools　About the Difficulties of Building a Pretty-Printer for Ada　A Tailorable Distributed Programming EnvironmentDistributed Systems Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components……Libraries, APIs, and BindingsObject-OrientationAuthor Index

作者简介

在线阅读本书



  This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe 2002, held in Vienna, Austria, in June 2002.The 24 revised full papers presented together with four invited papers were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on embedded systems, case studies, real-time systems, high-integrity systems, Ada language issues, program analysis, tools, distributed systems, and libraries and APIs.

 可靠软件技术 Reliable software technologies下载