Developing safety-critical distributed applications is a difficult challenge. A failure may cause important damages as loss of human life or mission’s failure. Such distributed applications must be designed and built with rigor. Reducing the tedious and error-prone development steps is required; we claim that automatic code generation is a natural solution. In order to ease the process of verif...

This paper discusses change-point modeling for software reliability assessment with a relationship of the software failure-occurrence time-interval before and after change point by using a testing-environmental function. In an actual testing phase of a software development process, it might be better to consider that there exists a relationship between the time intervals before change-point and...

Complexity of failure is reflected from sensitivity of strength to small defects and wide scatter of macroscopic behaviors. In engineering practices, spatial information of materials at fine scales can only be partially measurable. Random field (RF) models are important to address the uncertainty in spatial distribution. To transform a RF of microcracks into failure probability at full structur...

The deterioration law of the system will usually be assumed to be Markovian, that is, the future process of the system depends only on its state at the present time and not on its past history. This model has been suggested by Klein [1]. There are at least two good reasons for describing deterioration by a Markov model. Firstly, if each component is approximately subject to an exponential failu...

As organizations continue to manage growth by developing a diverse portfolio of products and services in semiautonomous business units, they become increasingly fragmented internally. Such fragmentation results in highly diversified business processes for performing similar activities, leading to reduced operational efficiency, coordination, and information sharing. Horizontal business process ...

The paper describes a unified formal framework for designing and reasoning about power-constrained, realtime systems. The framework is based on process algebra, a formalism which has been developed to describe and analyze communicating, concurrent systems. The proposed extension allows the modeling of probabilistic resource failures, priorities of resource usages, and power consumption by resou...