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.     

Invertebrate response to impacts of water diversion and flow regulation in high‐altitude tropical streams

Water supply systems are critical infrastructure that provides food and energy security for developed societies. The operation of reservoirs (flow regulation) and water intakes (water diversion) has known negative impacts on aquatic ecosystems; however, quantification of ecological impacts and examination of these two types of flow alteration remain a developing area of research. We investigated the individual and combined impact of flow regulation and water diversion on stream ecosystem integrity, the freshwater macroinvertebrate community, and the population structure of flow‐sensitive insects. For 2 years, we monitored quarterly discharge, physical and chemical stream conditions, and benthic invertebrates of four high‐altitude tropical streams that are part of the water supply system of Quito, Ecuador. Flow regulation caused a loss of the hydrological seasonality of these streams, including a decrease in stream depth and biotic quality. Water diversion caused a decrease in dissolved oxygen and overall ecosystem integrity. Freshwater invertebrate density and richness decreased as a result of water diversion and flow regulation. The combined flow alteration in these streams decreased the density of nymphal stages of the widely distributed mayfly Andesiops peruvianus. Given the societal needs for food and energy security, water management for diversion (e.g., irrigation) and in‐line storage practices (e.g., hydroelectric dams) are anticipated to increase. This research suggests that the negative environmental impacts of flow alteration could be mitigated with discharge releases designed to approximate the natural hydrologic regime of undisturbed streams.     

Moral und Abhängigkeit

Definition of the problem:

Being satisfied with one’s work depends on professional autonomy, which is attributed to the medical profession to a high degree, combined with specialized knowledge and moral authority for vital questions. That is why physicians enjoy a high reputation. At the beginning of a person's medical career, moral competence is developed nearly completely, but specialized knowledge must be learned. Hospitals, in which further medical education regularly takes place, are still traditionally hierarchically organized today. Unfortunately, feudalistic or military structures hinder autonomous moral decisions and cause structural irresponsibility.

Arguments:

Obstructions and pressure by superiors, financial restrictions, arrogance and trying to make one's mark are shown in typical conflict situations. Stress, discontent, moral conflicts and illness, even including burn out are possible. Commitment and creativity by employees are prevented and mistakes cannot be constructively managed. Thus, patients may suffer unreasonably or be hurt.

Conclusion:

There is a risk to subordinate moral principles under other interests, not only with subordinates but also with superiors. Ways to create a culture that promotes autonomy among physicians and between different professions are discussed. Therefore it is necessary to institutionalize communication based on a reciprocal high regard in a team with people treated as equal partners, who are then able to discuss moral questions in a discourse.     

Evaluation of the salt leaching method for the production of ethylene propylene diene monomer rubber foams

The thermomechanical behavior of ethylene propylene diene monomer (EPDM) foams produced with the salt leaching method has been investigated and compared with the behavior of EPDM foams obtained from conventional blowing agents. Moreover, the salt-leaching process has been optimized to minimize salt residues and the influence of different parameters (such as average particle size and particle size distribution) has been investigated. Scanning electron microscopy and density measurements highlighted that salt-leaching leads to the formation of open-cell porosity with cell dimensions of around 60 to 80 μm, while foams obtained with the two traditional foaming agents lead to closed-cell porosity. Compression set values indicate that the behavior of the foams produced with salt leaching are more similar to the unfoamed rubber, characterized by higher elasticity and low residual deformation. Two theoretical models were successfully applied to the compression curves (Mooney-Rivlin and Exponential-Logarithmic) and they highlighted the effect of foaming on the properties of EPDM rubber and in particular the higher chain extensibility obtained through the salt leaching foaming method.     

The effect of adding devulcanized rubber on the thermomechanical properties of recycled polypropylene

This work aims to investigate the effect of adding vulcanized or partially devulcanized rubbers on recycled polypropylene (PPr), considering thermomechanical and morphological properties. The study proposes to better understand how structural changes underwent by rubber (after the devulcanization) contributed to improving the mechanical properties of the PPr. The PPr/rubber blends were prepared by a co-rotating twin-screw extruder and then were injected. The blends composed of the most devulcanized rubbers by microwaves with refined microstructure showed higher values of elongation at break and toughness. Data showed that the devulcanization process applied to the rubber interfered positively in its adhesion to the PPr. Data from dynamic mechanical analysis and atomic force microscopy indicated that the most devulcanized rubbers presented an interface more connected to PPr. These chemical interactions possibly impacted the mechanical properties of the PPr. Moreover, dilatation processes favored the fracture mechanisms of the PPr when rubber was added to it.     

