Mutation Testing in the Refinement Calculus

This article discusses mutation testing strategies in the context of refinement. Here, a novel generalisation of mutation testing techniques is presented to be applied to contracts ranging from formal specifications to programs. It is demonstrated that refinement and its dual abstraction are the key notions leading to a precise and yet simple theory of mutation testing. The refinement calculus of Back and von Wright is used to express concepts like contracts, useful mutations, test cases and test coverage.     

Numerical integration of singular integrands using low-discrepancy sequences

We investigate quasi-Monte Carlo integration for functions on thes-dimensional unit cube having point singularities. Error bounds are proved and the theoretical results are verified by computations using Halton, Sobol’ and Niederreiter sequences. Supported by the Austrian Science Foundation (Project 10223-PHY).     

GPS-based Clock Synchronization in a Mobile,Distributed Real-Time System

In a vehicle tracking system computers aboard moving vehicles determine periodically their geographical position and transmit it to a control center. This paper presents a commercial vehicle tracking system as an example of a distributed real-time system with mobile components and focuses on the issue of clock synchronization. The mobile components of the system obtain highly accurate timing information from the Global Positioning System which is used to synchronize their local clocks to UTC world time. Thus a tight clock synchronization is achieved without imposing additional load on the communication channels of the system.     

Das Problem der verantworteten Therapieentscheidung in der Neonatologie

Definition of the problem: Physicians and nurses who work in neonatology—as in intensive care at all—are often forced to decide whether to stop or to continue with the treatment of a severely ill patient. The literature provides several decision making instruments, which are meant to help and to rationalize such decisions. Method and conclusion: Two of these instruments (“Schema zur ethischen Urteilsbildung nach dem Muster der aristotelischen Ethik”, Honnefelder 1994; “Nimwegener Methode für ethische Fallbesprechung”, Gordijn 1998) were tested by retrospectively examining two cases of our NICU. Results of our study show that the use of a decision making instrument is basically helpful. But the above mentioned instruments showed also shortcomings when used in the framework of neonatology. Therefore we developed the “Kölner Arbeitsbogen zur ethischen Entscheidungsfindung in der Neonatologie”, which is adapted to the specific needs of neonatology.     

Towards Pseudonymous e-Commerce

The lack of privacy is one of the main reasons that limits trust in e-commerce. Current e-commerce practice enforces a customer to disclose her identity to the e-shop and the use of credit cards makes it straightforward for an e-shop to know the real identity of its customers. Although there are some payment systems based on untraceable tokens, they are not as widely used as credit cards. Furthermore, even without buying anything, a customer is already disclosing some information about who or where she may be by just connecting to the e-shop's web server and leaving behind an IP-address. In this paper, we present novel components that enable secure pseudonymous e-commerce. On the one hand, these components allow a customer to browse through an e-shop, select goods, and pay the goods with her credit card such that neither the e-shop operator nor the credit card issuer nor an eavesdropper is able to get any information about the customer's identity. On the other hand, it is guaranteed that none of the involved parties is able to act dishonestly during the credit card payment. Such a system could greatly enhance trust in e-commerce since it overcomes the customers' privacy concerns.     

Vertrauensvolle E-Mail-Kommunikation

Der ?elektronische Brief“ bzw. die elektronische Mail (E-Mail) ist seit über 30 Jahren im privaten wie beruflichen Umfeld im Einsatz. Behörden, Steuerbüros, Krankenhäuser, Finanzinstitute und viele weitere Gruppen versenden und empfangen E-Mails, um Informationen auszutauschen. Innerhalb kurzer Zeit findet eine E-Mail ihren Weg vom Sender in Deutschland zum Empfänger in beispielsweise den USA. Wie funktioniert das? Und was hat es mit E-Mail-Verschlüsselung auf sich? Dieser Artikel betrachtet die grundlegende technische Funktionsweise der E-Mail sowie Hintergründe und Funktionsweise der Verschlüsselung mit S/MIME und PGP.     

Design of acoustic beam aperture modifier using gradient-index phononic crystals

This article reports the design concept of a novel acoustic beam aperture modifier using butt-jointed gradient-index phononic crystals (GRIN PCs) consisting of steel cylinders embedded in a homogeneous epoxy background. By gradually tuning the period of a GRIN PC, the propagating direction of acoustic waves can be continuously bent to follow a sinusoidal trajectory in the structure. The aperture of an acoustic beam can therefore be shrunk or expanded through change of the gradient refractive index profiles of the butt-jointed GRIN PCs. Our computational results elucidate the effectiveness of the proposed acoustic beam aperture modifier. Such an acoustic device can be fabricated through a simple process and will be valuable in applications, such as biomedical imaging and surgery, nondestructive evaluation, communication, and acoustic absorbers.     

Dauerhaftigkeit und mechanische Stabilität von Terrassendielen bei erhöhter Temperatur – Ein Werkstoffvergleich: WPC,thermisch modifiziertes Holz und Massivholz

This article deals with the differences in the long-term durability and thermal stability under load of terrace deckings from various materials. The tested materials were deckings made of wood, thermally modified timber (TMT), and wood–polymer–composites (WPC). For the determination of the test temperatures for component testing according to EN 310, the surface temperatures of the decks during a normal hot summer day were measured. A cyclic test according to EN 321 was applied to all decking materials. Afterwards the component testing was repeated. All wooden samples reveal considerable cracks, some were twisted, and few were even broken. In particular regarding the optical appearance, wood decks show advantages against the TMT decks. Some WPC decks show very fine cracks on the face, which were additionally analyzed by means of X-ray computed tomography (CT). Except for the WPC deck with higher wood content, no WPC deck revealed significant changes after the cyclic test. The CT analysis was also suitable to find cracks inside the materials and illustrate them. Thus, the whole damage inside a sample could be characterized by calculating a kind of error pattern. No considerable cracks or failures could be observed on the WPC decks.