The KlaperSuite framework for model-driven reliability analysis of component-based systems

Automatic prediction tools play a key role in enabling the application of non-functional requirements analysis, to simplify the selection and the assembly of components for component-based software systems, and in reducing the need for strong mathematical skills for software designers. By exploiting the paradigm of Model-Driven Engineering (MDE), it is possible to automatically transform design models into analytical models, thus enabling formal property verification. MDE is the core paradigm of the KlaperSuite framework presented in this paper, which exploits the KLAPER pivot language to fill the gap between design and analysis of component-based systems for reliability properties. KlaperSuite is a family of tools empowering designers with the ability to capture and analyze quality of service views of their systems, by building a one-click bridge towards a number of established verification instruments. In this article, we concentrate on the reliability-prediction capabilities of KlaperSuite and we evaluate them with respect to several case studies from literature and industry.     

Initial density dependence of experimental viscosities and of calculated diffusion coefficients of the binary vapor mixtures methanol-benzene and methanol-cyclohexane

The paper reports experimental results for the viscosity of the vapor mixtures methanol-benzene (five mole fractions with densities up to 1.5kg·m^–3 and 0.022 mol·L ^–1) and methanol-cyclohexane (four mole fractions with densities up to 1.9kg·m^–3 and 0.026 mol·L ^–1). In analogy to the pure components, the measurements on the mixtures were carried out with an oscillating-disk viscometer with small gaps, completely made of quartz, beginning as near as possible to room temperature and continuing to a maximum temperature of 630 K. A first evaluation by means of the Chapman-Enskog theory of dilute gases has shown differences in the resulting values of the interaction viscosity _ij ⁽⁰⁾ in the limit of zero density exceeding the experimental errors. Consistent results were obtained by taking into account the initial density dependence of the viscosity within the framework of the modified Enskog theory for gaseous mixtures. The values of _ij ⁽⁰⁾ were also used to estimate binary diffusion coefficients of the mixtures.     

Performance and reliability prediction for evolving service-oriented software systems

During software system evolution, software architects intuitively trade off the different architecture alternatives for their extra-functional properties, such as performance, maintainability, reliability, security, and usability. Researchers have proposed numerous model-driven prediction methods based on queuing networks or Petri nets, which claim to be more cost-effective and less error-prone than current practice. Practitioners are reluctant to apply these methods because of the unknown prediction accuracy and work effort. We have applied a novel model-driven prediction method called Q-ImPrESS on a large-scale process control system from ABB consisting of several million lines of code. This paper reports on the achieved performance prediction accuracy and reliability prediction sensitivity analyses as well as the effort in person hours for achieving these results.     

Negotiating SLAs-An Approach for a Generic Negotiation Framework for WS-Agreement

The current Web Services Agreement specification draft proposes a simple request-response protocol for agreement creation only addressing bilateral offer exchanges. This paper proposes a framework augmenting this WS-Agreement to enable negotiations according to a variety of bilateral and multilateral negotiation protocols. The framework design is based on a thorough analysis of taxonomies for negotiations from the literature in order to allow for capturing a variety of different negotiation models within a single, WS-Agreement compatible, framework. In order to provide for the intended flexibility, the proposed protocol takes a two-stage approach: a meta-protocol is conducted among interested parties to agree on a common negotiation protocol first before the real negotiation is carried out in the second step due to the protocol established in the first step.     

Correlation and extrapolation scheme for the composition and temperature dependence of viscosity of binary gaseous mixtures: Carbon dioxide + ethane

Experimental viscosity data of ethane, carbon dioxide, and three mole fractions of the binary system carbon dioxide + ethane in the temperature range 293.15<T633.15 K and in the density range 0.010.05 mol·L^–1 reported earlier were evaluated simultaneously to find out a useful correlation and extrapolation scheme for the viscosity of binary systems in the range of moderate densities. A procedure based on the ideas of the modified Enskog theory has been found to give the best results. Dependent on temperature, the collision diameters related to the equilibrium radial distribution function at contact are fitted to viscosity values of the pure substances and of at least one mixture. The results are compared with experimental data from the literature. A recommendation is given concerning the density range in which the first density contribution to the viscosity coefficient of the system carbon dioxide + ethane is sufficient to be included.Paper presented at the Twelfth Symposium on Thermophysical Properties, June 19–24, 1994, Boulder, Colorado, U.S.A.     

Electrophysiological evidence for a postperceptual locus of suppression during the attentional blink

When an observer detects a target in a rapid stream of visual stimuli, there is a brief period of time during which the detection of subsequent targets is impaired. In this study, event-related potentials (ERPs) were recorded from normal adult observers to determine whether this "attentional blink" reflects a suppression of perceptual processes or an impairment in postperceptual processes. No suppression was observed during the attentional blink interval for ERP components corresponding to sensory processing (the P1 and N1 components) or semantic analysis (the N400 component). However, complete suppression was observed for an ERP component that has been hypothesized to reflect the updating of working memory (the P3 component). Results indicate that the attentional blink reflects an impairment in a postperceptual stage of processing.     

