메뉴 건너뛰기




Volumn 35, Issue 5, 2009, Pages 703-719

Using stochastic state classes in quantitative evaluation of dense-time reactive systems

Author keywords

Correctness verification; Dense time state space analysis; Difference Bounds Matrix; Markov Renewal Theory; Non Markovian Stochastic Petri Nets; Performance and dependability evaluation; Stochastic Time Petri nets

Indexed keywords

DENSE-TIME; DEPENDABILITY EVALUATION; MARKOV RENEWAL THEORY; MATRIX; NON-MARKOVIAN; STATE-SPACE ANALYSIS; STOCHASTIC PETRI NETS; TIME PETRI NETS;

EID: 73449145954     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2009.36     Document Type: Article
Times cited : (68)

References (43)
  • 1
    • 84976753721 scopus 로고
    • A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
    • M.M. Ajmone, G. Balbo, and G. Conte, "A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems," ACM Trans. Computer Systems, vol.2, pp. 93- 122, 1984.
    • (1984) ACM Trans. Computer Systems , vol.2 , pp. 93-122
    • Ajmone, M.M.1    Balbo, G.2    Conte, G.3
  • 2
    • 33846674384 scopus 로고
    • On Petri nets with deterministic and exponentially distributed firing times
    • M.M. Ajmone and G. Chiola, "On Petri Nets with Deterministic and Exponentially Distributed Firing Times," Lecture Notes in Computer Science, vol.266, pp. 132-145, 1987.
    • (1987) Lecture Notes in Computer Science , vol.266 , pp. 132-145
    • Ajmone, M.M.1    Chiola, G.2
  • 5
    • 33747356808 scopus 로고    scopus 로고
    • Automatic symbolic verification of embedded systems
    • Mar.
    • R. Alur, T.A. Henzinger, and P.H. Ho, "Automatic Symbolic Verification of Embedded Systems," IEEE Trans. Software Eng., vol.22, no.3, pp. 181-201, Mar. 1996.
    • (1996) IEEE Trans. Software Eng. , vol.22 , Issue.3 , pp. 181-201
    • Alur, R.1    Henzinger, T.A.2    Ho, P.H.3
  • 7
    • 0026120365 scopus 로고
    • Modeling and verification of time dependent systems using time Petri nets
    • Mar.
    • B. Berthomieu and M. Diaz, "Modeling and Verification of Time Dependent Systems Using Time Petri Nets," IEEE Trans. Software Eng., vol.17, no.3, pp. 259-273, Mar. 1991.
    • (1991) IEEE Trans. Software Eng. , vol.17 , Issue.3 , pp. 259-273
    • Berthomieu, B.1    Diaz, M.2
  • 9
    • 3142637435 scopus 로고    scopus 로고
    • The tool TINA-construction of abstract state spaces for Petri nets and time Petri nets
    • B. Berthomieu, P.-O. Ribet, and F. Vernadat, "The Tool TINA- Construction of Abstract State Spaces for Petri Nets and Time Petri Nets," Int'l J. Production Research, vol.42, no.14, pp. 2741- 2756, 2004.
    • (2004) Int'l J. Production Research , vol.42 , Issue.14 , pp. 2741-2756
    • Berthomieu, B.1    Ribet, P.-O.2    Vernadat, F.3
  • 10
    • 0033872918 scopus 로고    scopus 로고
    • A modelling framework to implement preemption policies in non-markovian SPNs
    • Jan.
    • A. Bobbio, A. Puliafito, and M. Telek, "A Modelling Framework to Implement Preemption Policies in Non-Markovian SPNs," IEEE Trans. Software Eng., vol.26, no.1, pp. 36-54, Jan. 2000.
    • (2000) IEEE Trans. Software Eng. , vol.26 , Issue.1 , pp. 36-54
    • Bobbio, A.1    Puliafito, A.2    Telek, M.3
  • 11
    • 0003141975 scopus 로고
    • A benchmark for PH estimation algorithms: Result for acyclic-PH
    • A. Bobbio and M. Telek, "A Benchmark for PH Estimation Algorithms: Result for Acyclic-PH," Stochastic Models, vol.10, pp. 661-677, 1994.
    • (1994) Stochastic Models , vol.10 , pp. 661-677
    • Bobbio, A.1    Telek, M.2
  • 15
  • 16
    • 0028465894 scopus 로고
    • A characterization of the stochastic process underlying a stochastic Petri net
    • July
    • G. Ciardo, R. German, and C. Lindemann, "A Characterization of the Stochastic Process Underlying a Stochastic Petri Net," IEEE Trans. Software Eng., vol.20, no.7, pp. 506-515, July 1994.
    • (1994) IEEE Trans. Software Eng. , vol.20 , Issue.7 , pp. 506-515
    • Ciardo, G.1    German, R.2    Lindemann, C.3
  • 21
    • 1842426438 scopus 로고    scopus 로고
    • Timed state space analysis of real time preemptive systems
    • Feb.
    • G. Bucci, A. Fedeli, L. Sassoli, and E. Vicario, "Timed State Space Analysis of Real Time Preemptive Systems," IEEE Trans. Software Eng., vol.30, no.2 pp. 97-111, Feb. 2004.
    • (2004) IEEE Trans. Software Eng. , vol.30 , Issue.2 , pp. 97-111
    • Bucci, G.1    Fedeli, A.2    Sassoli, L.3    Vicario, E.4
  • 24
    • 0028422545 scopus 로고
    • Analysis of stochastic Petri nets by the method of supplementary variables
    • R. German and C. Lindemann, "Analysis of Stochastic Petri Nets by the Method of Supplementary Variables," Performance Evaluation, vol.20, pp. 317-335, 1994.
    • (1994) Performance Evaluation , vol.20 , pp. 317-335
    • German, R.1    Lindemann, C.2
  • 25
    • 0343223963 scopus 로고    scopus 로고
    • Formal relation of Markov renewal theory and supplementary variables in the analysis of stochastic Petri nets
    • R. German and M. Telek, "Formal Relation of Markov Renewal Theory and Supplementary Variables in the Analysis of Stochastic Petri Nets," Proc. Eighth Int'l Workshop Petri Nets and Performance Models, pp. 64-73, 1999.
    • (1999) Proc. Eighth Int'l Workshop Petri Nets and Performance Models , pp. 64-73
    • German, R.1    Telek, M.2
  • 29
    • 67349135044 scopus 로고    scopus 로고
    • State-density functions over DBM domains in the analysis of non-Markovian models
    • Mar./Apr.
    • L. Carnevali, L. Grassi, and E. Vicario, "State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models," IEEE Trans. Software Eng., vol.35, no.2, pp. 178-194, Mar./Apr. 2009.
    • (2009) IEEE Trans. Software Eng. , vol.35 , Issue.2 , pp. 178-194
    • Carnevali, L.1    Grassi, L.2    Vicario, E.3
  • 31
    • 0030257420 scopus 로고    scopus 로고
    • Numerical analysis of deterministic and stochastic Petri nets with concurrent deterministic transitions
    • C. Lindemann and G.S. Schedler, "Numerical Analysis of Deterministic and Stochastic Petri Nets with Concurrent Deterministic Transitions," Performance Evaluation, vols. 27/28, pp. 565- 582, 1996.
    • (1996) Performance Evaluation , vol.27-28 , pp. 565-582
    • Lindemann, C.1    Schedler, G.S.2
  • 32
    • 0033169506 scopus 로고    scopus 로고
    • Transient analysis of deterministic and stochastic Petri nets with concurrent deterministic transitions
    • C. Lindemann and A. Thuemmler, "Transient Analysis of Deterministic and Stochastic Petri Nets with Concurrent Deterministic Transitions," Performance Evaluation, vols. 36/37, pp. 35-54, 1999.
    • (1999) Performance Evaluation , vol.36-37 , pp. 35-54
    • Lindemann, C.1    Thuemmler, A.2
  • 33
    • 0022045201 scopus 로고
    • Discrete time stochastic Petri nets
    • Apr.
    • M.K. Molloy, "Discrete Time Stochastic Petri Nets," IEEE Trans. Software Eng., vol.11, no.4, pp. 417-423, Apr. 1985.
    • (1985) IEEE Trans. Software Eng. , vol.11 , Issue.4 , pp. 417-423
    • Molloy, M.K.1
  • 36
    • 0013319454 scopus 로고    scopus 로고
    • Stochastic modeling formalisms for dependability, performance and performability
    • Springer
    • K.G. Popstojanova and K.S. Trivedi, "Stochastic Modeling Formalisms for Dependability, Performance and Performability," Performance Evaluation-Origins and Directions, pp. 385-404, Springer, 2000.
    • (2000) Performance Evaluation-Origins and Directions , pp. 385-404
    • Popstojanova, K.G.1    Trivedi, K.S.2
  • 38
    • 47949114942 scopus 로고    scopus 로고
    • Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models
    • Sept.
    • L. Sassoli and E. Vicario, "Close Form Derivation of State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models," Proc. Fifth Int'l Conf. Quantitative Evaluation of Systems, Sept. 2007.
    • (2007) Proc. Fifth Int'l Conf. Quantitative Evaluation of Systems
    • Sassoli, L.1    Vicario, E.2
  • 39
    • 34249962669 scopus 로고
    • What is predictability for real time systems
    • J.A. Stankovic and K. Ramamritham, "What Is Predictability for Real Time Systems," J. Real Time Systems, vol.2, pp. 247- 254, 1990.
    • (1990) J. Real Time Systems , vol.2 , pp. 247-254
    • Stankovic, J.A.1    Ramamritham, K.2
  • 40
    • 0343223959 scopus 로고    scopus 로고
    • Supplementary variable approach applied to the transient analysis of age-MRSsPNs
    • M. Telek and A. Horvarth, "Supplementary Variable Approach Applied to the Transient Analysis of Age-MRSPNs," Proc. Int'l Performance and Dependability Symp., pp. 44-51, 1998.
    • (1998) Proc. Int'l Performance and Dependability Symp. , pp. 44-51
    • Telek, M.1    Horvarth, A.2
  • 41
    • 0035418270 scopus 로고    scopus 로고
    • Static analysis and dynamic steering of time dependent systems using time Petri nets
    • Aug.
    • E. Vicario, "Static Analysis and Dynamic Steering of Time Dependent Systems Using Time Petri Nets," IEEE Trans. Software Eng., vol.27, no.8, pp. 728-748, Aug. 2001.
    • (2001) IEEE Trans. Software Eng. , vol.27 , Issue.8 , pp. 728-748
    • Vicario, E.1
  • 42
    • 73449102896 scopus 로고    scopus 로고
    • WolframResearch "Mathemathica 5.2," www.wolfram.com, 2009.
    • (2009) Mathemathica 5.2
  • 43
    • 0036821883 scopus 로고    scopus 로고
    • Compositional schedulability analysis of real-time systems using time Petri nets
    • Oct.
    • D. Xu, X. He, and Y. Deng, "Compositional Schedulability Analysis of Real-Time Systems Using Time Petri Nets," IEEE Trans. Software Eng., vol.28, no.10, pp. 984-996, Oct. 2002.
    • (2002) IEEE Trans. Software Eng. , vol.28 , Issue.10 , pp. 984-996
    • Xu, D.1    He, X.2    Deng, Y.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.