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

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

Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?

International audienceUniform or near-uniform generation of solutions for large satisfiability formulas is a problem of theoretical and practical interest for the testing community. Recent works proposed two algorithms (namely UniGen and QuickSampler) for reaching a good compromise between execution time and uniformity guarantees, with empirical evidence on SAT benchmarks. In the context of highly-configurable software systems (e.g., Linux), it is unclear whether UniGen and QuickSampler can scale and sample uniform software configurations. In this paper, we perform a thorough experiment on 128 real-world feature models. We find that UniGen is unable to produce SAT solutions out of such feature models. Furthermore, we show that QuickSampler does not generate uniform samples and that some features are either never part of the sample or too frequently present. Finally, using a case study, we characterize the impacts of these results on the ability to find bugs in a configurable system. Overall, our results suggest that we are not there: more research is needed to explore the cost-effectiveness of uniform sampling when testing large configurable systems

A Conserved Region of Human Vitamin K-dependent Carboxylase between Residues 393 and 404 Is Important for Its Interaction with the Glutamate Substrate

Certain individuals with combined deficiencies of vitamin K-dependent proteins have a mutation, L394R, in their gamma-glutamyl carboxylase causing impaired glutamate binding. The sequence surrounding Leu394 is similar in all known carboxylases, suggesting that the region is functionally important. To test this hypothesis we made the following mutant enzymes: W390A, Y395A, S398A, W399A, and H404A. We purified the enzymes and corrected the activity measurements for active enzyme concentration. Carboxylases W390A, S398A, and H404A had activities similar to that of wild type; however, Y395A and W399A had lower activities than did wild type. In the following descriptions we include our previously reported results for L394R. Kinetic studies with the substrate FLEEL, revealed Km values of 0.5 (wild type), 6.5 (L394R), 15 (Y395A), and 24 (W399A) mm. The kcat values relative to wild type were 51% (L394R), 1% (Y395A), and 2% (W399A). The kcat/Km values were 24-fold (L394R) and >2000-fold lower for Y395A and W399A than for wild-type carboxylase. Inhibition of FLEEL carboxylation by the competitive inhibitor, Boc-mEEV, gave Ki values of 0.013 (wild type), 1.4 (L394R), 2.1 (Y395A), and >5 (W399A) mm. The Y395A propeptide affinity was similar to that of wild type, but those of L394R and W399A were 16-22-fold less than that of wild type. Results of kinetic studies with a propeptide-containing substrate were consistent with results of propeptide binding and FLEEL kinetics. Although propeptide and vitamin K binding in some mutants were affected, our data provide compelling evidence that glutamate recognition is the primary function of the conserved region around Leu394

The Effect of Interface Texture on Exchange Biasing in Ni80Fe20/Ir20Mn80System

Exchange-biasing phenomenon can induce an evident unidirectional hysteresis loop shift by spin coupling effect in the ferromagnetic (FM)/antiferromagnetic (AFM) interface which can be applied in magnetoresistance random access memory (MRAM) and recording-head applications. However, magnetic properties are the most important to AFM texturing. In this work, top-configuration exchange-biasing NiFe/IrMn(x Å) systems have been investigated with three different conditions. From the high-resolution cross-sectional transmission electron microscopy (HR X-TEM) and X-ray diffraction results, we conclude that the IrMn (111) texture plays an important role in exchange-biasing field (Hex) and interfacial exchange energy (Jk).HexandJktend to saturate when the IrMn thickness increases. Moreover, the coercivity (Hc) dependence on IrMn thickness is explained based on the coupling or decoupling effect between the spins of the NiFe and IrMn layers near the NiFe/IrMn interface. In this work, the optimal values forHexandJkare 115 Oe and 0.062 erg/cm2, respectively

Nematic liquid crystal alignment on chemical patterns

Patterned Self-Assembled Monolayers (SAMs) promoting both homeotropic and planar degenerate alignment of 6CB and 9CB in their nematic phase, were created using microcontact printing of functionalised organothiols on gold films. The effects of a range of different pattern geometries and sizes were investigated, including stripes, circles and checkerboards. EvanescentWave Ellipsometry was used to study the orientation of the liquid crystal (LC) on these patterned surfaces during the isotropic-nematic phase transition. Pretransitional growth of a homeotropic layer was observed on 1 ¹m homeotropic aligning stripes, followed by a homeotropic mono-domain state prior to the bulk phase transition. Accompanying Monte-Carlo simulations of LCs aligned on nano-patterned surfaces were also performed. These simulations also showed the presence of the homeotropic mono-domain state prior to the transition.</p

A generative-oriented model-driven design environment for customizable video surveillance systems

