Goal-conflict detection based on temporal satisfiability checking

Goal-oriented requirements engineering approaches propose capturing how a system should behave through the speci ca- tion of high-level goals, from which requirements can then be systematically derived. Goals may however admit subtle situations that make them diverge, i.e., not be satis able as a whole under speci c circumstances feasible within the domain, called boundary conditions . While previous work al- lows one to identify boundary conditions for con icting goals written in LTL, it does so through a pattern-based approach, that supports a limited set of patterns, and only produces pre-determined formulations of boundary conditions. We present a novel automated approach to compute bound- ary conditions for general classes of con icting goals expressed in LTL, using a tableaux-based LTL satis ability procedure. A tableau for an LTL formula is a nite representation of all its satisfying models, which we process to produce boundary conditions that violate the formula, indicating divergence situations. We show that our technique can automatically produce boundary conditions that are more general than those obtainable through existing previous pattern-based approaches, and can also generate boundary conditions for goals that are not captured by these patterns

Qualitative und quantitative Analyse von SOA-Studien: Eine Metastudie zu serviceorientierten Architekturen

In diesem Forschungsbericht werden die Ergebnisse einer Metastudie über empirische Erhebungen zu serviceorientierten Architekturen dargestellt. Im ersten Teil der Analyse werden die betrachteten Studien anhand von qualitativen Eigenschaften miteinander verglichen, wodurch die Auswahl geeigneter Studien in der Forschung oder für IT-Entscheider erleichtert wird. Die konkreten Ergebnisse der Studien werden im zweiten Teil, der quantitativen Analyse der Studien, aufgezeigt, indem vergleichbare Fragestellungen aus den Studien anhand von statistischen Maßen einander gegenübergestellt werden

Space and time multiplexing for field curvature correction in miniature imaging systems

The correction of field curvature by space or time multiplexing enables the design of a very simple imaging system for mobile device. Here, the optical design is presented and methods to correct the field curvature are discussed. This imaging system can be fabricated with wafer-level processes enabling large-scale and low cost productio

2D Optics on Bloch Surface Waves (BSWs) Based Platform: Polymer Lens and Prism

In this work, we use a novel platform concept based on Bloch Surface Waves (BSWs) and manipulate the BSWs propagation with two-dimensional (2D) dielectric patterns deposited on it. The concept opens a way to realize 2D integrated all-optics systems including sensing functionalities

Field curvature correction in multichannel miniature imaging systems suited for wafer-level production

Using multiple optical channels increases the number of design possibilities for the objectives of mobile imaging devices. For easy waferlevel fabrication, we start from a single optical element—a monocentric plano-convex lens. The quality of the areal image is used to select the size of the field of each channel. Each channel optics is axially positioned to reduce the effect of the image field curvature. The resulting device has a small number of channels and it images a full field of view of ±40 deg with an f -number of 3. Details of the optical design, of the fabrication process, and of the device performance are reported

Surface plasmon resonance sensor showing enhanced sensitivity for CO2 detection in the mid-infrared range

We present the first optical sensor based on Surface Plasmon Resonance (SPR) operating in the mid-infrared range. The experimental setup is based on a Kretschmann geometry with Ti/Au layers deposited on a CaF2 prism where light excitation is provided by a Quantum Cascade Laser (QCL) source. Evidence of SPR is presented and the sensing capability of the system is demonstrated by using CO2 and N2 mixtures as test samples. Due to the absorption of CO2 at this wavelength, it is shown that the sensitivity of this configuration is five times higher than a similar SPR sensor operating in the visible range of the spectrum. © 2008 Optical Society of America OCIS codes: (240.6680) Surface plasmons; (280.4788) Optical sensing and sensors; (040.3060) Infrared; (140.5965) Semiconductor lasers, quantum cascade; (250.5403) Plasmonic

Silicon based micro-optical collimating element for mid-infrared Quantum Cascade Lasers

A realization of a high numeric aperture, aspheric, silicon based collimating element for the mid-infrared (4 – 14 microns) Quantum Cascade Lasers, suited for mass production using computer driven reactive ion etching is presented