Title :
Mission dependability modeling and evaluation of repairable systems considering maintenance capacity
Author :
Liu, Fang ; Guo, Bo ; Zhao, Jianyin
Author_Institution :
Sch. of Inf. Syst. & Manage., National Univ. of Defense Technol., Changsha
Abstract :
The mission dependability of repairable systems not only depends on mission reliability and capacity of the system, but also the maintenance capacity during the whole mission. The probability of mission successful completion is one of the important performance measures. For the complex mission that has many sub-missions of kinds, its success probability is associated with the ready and execution duration, maintenance conditions in the working field and success requirements of each sub-mission. Maintenance conditions in the sub-mission working field mainly include replacement and repair of the failed components. According to these different maintenance conditions, we classify all sub-mission into three classes. By analyzing the state transition during the ready period and execution period of each sub-mission, this paper presents a dependability model to evaluate the probability of mixed multi-mission success of repairable systems considering maintenance capacity. A simple example is provided to show the application of the model
Keywords :
formal specification; software maintenance; software reliability; dependability model; maintenance condition; mission dependability modeling; mission reliability; mission success probability; mission successful completion; mixed multimission success; repairable system evaluation; state transition analysis; submission classification; submission working field; success requirement; system maintenance capacity; Availability; Boolean functions; Capacity planning; Data structures; Fault trees; Information management; Maintenance; Management information systems; Petri nets; Technology management;
Conference_Titel :
Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on
Conference_Location :
Potsdam
Print_ISBN :
0-7695-2546-6
DOI :
10.1109/ECBS.2006.45