Michael Engel

Learn More
To master the complexity of software systems in the presence of unexpected events potentially affecting system operation, the <i>Autonomic Computing Initiative</i> [16] aims to build systems that have the ability to control and organize themselves to meet unforeseen changes in the hard- and software environment.The basic principles employed by autonomic(More)
For embedded systems, the use of software-based error detection and correction approaches is an attractive means in order to reduce often inconvenient overheads in hardware. To ensure that such a software-based fault-tolerance approach is effective, it must be guaranteed that a certain amount of hardware and software components in a system can be trusted to(More)
All hard, convex shapes are conjectured by Ulam to pack more densely than spheres, which have a maximum packing fraction of phi = pi/ radical18 approximately 0.7405. Simple lattice packings of many shapes easily surpass this packing fraction. For regular tetrahedra, this conjecture was shown to be true only very recently; an ordered arrangement was obtained(More)
Memory errors are a major source of reliability problems in current computers. Undetected errors may result in program termination, or, even worse, silent data corruption. Recent studies have shown that the frequency of permanent memory errors is an order of magnitude higher than previously assumed and regularly affects everyday operation. Often, neither(More)
Predicting structure from the attributes of a material's building blocks remains a challenge and central goal for materials science. Isolating the role of building block shape for self-assembly provides insight into the ordering of molecules and the crystallization of colloids, nanoparticles, proteins, and viruses. We investigated 145 convex polyhedra whose(More)
The paper presents an overview of a major research project on dependable embedded systems that has started in Fall 2010 and is running for a projected duration of six years. Aim is a 'dependability co-design' that spans various levels of abstraction in the design process of embedded systems starting from gate level through operating system, applications(More)
Polyhedra and their arrangements have intrigued humankind since the ancient Greeks and are today important motifs in condensed matter, with application to many classes of liquids and solids. Yet, little is known about the thermodynamically stable phases of polyhedrally shaped building blocks, such as faceted nanoparticles and colloids. Although hard(More)
To explore the behavior of new algorithms or applications for mobile wireless ad-hoc networks, dedicated simulation systems are widely used. Since such simulation systems can only approximate the situation existing in real networks, significant efforts have to be spent to adapt algorithms or applications running in a simulation environment to run in a real(More)