Domain Specific Languages for Managing Feature Models: Advances and Challenges

International audienceManaging multiple and complex feature models is a tedious and error-prone activity in software product line engineering. Despite many advances in formal methods and analysis techniques, the supporting tools and APIs are not easily usable together, nor unified. In this paper, we report on the development and evolution of the Familiar Domain-Specific Language (DSL). Its toolset is dedicated to the large scale management of feature models through a good support for separating concerns, composing feature models and scripting manipulations. We overview various applications of Familiar and discuss both advantages and identified drawbacks. We then devise salient challenges to improve such DSL support in the near future

Sensor Data Visualisation: A Composition-Based Approach to Support Domain Variability

International audienceIn the context of the Internet of Things, sensors are surrounding our environment. These small pieces of electronics are inserted in everyday life's elements (e.g., cars, doors, radiators, smartphones) and continuously collect information about their environment. One of the biggest challenges is to support the development of accurate monitoring dashboard to visualise such data. The one-size-fits-all paradigm does not apply in this context, as user's roles are variable and impact the way data should be visualised: a building manager does not need to work on the same data as classical users. This paper presents an approach based on model composition techniques to support the development of such monitoring dashboards, taking into account the domain variability. This variability is supported at both implementation and modelling levels. The results are validated on a case study named SmartCampus, involving sensors deployed in a real academic campus

A Variability-Based Testing Approach for Synthesizing Video Sequences

A key problem when developing video processing software is the di culty to test di erent input combinations. In this paper, we present VANE, a variability-based testing approach to derive video sequence variants. The ideas of VANE are i) to encode in a variability model what can vary within a video sequence; ii) to exploit the variability model to generate testable con gurations; iii) to synthesize variants of video sequences corresponding to con gurations. VANE computes T-wise covering sets while optimizing a function over attributes. Also, we present a preliminary validation of the scalability and practicality of VANE in the context of an industrial project involving the test of video processing algorithms.Ministerio de Economía y Competitividad TIN2012-32273Junta de Andalucía TIC-5906Junta de Andalucía P12-TIC-186

Multifocal Aggressive Squamous Cell Carcinomas Induced by Prolonged Voriconazole Therapy: A Case Report

Voriconazole is a treatment for severe fungal infections. Prolonged voriconazole therapy may induce skin reactions, with 1% of severe photosensitivity accidents. Recently the imputability of voriconazole in skin carcinogenesis has been suggested. This report concerns a 55-year-old man suffering from pulmonary aspergillosis who presented a phototoxic reaction a few months after introduction of voriconazole, followed by multiple squamous cell carcinomas of sun-exposed skin areas. After voriconazole discontinuation, no new carcinoma was observed. The detection of EBV and HPV in skin lesions was negative. Exploration of gene mutations involved in skin carcinogenesis showed two variants of the MICR gene. The occurrence of multiple, recurrent, aggressive squamous cell carcinomas is rare with voriconazole, but its imputability is strongly suggested. A plausible hypothesis is that several factors including voriconazole uptake, immunosuppression, and genetic background could explain the phenotype of fast-developing skin carcinomas. Voriconazole therapy should be accompanied by stringent photoprotection and skin monitoring

A generalization of Snoek's law to ferromagnetic films and composites

The present paper establishes characteristics of the relative magnetic permeability spectrum $\mu$(f) of magnetic materials at microwave frequencies. The integral of the imaginary part of $\mu$(f) multiplied with the frequency f gives remarkable properties. A generalisation of Snoek's law consists in this quantity being bounded by the square of the saturation magnetization multiplied with a constant. While previous results have been obtained in the case of non-conductive materials, this work is a generalization to ferromagnetic materials and ferromagnetic-based composites with significant skin effect. The influence of truncating the summation to finite upper frequencies is investigated, and estimates associated to the finite summation are provided. It is established that, in practice, the integral does not depend on the damping model under consideration. Numerical experiments are performed in the exactly solvable case of ferromagnetic thin films with uniform magnetization, and these numerical experiments are found to confirm our theoretical results. Microwave permeability measurements on soft amorphous films are reported. The relation between the integral and the saturation magnetization is verified experimentally, and some practical applications of the theoretical results are introduced. The integral can be used to determine the average magnetization orientation in materials with complex configurations of the magnetization, and furthermore to demonstrate the accuracy of microwave measurement systems. For certain applications, such as electromagnetic compatibility or radar absorbing materials, the relations established herein provide useful indications for the design of efficient materials, and simple figures of merit to compare the properties measured on various materials

Evaluating the usability of a visual feature modeling notation

International audienceFeature modeling is a popular Software Product Line Engineering (SPLE) technique used to describe variability in a product family. A usable feature modeling tool environment should enable SPLE practitioners to produce good quality models, in particular, models that effectively communicate modeled information. FAMILIAR is a text-based environment for manipulating and composing Feature Models (FMs). In this paper we present extensions we made to FAMILIAR to enhance its usability. The extensions include a visualization of FMs, or more precisely , a feature diagram rendering mechanism that supports the use of a combination of text and graphics to describe FMs, their configurations, and the results of FM analyses. We also present the results of a preliminary evaluation of the environment's usability. The evaluation involves comparing the use of the extended environment with the previous text-based console-driven version. The preliminary experiment provides some evidence that use of the new environment results in increased cognitive effectiveness of novice users and improved quality of new FMs

Multi-objective genetic algorithm applied to spectroscopic ellipsometry of organic-inorganic hybrid planar waveguides

The applicably of multi-objective optimization to ellipsometric data analysis is presented and a method to handle complex ellipsometric problems such as multi sample or multi angle analysis using multi-objective optimization is described. The performance of a multi-objective genetic algorithm (MOGA) is tested against a single objective common genetic algorithm (CGA). The procedure is applied to the characterization (refractive index and thickness) of planar waveguides intended for the production of optical components prepared sol-gel derived organic-inorganic hybrids, so-called di-ureasils, modified with zirconium tetrapropoxide, Zr(OPr(n))(4) deposited on silica on silicon substrates. The results show that for the same initial conditions, MOGA performs better than the CGA, showing a higher success rate in the task of finding the best final solution. (C) 2010 Optical Society of AmericaFCTFEDERPTDC/CTM/72093/2006SFRH/BD/41943/2007MP070

Vitellogenin Underwent Subfunctionalization to Acquire Caste and Behavioral Specific Expression in the Harvester Ant Pogonomyrmex barbatus

PMCID: PMC3744404This is an open-access article, free of all copyright, and may be freely reproduced, distributed, transmitted, modified, built upon, or otherwise used by anyone for any lawful purpose. The work is made available under the Creative Commons CC0 public domain dedication