Software aging often affects the performance of a software system and eventually causes it to fail. A novel approach to handle transient software failures is called software rejuvenation which can be regarded as a preventive and proactive solution that is particularly useful for counteracting the phenomenon of software aging. In this paper, we consider the optimal software rejuvenation policy m...

Abstract In this work, a stress is given on the evaluation of performance measures of a parallel system under priority with necessary conditions on operation and repair times. The units are identical in nature subject to constant failure. There is a single server who visits the system immediately to rectify the faults whenever occurred in the system. The system undergoes for preventive maintena...

While autonomous systems offer great promise in terms of capability and flexibility, their reliability is particularly hard to assess. This paper describes research in the use of model checking to support the development of reliable autonomy software. In particular, it presents tools and techniques that we are developing to facilitate the integration of model checking into the main software dev...

Software reliability growth models (SRGMs) are inadequate to assess the reliability of modern, heterogeneous, component–based software systems since these models treat the system as a black box and model its input/output behavior without looking into its internal structure. Development of techniques to assess the reliability of a component–based software system (which may be assembled from a va...

In this paper, we present a multiaxial system for psychodynamic diagnosis, which has attained wide usage in Germany in the last 10 years. First we will discuss the 4 operationalized psychodynamic diagnostics (OPD) axes: illness experience and treatment assumptions, relationships, mental conflicts, and structure, then clinical applications will be outlined. Focus psychodynamic formulations can b...

in order to implement the cellular manufacturing system in practice, some essential factors should be taken into account. in this paper, a new mathematical model for cellular manufacturing system considering different production factors including alternative process routings and machine reliability with stochastic arrival and service times in a dynamic environment is proposed. also because of t...

Joint optimization models were developed combining group preventive maintenance of a series system and production scheduling. In this paper, we propose a joint optimization model to minimize the total cost including production cost, preventive maintenance cost, minimal repair cost for unexpected failures and tardiness cost. The total cost depends on both the production process and the machine m...