We propose an aggressive version of model-driven development (AMDD) 1, which moves most of the recurring problems of compatibility and consistency of software (mass-) construction and customization from the coding and...
详细信息
We propose an aggressive version of model-driven development (AMDD) 1, which moves most of the recurring problems of compatibility and consistency of software (mass-) construction and customization from the coding and integration level to the modelling level. AMDD requires a complex preparation of adequate settings, supporting the required automation. However, the effort to create these settings can be easily paid off by immense cost reductions in software mass-construction and maintenance. In fact, besides reducing the costs, AMDD will also lead towards a kind of normed software development, making software engineering a true engineering activity.
Modern software systems are highly configurable and exist in many different variants in order to operate different application contexts. This is called static variability and predominantly considered in software produ...
详细信息
The complexity of embedded systems and their safety requirements have risen significantly in recent years. Models and the model based development approach help to keep overview and control of the development. Neverthe...
详细信息
The share of software in embedded systems has been growing permanently in the recent years. Thus, software architecture as well as its evaluation has become an important part of embedded systems design to define, asse...
详细信息
Testing Software Product Lines is a very challenging task and approaches like combinatorial testing and model-based testing are frequently used to reduce the effort of testing Software Product Lines and to reuse test ...
详细信息
ISBN:
(纸本)9781450305709
Testing Software Product Lines is a very challenging task and approaches like combinatorial testing and model-based testing are frequently used to reduce the effort of testing Software Product Lines and to reuse test artifacts. In this contribution we present a tool chain realizing our MoSo-PoLiTe concept combining combinatorial and model-based testing. Our tool chain contains a pairwise configuration selection component on the basis of a feature model. This component implements an heuristic finding a minimal subset of configurations covering 100% pairwise interaction. Additionally, our tool chain allows the model-based test case generation for each configuration within this generated subset. This tool chain is based on commercial tools since it was developed within industrial cooperations. A non-commercial implementation of pairwise configuration selection is available and an integration with an Open Source model-based testing tool is under development. Copyright 2011 ACM.
A conceptual scheme for monitoring and control of the technical state of a complex system - an anaerobic bioreactor - is proposed. A mathematical apparatus and the heart of its algorithmic software are presented as a ...
详细信息
We investigate the motion of a self-localized quasiparticle in a discrete lattice taking into account the interaction of the quasiparticle with the vibrations of the lattice. Using an original method to control the ve...
We investigate the motion of a self-localized quasiparticle in a discrete lattice taking into account the interaction of the quasiparticle with the vibrations of the lattice. Using an original method to control the velocity of solitonlike excitations in a discrete system, the dependence of their velocity, momentum, and energy on the carrying wave vector is analyzed. The velocity of the solitonlike excitations is found to saturate at wave vectors below those predicted by continuum models. This is as found in experimental observations. Also, the properties of the Peierls-Nabarro relief, caused by the lattice discreteness, and pinning of a soliton by this barrier, are studied. The influence of the initial condition on the Peierls-Nabarro barrier and soliton motion is investigated. For low-width solitons, a critical value of the wave vector is needed to overcome the Peierls-Nabarro barrier.
The results of application of the invariance condition as the basic principle of the synergetic control theory to a stochastic biomedical object - immunology, are presented. Using four-dimensional nonlinear base objec...
详细信息
The problem of control over a nonlinear four-order object (a self-energizing electrohydraulic brake) on a target manifold with two types of uncertainties in the description is discussed. Two new algorithms for the syn...
详细信息
The aim of the study is to develop a method for storing images of sulfur imprints. In the framework of the study, a more effective method of representing images of sulfur imprints by using knowledge of the specificity...
详细信息
暂无评论