Firewalls are a cornerstone of todays security infrastructure for networks. Their configuration, implementing a firewall policy, is inherently complex, hard to understand, and difficult to validate. We present a substantial case study performed with the model-based testing tool HOL-TestGen. Based on a formal model of firewalls and their policies in higher-order logic (HOL), we first present a d...

Todays FPGA technology allows reconngurable hardware to be integrated into standard PC hardware. With this kind of hardware it is possible to change hardware functionality on-they and to remove and insert complete subsystems just by rebooting the conngurable parts. Hardware like this has new demands on software that often can't be fulllled by the classical device driver concept used in todays o...

The design processes of todays more and more complex automation systems require computer-based support to maintain their manageability. As a base for that, the authors introduce a holistic design approach for these systems. Requirements on the system to be designed are represented by an extended feature model which serves as consistent requirements model during the entire design process. A gram...

Active networks is a framework where network elements, primarily routers and switches, are programmable. Programs that are injected into the network are executed by the network elements to achieve higher exibility and to present new capabilities. This work describes a novel active network architecture which primarily addresses the management challenges of modern complex networks. Its primary co...

Abstract Plated microvias are widely used within todays PCB industry as a means of achieving the high-density designs that required in modern mobile devices, however, there has been growing concern regarding their long term reliability performance when stacked directly on top each other. Blind (BMV) have potentially complex metallurgical structure, with several interfaces located around target ...