Browse > Article
http://dx.doi.org/10.6109/jkiice.2010.14.3.648

Probabilistic Analysis of System Failure  

Seong, Soon-Yong (부산외국어대학교 컴퓨터공학과)
Publication Information
Journal of the Korea Institute of Information and Communication Engineering / v.14, no.3, 2010 , pp. 648-654 More about this Journal
Abstract
Request operations and release operations occur repeatedly in resource allocation systems. The process requesting a resource acquires one by any priority-based mechanism, and returns the resource after some periods. In this system, resource failures lead to delay of resource allocation, or to termination of process holding the failed resource. To analyze this process effectively, this paper designs a probabilistic ACSR, a process algebra that extends ACSR with the probabilistic choice operation. The ability to express/analyze both request-release rates and failure-recovery rates is illustrated using probabilistic ACSR.
Keywords
resource allocation system; process algebra; fault rate; probabilistic choice operation;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Jin-Young Choi, Insup Lee, Hong-Liang Xie, "The Specification and Schedulability Analysis of Real-Time Systems using ACSR," Proc. 16th IEEE Real-Time Systems Symposium, 1995
2 Insup Lee, Anna Philippou, Oleg Sokolsky, "Resources in process algebra", Journal of Logic and Algebraic Programming, vol. 72, pp. 98-122, May/June 2007   DOI   ScienceOn
3 Insup Lee, Hanene Ben-Abdallah, Jin-Young Choi, "A Process Algebraic Method for Real- Time Systems", Formal Methods for Real- Time Computing, John Wiley&Sons Ltd, 1996
4 Holger Hermanns, Ulrich Herzog, Joost-Pieter Katoen, "Process algebra for performance evaluation", Theoretical Computer Science, vol. 274, no. 1-2, pp 43-87, March 2002   DOI   ScienceOn
5 Pedro R. D'Argenio, Joost-Pieter Katoen, "A theory of stochastic systems, Part II: Process algebra", Information and Computation, vol. 203, no. 1, pp 39-74, November 2005,   DOI   ScienceOn
6 Mario Bravetti, "Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/C;osed Systems", Electronic Notes in Theoretical Computer Science, vol. 194, no. 2, pp 31-57, January 2008   DOI   ScienceOn