Titlebook: Reliable Software Technologies - Ada-Europe 2002; 7th Ada-Europe Inter Johann Blieberger,Alfred Strohmeier Conference proceedings 2002 Spri

Spartan

Conference proceedings 2002 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 languag

Detonate

Endoscope

Encapsulating Failure Detection: From Crash to Byzantine Failurese original crash failure detector model. However, we also argue that there is some room for an intermediate approach where algorithms that solve agreement problems, such as consensus and atomic broadcast, can still benefit from . failure detectors that partially encapsulate Byzantine failure detection.

祖?zhèn)?/a>

Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processorplications. A set of benchmark kernels is compiled and executed on an embedded processor simulator, while the results are fed to instruction level and memory power models to estimate the power consumption of each system component for both programming styles.

CHURL

清真寺

Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Adapt, and an extended mode to verify at run-time the validity of scalars, both designed for easy use in existing large applications. Their implementation in GNAT Pro (the GNU Ada 95 compiler) is discussed. The practical results obtained on a large Air Traffic Flow Management application are presented.

蒙太奇

Embedded Systems Unsuitable for Object Orientationation is fine for analysis but does not answer the design needs. Solutions for shortcomings are sought within the OO dogma, making things worse. This paper will outline a different approach and will discuss benefits of that approach relative to object orientation.

錯誤

On Architectural Stability and Evolutione architecture describes a system’s structure and global properties and thus determines not only how the system should be constructed but also guides its evolution. An important challenge is to be able to evaluate the ‘goodness” of a proposed architecture. I suggest stability or resilience as a prim

Narrative

Encapsulating Failure Detection: From Crash to Byzantine Failurespline is particularly desirable in the development of distributed agreement algorithms which are known to be difficult and error prone. For such algorithms, one aspect that is important to encapsulate is failure detection. In fact, a complete encapsulation was proven to be feasible in the context of

CAJ