
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
Enrico Vicario, Luigi Sassoli, Laura Carnevali, "Using Stochastic State Classes in Quantitative Evaluation of DenseTime Reactive Systems," IEEE Transactions on Software Engineering, vol. 35, no. 5, pp. 703719, September/October, 2009.  
BibTex  x  
@article{ 10.1109/TSE.2009.36, author = {Enrico Vicario and Luigi Sassoli and Laura Carnevali}, title = {Using Stochastic State Classes in Quantitative Evaluation of DenseTime Reactive Systems}, journal ={IEEE Transactions on Software Engineering}, volume = {35}, number = {5}, issn = {00985589}, year = {2009}, pages = {703719}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.2009.36}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Software Engineering TI  Using Stochastic State Classes in Quantitative Evaluation of DenseTime Reactive Systems IS  5 SN  00985589 SP703 EP719 EPD  703719 A1  Enrico Vicario, A1  Luigi Sassoli, A1  Laura Carnevali, PY  2009 KW  Correctness verification KW  performance and dependability evaluation KW  stochastic Time Petri nets KW  nonMarkovian Stochastic Petri Nets KW  densetime statespace analysis KW  Difference Bounds Matrix KW  Markov Renewal Theory. VL  35 JA  IEEE Transactions on Software Engineering ER   
[1] 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. 93122, 1984.
[2] M.M. Ajmone and G. Chiola, “On Petri Nets with Deterministic and Exponentially Distributed Firing Times,” Lecture Notes in Computer Science, vol. 266, pp. 132145, 1987.
[3] R. Alur, C. Courcoubetis, and D. Dill, “ModelChecking for RealTime Systems,” Proc. Fifth Symp. Logic in Computer Science, June 1990.
[4] R. Alur and D.L. Dill, “Automata for Modeling RealTime Systems,” Proc. 17th Int'l Colloquium on Automata, Languages, and Programming, 1990.
[5] R. Alur, T.A. Henzinger, and P.H. Ho, “Automatic Symbolic Verification of Embedded Systems,” IEEE Trans. Software Eng., vol. 22, no. 3, pp. 181201, Mar. 1996.
[6] J. Bengtsson, K.G. Larsen, F. Larsson, P. Pettersson, and W. Yi, “UPPAAL: A ToolSuite for Automatic Verification of RealTime Systems,” Hybrid Systems III, Springer, 1996.
[7] 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. 259273, Mar. 1991.
[8] B. Berthomieu and M. Menasche, “An Enumerative Approach for Analyzing Time Petri Nets,” Proc. Int'l Federation for Information Processing Congress 1983, R.E.A. Mason, ed., vol. 9, pp. 4146, 1983.
[9] 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. 27412756, 2004.
[10] A. Bobbio, A. Puliafito, and M. Telek, “A Modelling Framework to Implement Preemption Policies in NonMarkovian SPNs,” IEEE Trans. Software Eng., vol. 26, no. 1, pp. 3654, Jan. 2000.
[11] A. Bobbio and M. Telek, “A Benchmark for PH Estimation Algorithms: Result for AcyclicPH,” Stochastic Models, vol. 10, pp.661677, 1994.
[12] A. Bobbio and M. Telek, “Markov Regenerative SPN with NonOverlapping Activity Cycles,” Proc. Int'l Computer Performance and Dependability Symp., pp. 124133, 1995.
[13] G. Bucci, R. Piovosi, L. Sassoli, and E. Vicario, “Introducing Probability within State Class Analysis of Dense Time Dependent Systems,” Proc. Second Int'l Conf. Quantitative Evaluation of Systems, Sept. 2005.
[14] G. Bucci, L. Sassoli, and E. Vicario, “Oris: A Tool for State Space Analysis of RealTime Preemptive Systems,” Proc. First Int'l Conf. Quantitative Evaluation of Systems, 2004.
[15] H. Choi, V.G. Kulkarni, and K. Trivedi, “Markov Regenerative Stochastic Petri Nets,” Performance Evaluation, vol. 20, pp. 337357, 1994.
[16] 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. 506515, July 1994.
[17] G. Ciardo, J. Muppala, and K.S. Trivedi, “SPNP: Stochastic Petri Net Package,” Proc. IEEE Int'l Workshop Petri Nets and Performance Models, pp. 142151, 1989.
[18] C. Daws, A. Olivero, S. Tripakis, and S. Yovine, “The Tool KRONOS,” Hybrid Systems III, Springer, 1995.
[19] D. Dill, “Timing Assumptions and Verification of FiniteState Concurrent Systems,” Proc. Workshop Computer Aided Verification Methods for Finite State Systems, 1989.
[20] G. Gardey, D. Lime, M. Magnin, and O. Roux, “Roméo: A Tool for Analyzing Time Petri Nets,” Proc. 17th Int'l Conf. Computer Aided Verification, 2005.
[21] 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. 97111, Feb. 2004.
[22] G. Buttazzo, Hard RealTime Computing Systems. Springer, 2005.
[23] R. German, Performance Analysis of Communication Systems with NonMarkovian Stochastic Petri Nets. John Wiley & Sons, 2000.
[24] R. German and C. Lindemann, “Analysis of Stochastic Petri Nets by the Method of Supplementary Variables,” Performance Evaluation, vol. 20, pp. 317335, 1994.
[25] 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. 6473, 1999.
[26] D. Harel and A. Pnueli, “On the Development of Reactive Systems,” Logics and Models of Concurrent Systems, Springer, 1985.
[27] ISO/IEC, International Standard 9126:2001, Information Technology—SW Product Quality—Part 1: Quality Model, 2001.
[28] W.T. Jong, Y.S. Shiau, Y.J. Horng, H.H. Chen, and S.M. Chen, “Temporal Knowledge Representation and Reasoning Techniques Using Time Petri Nets,” IEEE Trans. Systems, Man, and Cybernetics, vol. 29, no. 4, pp. 541545, Aug. 1999.
[29] L. Carnevali, L. Grassi, and E. Vicario, “StateDensity Functions over DBM Domains in the Analysis of NonMarkovian Models,” IEEE Trans. Software Eng., vol. 35, no. 2, pp. 178194, Mar./Apr. 2009.
[30] D. Lime and O.H. Roux, “Expressiveness and Analysis of Scheduling Extended Time Petri Nets,” Proc. Fifth Int'l Federation of Automatic Control Conf. Fieldbus and Their Applications, 2003.
[31] C. Lindemann and G.S. Schedler, “Numerical Analysis of Deterministic and Stochastic Petri Nets with Concurrent Deterministic Transitions,” Performance Evaluation, vols. 27/28, pp. 565582, 1996.
[32] C. Lindemann and A. Thuemmler, “Transient Analysis of Deterministic and Stochastic Petri Nets with Concurrent Deterministic Transitions,” Performance Evaluation, vols. 36/37, pp. 3554, 1999.
[33] M.K. Molloy, “Discrete Time Stochastic Petri Nets,” IEEE Trans. Software Eng., vol. 11, no. 4, pp. 417423, Apr. 1985.
[34] M.F. Neuts, Matrix Geometric Solutions in Stochastic Models. Johns Hopkins Univ. Press, 1981.
[35] W. Penczek and A. Polrola, “Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata,” Proc. 25th Int'l Conf. Application and Theory of Petri Nets, June 2004.
[36] K.G. Popstojanova and K.S. Trivedi, “Stochastic Modeling Formalisms for Dependability, Performance and Performability,” Performance Evaluation—Origins and Directions, pp. 385404, Springer, 2000.
[37] L. Sassoli and E. Vicario, “Analysis of Real Time Systems through the Oris tool,” Proc. Fourth Int'l Conf. Quantitative Evaluation of Systems, Sept. 2006.
[38] L. Sassoli and E. Vicario, “Close Form Derivation of StateDensity Functions over DBM Domains in the Analysis of NonMarkovian Models,” Proc. Fifth Int'l Conf. Quantitative Evaluation of Systems, Sept. 2007.
[39] J.A. Stankovic and K. Ramamritham, “What Is Predictability for Real Time Systems,” J. Real Time Systems, vol. 2, pp. 247254, 1990.
[40] M. Telek and A. Horvarth, “Supplementary Variable Approach Applied to the Transient Analysis of AgeMRSPNs,” Proc. Int'l Performance and Dependability Symp., pp. 4451, 1998.
[41] E. Vicario, “Static Analysis and Dynamic Steering of Time Dependent Systems Using Time Petri Nets,” IEEE Trans. Software Eng., vol. 27, no. 8, pp. 728748, Aug. 2001.
[42] WolframResearch “Mathemathica 5.2,” www.wolfram.com, 2009.
[43] D. Xu, X. He, and Y. Deng, “Compositional Schedulability Analysis of RealTime Systems Using Time Petri Nets,” IEEE Trans. Software Eng., vol. 28, no. 10, pp. 984996, Oct. 2002.