In this paper, we investigate the usage of BehaviourInteraction-Priority version 2 (BIP2), a component-based modelling framework, for specifying feature-oriented systems. We evaluate BIP2 in the context of the Feature Interaction Problem and quantify the amount of work needed to add features to an existing system (i.e., in terms of rework to existing features, and work to identify and specify i...

This paper describes a system-level SoC energy consumption estimation method based on a dynamic behavior of embedded software in the early stages of the SoC development. A major problem of SOC development is development rework caused by unreliable energy consumption estimation at the early stages. The energy consumption of an SoC used in embedded systems is strongly affected by the dynamic beha...

The failure of information systems has been partially the result of incorrect or inefficient rework in the development of the systems. If greater transparency can be made in the decision making process then the number of examples of incorrect or inefficient rework could be reduced. Transparency in the process of development can be achieved through identifying and tracking the components of the ...

The main result of this paper is the determination of all nonassociative Moufang loops of orders *31. Combinatorial type methods are used to consider a number of cases which lead to the discovery of 13 loops of the type in question and prove that there can be no others. All of the loops found are isomorphic to all of their loop isotopes, are solvable, and satisfy both Lagrange's theorem and Syl...

Context. The common flare scenario comprises an acceleration site in the corona and particle transport to the chromosphere. Using satellites available to date it has become possible to distinguish between the two processes of acceleration and transport, and study the particle propagation in flare loops in detail, as well as complete comparisons with theoretical predictions. Aims. We complete a ...

 The paper considers an integrated production, inspection, preventive maintenance, and inventory problem and determines the optimal inspection interval, inspection frequency, and production quantity yielding the maximum unit expected profit in an imperfect production process with inspection time and reworking. When the process in an out-of-control state produces a certain percentage of non-con...

Due to unreliable production facility and stochastic preventive maintenance, deriving an optimal production inventory decision in practice is very complicated. In this paper, we develop a production model for deteriorating items with stochastic preventive maintenance time and rework using the first in first out (FIFO) rule. From our literature search, no study has been done on the above problem...