Design of microfluidic channels for magnetic separation of malaria-infected red blood cells

This study is motivated by the development of a blood cell filtration device for removal of malaria-infected, parasitized red blood cells (pRBCs). The blood was modeled as a multi-component fluid using the computational fluid dynamics discrete element method (CFD-DEM), wherein plasma was treated as a Newtonian fluid and the red blood cells (RBCs) were modeled as soft-sphere solid particles which move under the influence of drag, collisions with other RBCs, and a magnetic force. The CFD-DEM model was first validated by a comparison with experimental data from Han and Frazier (Lab Chip 6:265–273, 2006) involving a microfluidic magnetophoretic separator for paramagnetic deoxygenated blood cells. The computational model was then applied to a parametric study of a parallel-plate separator having hematocrit of 40 % with 10 % of the RBCs as pRBCs. Specifically, we investigated the hypothesis of introducing an upstream constriction to the channel to divert the magnetic cells within the near-wall layer where the magnetic force is greatest. Simulations compared the efficacy of various geometries upon the stratification efficiency of the pRBCs. For a channel with nominal height of 100 µm, the addition of an upstream constriction of 80 % improved the proportion of pRBCs retained adjacent to the magnetic wall (separation efficiency) by almost twofold, from 26 to 49 %. Further addition of a downstream diffuser reduced remixing and hence improved separation efficiency to 72 %. The constriction introduced a greater pressure drop (from 17 to 495 Pa), which should be considered when scaling up this design for a clinical-sized system. Overall, the advantages of this design include its ability to accommodate physiological hematocrit and high throughput, which is critical for clinical implementation as a blood-filtration system.     

Knowledge base support for dynamic information system management

Enterprise activities are governed by regulations and laws that are multiple, heterogeneous and not always easy to understand. The arising and/or the modification of these regulations and laws can cause a significant impact in the business context, especially in terms of enterprise information systems adaptation. Currently, there are many methodological and technological tools that facilitate the application of regulations and procedures, but they are not integrated enough to ensure a complete problem management. Therefore, they are not sufficient to support organizations and companies in the management of their business processes. In this paper we propose a methodological and technological solution, able to model, manage, execute and monitor business processes of complex domains. The system allows both the design of an information system and its prototyping as a web application, by the extension of an appropriately selected Business Process Management suite. During both the design and the usage phases of the prototyped information system, it is possible to interface with a knowledge base that contains information about regulations and aspects that characterize the enterprise (organizational chart, tasks, etc.).     

Buffer overflow vulnerabilities in CUDA: a preliminary analysis

We present a preliminary study of buffer overflow vulnerabilities in CUDA software running on GPUs. We show how an attacker can overrun a buffer to corrupt sensitive data or steer the execution flow by overwriting function pointers, e.g., manipulating the virtual table of a C++ object. In view of a potential mass market diffusion of GPU accelerated software this may be a major concern.     

Information diffusion in distributed OSN: The impact of trusted relationships

Distributed Online Social Networks (DOSN) are a valid alternative to OSN based on peer-to-peer communications. Without centralised data management, DOSN must provide the users with higher level of control over their personal information and privacy. Thus, users may wish to restrict their personal network to a limited set of peers, depending on the level of trust with them. This means that the effective social network (used for information exchange) may be a subset of the complete social network, and may present different structural patterns, which could limit information diffusion. In this paper, we estimate the capability of DOSN to diffuse content based on trust between social peers. To have a realistic representation of a OSN friendship graph, we consider a large-scale Facebook network, from which we estimate the trust level between friends. Then, we consider only social links above a certain threshold of trust, and we analyse the potential capability of the resulting graph to spread information through several structural indices. We test four possible thresholds, coinciding with the definition of personal social circles derived from sociology and anthropology. The results show that limiting the network to “active social contacts” leads to a graph with high network connectivity, where the nodes are still well-connected to each other, thus information can potentially cover a large number of nodes with respect to the original graph. On the other hand, the coverage drops for more restrictive assumptions. Nevertheless the re-insertion of a single excluded friend for each user is sufficient to obtain good coverage (i.e., always higher than 40 %) even in the most restricted graphs. We also analyse the potential capability of the network to spread information (i.e., network spreadability), studying the properties of the social paths between any pairs of users in the graph, which represent the effective channels traversed by information. The value of contact frequency between pairs of users determines a decay of trust along the path (the higher the contact frequency the lower the decay), and a consequent decay in the level of trustworthiness of information traversing the path. We show that selecting the link to re-insert in the network with probability proportional to its level of trust is the best re-insertion strategy, as it leads to the best connectivity/spreadability combination.