A model driven approach for software systems reliability

The reliability assurance of software systems from design to deployment level through transformation techniques and model driven approach, is described. Once the reliability mechanisms provided by current component-based development architectures (CBDA) are designed in a platform-independent way, platform-based design and implementation models must be extended. Current CBDAs, such as Enterprise Java Beans, address a considerable range of features to support system reliability. The evaluation aims to test maturity of the approach, its applicability, and the effectiveness of reliability models. The techniques such as process algebras are generally considered time consuming, in regard to software development

Algorithms for efficient symbolic detection of faults in context-aware applications.

Context-aware and adaptive applications running on mobile devices pose new challenges for the verification community. Current verification techniques are tailored for different domains (mostly hardware) and the kind of faults that are typical of applications running on mobile devices are difficult (or impossible) to encode using the patterns of ldquotraditionalrdquo verification domains. In this paper we present how techniques similar to the ones used in symbolic model checking can be applied to the verification of context-aware and adaptive applications. More in detail, we show how a model of a context-aware application can be encoded by means of ordered binary decision diagrams and we introduce symbolic algorithms for the verification of a number of properties

Elective Modernism and the Politics of (Bio) Ethical Expertise

In this essay I consider whether the political perspective of third wave science studies – ‘elective modernism’ – offers a suitable framework for understanding the policy-making contributions that (bio)ethical experts might make. The question arises as a consequence of the fact that I have taken inspiration from the third wave in order to develop an account of (bio)ethical expertise. I offer a précis of this work and a brief summary of elective modernism before considering their relation. The view I set out suggests that elective modernism is a political philosophy and that although its use in relation to the use of scientific expertise in political and policy-making process has implications for the role of (bio)ethical expertise it does not, in the final analysis, provide an account that is appropriate for this latter form of specialist expertise. Nevertheless, it is an informative perspective, and one that can help us make sense of the political uses of (bio)ethical expertise

Phase-field-crystal model for liquid crystals

Based on static and dynamical density functional theory, a phase-field-crystal model is derived which involves both the translational density and the orientational degree of ordering as well as a local director field. The model exhibits stable isotropic, nematic, smectic A, columnar, plastic crystalline and orientationally ordered crystalline phases. As far as the dynamics is concerned, the translational density is a conserved order parameter while the orientational ordering is non-conserved. The derived phase-field-crystal model can serve for efficient numerical investigations of various nonequilibrium situations in liquid crystals

Preface to the special issue dedicated to the 14th international workshop on global optimization held in Leiden, The Netherlands, September 18–21, 2018

n/

Binding between two-component bosons in one dimension

We investigate the ground state of one-dimensional few-atom Bose-Bose mixtures under harmonic confinement throughout the crossover from weak to strong inter-species attraction. The calculations are based on the numerically exact multi-configurational time-dependent Hartree method. For repulsive components we detail the condition for the formation of a molecular Tonks-Girardeau gas in the regime of intermediate inter-species interactions, and the formation of a molecular condensate for stronger coupling. Beyond a critical inter-species attraction, the system collapses to an overall bound state. Different pathways emerge for unequal particle numbers and intra-species interactions. In particular, for mixtures with one attractive component, this species can be viewed as an effective potential dimple in the trap center for the other, repulsive component.Comment: 10 pages, 10 figure

Innovative Families Of Double-Layer Tensegrity Grids: Quastruts and Sixstruts

Double-layer tensegrity grids (DLTG) are spatial reticulated systems based on tensegrity principles, which have been studied in detail over recent years. The most important investigations have been carried out focusing on a short list of tensegrity grids. This paper explains with real examples how to use Rot-Umbela Manipulations, a unique technique developed for generating innovative typologies of tensegrity structures. It is applied to two already existing tensegrity grids in order to obtain two new DLTGs. Their analysis permits us to identify, inside these novel grids, the modules that compose them which were unknown until now. A brief description of these components is provided, as well as some information about their static analysis, e.g. states of self-stress and internal mechanisms. These novel modules belong to a family, all of them with similar characteristics in terms of geometry and topology, and can be used to generate a wide catalogue of DLTGs. Some examples of new grids are presented, describing the methodology on how to obtain many more models for other designers interested in creating and studying innovative DLTGs

Phase-field-crystal models for condensed matter dynamics on atomic length and diffusive time scales: an overview

Here, we review the basic concepts and applications of the phase-field-crystal (PFC) method, which is one of the latest simulation methodologies in materials science for problems, where atomic- and microscales are tightly coupled. The PFC method operates on atomic length and diffusive time scales, and thus constitutes a computationally efficient alternative to molecular simulation methods. Its intense development in materials science started fairly recently following the work by Elder et al. [Phys. Rev. Lett. 88 (2002), p. 245701]. Since these initial studies, dynamical density functional theory and thermodynamic concepts have been linked to the PFC approach to serve as further theoretical fundaments for the latter. In this review, we summarize these methodological development steps as well as the most important applications of the PFC method with a special focus on the interaction of development steps taken in hard and soft matter physics, respectively. Doing so, we hope to present today's state of the art in PFC modelling as well as the potential, which might still arise from this method in physics and materials science in the nearby future.Comment: 95 pages, 48 figure