Andreas Bauer Books

Geochemistry at the surface of the earth is dominated by two somewhat antagonistic forces: chemical reactions which attempt to attain a steady state (equilibrium) and geological movement of materials in time and space which changes the parameters that control chemical equilibrium. Another aspect that is extremely important to earth surface geochemistry is the effect of plants on the chemical and physical stability of materials (soils). Plant systems in fact work against the normal chemical changes (loss of silica, potassium, etc.) and the normal physical changes (stabilizing fine grained materials (clays) in the surface zones to avoid erosion). Biological effects are clearly seen in redox effects in the various parts of the earth surface movement cycle; soil formation, stream transport, sedimentation. This book attempts to outline these different parameters and their interactions as they affect earth surface geochemistry in order to give a better understanding of movement and accumulation of elements at the surface of the earth.

As interactions and dependencies within distributed reactive systemsincrease, the problem of detecting failures which depend on the exactsituation and environmental conditions they occur in grows. As aresult, not only the detection of failures is increasingly difficult,but also the differentiation between symptoms of a fault, and theactual fault itself. This work proposes an efficient approach for thedynamic analysis of such systems. It introduces a framework, referredto as runtime reflection framework, for the detection of failures aswell as identification of their causes. Failure detection is basedupon monitoring systems w.r.t. their properties, defined in a customhigh-level specification language. Properties are translatable intotemporal logics for which efficient monitors can be generated. Basedon the monitors'' verdicts, a dedicated failure diagnosis is performedto identify explanations for an observed deviation. Either thisconfirms that a monitor detected the root cause for a failure, orindicates that the fault is located elsewhere. This work developsboth the theoretical foundations for runtime reflection as well asefficient means for its implementation.

Book by Bauer, Andreas, Bloching, Bjoern, Howaldt, Kai, Mitchell, Alan