Multidimensionality of oral health in dentate adults

OBJECTIVES: An understanding of the validity and usefulness of self-reported measures (as distinct from clinically determined measures) of oral health is emerging. These self-reported measures include self-rated oral health (SROH). Three objectives were to: (1) describe self-rated oral health in dentate adults, (2) quantify associations between self-rated oral health and other measures of oral health (oral disease and tissue damage, pain and discomfort, functional limitation, and disadvantage), and (3) assess the construct validity of a model of oral health proposed herein. METHODS: The Florida Dental Care Study is a longitudinal study of oral health, which included at baseline 873 subjects who had at least one tooth, were 45 years or older, and who participated for an interview and clinical examination. RESULTS: The prevalence of self-rated oral health decrements was substantial; approximately one fourth of subjects reported their oral health as only fair or poor. Bivariate and multivariate results provided consistent evidence of the construct validity of the proposed model of oral health. Additionally, the salience of one measure of dental appearance suggests that persons may use esthetic cues when rating their oral health. CONCLUSIONS: The proposed multidimensional model of oral health has construct validity. Self-rated oral health is affected by oral disease and tissue damage, oral pain and discomfort, oral functional limitation, and oral disadvantage. These self-reported measures and the proposed model should provide useful information for dental care effectiveness research. General health status has been disaggregated into the "physical" and the "mental;" an additional separation into the "oral" aspects of health seems warranted.     

From monolithic to component-based performance evaluation of software architectures

Model-based performance evaluation methods for software architectures can help architects to assess design alternatives and save costs for late life-cycle performance fixes. A recent trend is component-based performance modelling, which aims at creating reusable performance models; a number of such methods have been proposed during the last decade. Their accuracy and the needed effort for modelling are heavily influenced by human factors, which are so far hardly understood empirically. Do component-based methods allow to make performance predictions with a comparable accuracy while saving effort in a reuse scenario? We examined three monolithic methods (SPE, umlPSI, Capacity Planning (CP)) and one component-based performance evaluation method (PCM) with regard to their accuracy and effort from the viewpoint of method users. We conducted a series of three experiments (with different levels of control) involving 47 computer science students. In the first experiment, we compared the applicability of the monolithic methods in order to choose one of them for comparison. In the second experiment, we compared the accuracy and effort of this monolithic and the component-based method for the model creation case. In the third, we studied the effort reduction from reusing component-based models. Data were collected based on the resulting artefacts, questionnaires and screen recording. They were analysed using hypothesis testing, linear models, and analysis of variance. For the monolithic methods, we found that using SPE and CP resulted in accurate predictions, while umlPSI produced over-estimates. Comparing the component-based method PCM with SPE, we found that creating reusable models using PCM takes more (but not drastically more) time than using SPE and that participants can create accurate models with both techniques. Finally, we found that reusing PCM models can save time, because effort to reuse can be explained by a model that is independent of the inner complexity of a component. The tasks performed in our experiments reflect only a subset of the actual activities when applying model-based performance evaluation methods in a software development process. Our results indicate that sufficient prediction accuracy can be achieved with both monolithic and component-based methods, and that the higher effort for component-based performance modelling will indeed pay off when the component models incorporate and hide a sufficient amount of complexity.     

Safety,Security, and Rescue Missions with an Unmanned Aerial Vehicle (UAV)

Several missions with an Unmanned Aerial Vehicle (UAV) in different realistic safety, security, and rescue field tests are presented. First, results from two safety and security missions at the 2009 European Land Robot Trials (ELROB) are presented. A UAV in form of an Airrobot AR100-B is used in a reconnaissance and in a camp security scenario. The UAV is capable of autonomous waypoint navigation using onboard GPS processing. A digital video stream from the vehicle is used to create photo maps—also known as mosaicking—in real time at the operator station. This mapping is done using an enhanced version of Fourier Mellin based registration, which turns out to be very fast and robust. Furthermore, results from a rescue oriented scenario at the 2010 Response Robot Evaluation Exercises (RREE) at Disaster City, Texas are presented. The registration for the aerial mosaicking is supplemented by an uncertainty metric and embedded into Simultaneous Localization and Mapping (SLAM), which further enhances the photo maps as main mission deliveries.     

Spectral registration of noisy sonar data for underwater 3D mapping

3D mapping is very challenging in the underwater domain, especially due to the lack of high resolution, low noise sensors. A new spectral registration method is presented that can determine the spatial 6 DOF transformation between pairs of very noisy 3D scans with only partial overlap. The approach is hence suited to cope with sonar as the predominant underwater sensor. The spectral registration method is based on Phase Only Matched Filtering (POMF) on non-trivially resampled spectra of the 3D data.