To tackle the growing complexity and huge demand for tailored domestic video surveillance systems along with a high demanding time-to-market expectation, engineers at IVV Automação, LDAa are exploiting video surveillance domain as families of systems that can be developed following a pay-as-you-go fashion rather than developing an ex-nihilo new product. Several and different new functionalities are required for each new product’s hardware platforms (e.g., ranging from mobile phone, PDA to desktop PC) and operating systems (e.g., flavors of Linux, Windows and MAC OS X). Some of these functionalities have special economical constraints of development time and memory footprint. To better accommodate all the above listing requirements, a model-driven generative software development paradigm supported by mainstream tools is proposed to offer a significant leverage in hiding commonalities and configuring variabilities across families of video surveillance products while maintaining the new product quality.This work was funded through the Competitive Factors Operational Program COMPETE and through national funds though the Science and Technology Foundation - FCT, within the project: FCOMP-01-0124-FEDER-022674. This work was developed in cooperation with IVV Automation; all support and means provided by the company is acknowledged

Genomic Organization and Evolution of the Vomeronasal Type 2 Receptor-Like (OlfC) Gene Clusters in Atlantic Salmon, Salmo salar

There are three major multigene superfamilies of olfactory receptors (OR, V1R, and V2R) in mammals. The ORs are expressed in the main olfactory organ, whereas the V1Rs and V2Rs are located in the vomeronasal organ. Fish only possess one olfactory organ in each nasal cavity, the olfactory rosette; therefore, it has been proposed that their V2R-like genes be classified as olfactory C family G protein-coupled receptors (OlfC). There are large variations in the sizes of OR gene repertoires. Previous studies have shown that fish have between 12 and 46 functional V2R-like genes, whereas humans have lost all functional V2Rs, and frog sp. have more than 240. Pseudogenization of V2R genes is a prevalent event across species. In the mouse and frog genomes, there are approximately double the number of pseudogenes compared with functional genes. An oligonucleotide probe was designed from a conserved sequence from four Atlantic salmon OlfC genes and used to screen the Atlantic salmon bacterial artificial chromosome (BAC) library. Hybridization-positive BACs were matched to fingerprint contigs, and representative BACs were shotgun cloned and sequenced. We identified 55 OlfC genes. Twenty-nine of the OlfC genes are classified as putatively functional genes and 26 as pseudogenes. The OlfC genes are found in two genomic clusters on chromosomes 9 and 20. Phylogenetic analysis revealed that the OlfC genes could be divided into 10 subfamilies, with nine of these subfamilies corresponding to subfamilies found in other teleosts and one being salmon specific. There is also a large expansion in the number of OlfC genes in one subfamily in Atlantic salmon. Subfamily gene expansions have been identified in other teleosts, and these differences in gene number reflect species-specific evolutionary requirements for olfaction. Total RNA was isolated from the olfactory epithelium and other tissues from a presmolt to examine the expression of the odorant genes. Several of the putative OlfC genes that we identified are expressed only in the olfactory epithelium, consistent with these genes encoding odorant receptors

Transperineal prostate biopsies for diagnosis of prostate cancer are well tolerated: a prospective study using patient-reported outcome measures

We aimed to determine short-term patient-reported outcomes in men having general anesthetic transperineal (TP) prostate biopsies. A prospective cohort study was performed in men having a diagnostic TP biopsy. This was done using a validated and adapted questionnaire immediately post-biopsy and at follow-up of between 7 and 14 days across three tertiary referral hospitals with a response rate of 51.6%. Immediately after biopsy 43/201 (21.4%) of men felt light-headed, syncopal, or suffered syncope. Fifty-three percent of men felt discomfort after biopsy (with 95% scoring <5 in a 0-10 scale). Twelve out of 196 men (6.1%) felt pain immediately after the procedure. Despite a high incidence of symptoms (e.g., up to 75% had some hematuria, 47% suffered some pain), it was not a moderate or serious problem for most, apart from hemoejaculate which 31 men suffered. Eleven men needed catheterization (5.5%). There were no inpatient admissions due to complications (hematuria, sepsis). On repeat questioning at a later time point, only 25/199 (12.6%) of men said repeat biopsy would be a significant problem despite a significant and marked reduction in erectile function after the procedure. From this study, we conclude that TP biopsy is well tolerated with similar side effect profiles and attitudes of men to repeat biopsy to men having TRUS biopsies. These data allow informed counseling of men prior to TP biopsy and a benchmark for tolerability with local anesthetic TP biopsies being developed for clinical use.Boris Hadaschik received funding from the German Research Foundation and the European Foundation for Urology. Karan Wadhwa is sponsored by a Medical Research Council Research Training Fellowship. No other funding was received for this work