{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:05Z","timestamp":1750306925574,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,4,21]],"date-time":"2013-04-21T00:00:00Z","timestamp":1366502400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,4,21]]},"DOI":"10.1145\/2479871.2479889","type":"proceedings-article","created":{"date-parts":[[2013,5,1]],"date-time":"2013-05-01T19:47:45Z","timestamp":1367437665000},"page":"113-124","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Non-markovian analysis for model driven engineering of real-time software"],"prefix":"10.1145","author":[{"given":"Laura","family":"Carnevali","sequence":"first","affiliation":[{"name":"Universit\u00e0 di Firenze, Firenze, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Paolieri","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Firenze, Firenze, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Santoni","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Firenze, Firenze, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Vicario","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Firenze, Firenze, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,4,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_2_1","first-page":"33","volume-title":"LNCS 2034","author":"Alur R.","year":"2001","unstructured":"R. Alur , I. Lee , and O. Sokolsky . Compositional refinement for hierarchical hybrid systems. In Hybrid Systems: Computation and Control , LNCS 2034 , pages 33 -- 48 . Springer-Verlag , 2001 . R. Alur, I. Lee, and O. Sokolsky. Compositional refinement for hierarchical hybrid systems. In Hybrid Systems: Computation and Control, LNCS 2034, pages 33--48. Springer-Verlag, 2001."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.001"},{"key":"e_1_3_2_1_4_1","first-page":"33","volume-title":"A tutorial on UPPAAL. Formal methods for the design of real-time systems","author":"Behrmann G.","year":"2004","unstructured":"G. Behrmann , A. David , and K. Larsen . A tutorial on UPPAAL. Formal methods for the design of real-time systems , pages 33 -- 35 , 2004 . G. Behrmann, A. David, and K. Larsen. A tutorial on UPPAAL. Formal methods for the design of real-time systems, pages 33--35, 2004."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.825765"},{"key":"e_1_3_2_1_8_1","first-page":"119","volume-title":"Recent Developments in Non-Markovian Stochastic Petri Nets. Journal of Circuits, Systems, and Computers","author":"Bobbio A.","year":"1998","unstructured":"A. Bobbio , A. Puliafito , M. Telek , and K. S. Trivedi . Recent Developments in Non-Markovian Stochastic Petri Nets. Journal of Circuits, Systems, and Computers , pages 119 -- 158 , 1998 . A. Bobbio, A. Puliafito, M. Telek, and K. S. Trivedi. Recent Developments in Non-Markovian Stochastic Petri Nets. Journal of Circuits, Systems, and Computers, pages 119--158, 1998."},{"key":"e_1_3_2_1_9_1","first-page":"123","article-title":"Transient Analysis of a Preemptive Resume M\/D\/1\/2\/2 through Petri Nets","volume":"41","author":"Bobbio A.","year":"1997","unstructured":"A. Bobbio and M. Telek . Transient Analysis of a Preemptive Resume M\/D\/1\/2\/2 through Petri Nets . Periodica Politechnica , 41 : 123 -- 146 , September 1997 . A. Bobbio and M. Telek. Transient Analysis of a Preemptive Resume M\/D\/1\/2\/2 through Petri Nets. Periodica Politechnica, 41:123--146, September 1997.","journal-title":"Periodica Politechnica"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-010-0156-8"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.1265815"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.122"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1027504"},{"key":"e_1_3_2_1_14_1","volume-title":"Lifecycle Process Model-Developing Standard for IT Systems of the Federal Republic of Germany. General Directive No","author":"Federal BWB","year":"1997","unstructured":"BWB - Federal Office for Military Technology and Procurement of Germany . V- Model 97 , Lifecycle Process Model-Developing Standard for IT Systems of the Federal Republic of Germany. General Directive No . 250, June 1997 . BWB - Federal Office for Military Technology and Procurement of Germany. V-Model 97, Lifecycle Process Model-Developing Standard for IT Systems of the Federal Republic of Germany. General Directive No. 250, June 1997."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/2151688.2151702"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.101"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/2041619.2041659"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.4"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2011.29"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/11539452_9"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/646735.701625"},{"key":"e_1_3_2_1_22_1","volume-title":"Automated generation and analysis of Markov reward models using Stochastic Reward Nets. IMA Volumes in Mathematics and its Applications, 48: 145--191","author":"Ciardo G.","year":"1993","unstructured":"G. Ciardo , A. Blakemore , P. Chimento , J. Muppala , and K. Trivedi . Automated generation and analysis of Markov reward models using Stochastic Reward Nets. IMA Volumes in Mathematics and its Applications, 48: 145--191 , 1993 . G. Ciardo, A. Blakemore, P. Chimento, J. Muppala, and K. Trivedi. Automated generation and analysis of Markov reward models using Stochastic Reward Nets. IMA Volumes in Mathematics and its Applications, 48:145--191, 1993."},{"key":"e_1_3_2_1_23_1","first-page":"144","volume-title":"PNPM","author":"Cumani A.","year":"1985","unstructured":"A. Cumani . ESP : A Package for the Evaluation of Stochastic Petri Nets with Phase-Type Distributed Transition Times . In PNPM , pages 144 -- 151 , 1985 . A. Cumani. ESP: A Package for the Evaluation of Stochastic Petri Nets with Phase-Type Distributed Transition Times. In PNPM, pages 144--151, 1985."},{"key":"e_1_3_2_1_24_1","volume-title":"Proc. Workshop on Computer Aided Verification Methods for Finite State Systems","author":"Dill D.","year":"1989","unstructured":"D. Dill . Timing assumptions and verification of finite-state concurrent systems . Proc. Workshop on Computer Aided Verification Methods for Finite State Systems , 1989 . D. Dill. Timing assumptions and verification of finite-state concurrent systems. Proc. Workshop on Computer Aided Verification Methods for Finite State Systems, 1989."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/647809.737954"},{"key":"e_1_3_2_1_26_1","volume-title":"July","author":"European Committee for Electrotechnical Standardization.","year":"2009","unstructured":"European Committee for Electrotechnical Standardization. CENELEC EN 50128 Railway applications - Communications, signalling and processing systems - Software for railway control and protection systems , July 2009 . European Committee for Electrotechnical Standardization. CENELEC EN 50128 Railway applications - Communications, signalling and processing systems - Software for railway control and protection systems, July 2009."},{"key":"e_1_3_2_1_27_1","volume-title":"March","author":"Space Standardization European Cooperation","year":"2009","unstructured":"European Cooperation for Space Standardization . ECSS-Q-ST-80C Space product assurance - Software product assurance , March 2009 . European Cooperation for Space Standardization. ECSS-Q-ST-80C Space product assurance - Software product assurance, March 2009."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805825"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/1806209.1806212"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2011.11.002"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/647809.737952"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805824"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02924-0_4"},{"key":"e_1_3_2_1_34_1","volume-title":"University of Toronto Press","author":"Lorentz G.","year":"1953","unstructured":"G. Lorentz . Bernstein Polynomials . University of Toronto Press , 1953 . G. Lorentz. Bernstein Polynomials. University of Toronto Press, 1953."},{"key":"e_1_3_2_1_35_1","unstructured":"The Mathworks. Simulink. www.mathworks.com\/products\/simulink.  The Mathworks. Simulink. www.mathworks.com\/products\/simulink."},{"key":"e_1_3_2_1_36_1","volume-title":"Software Considerations in Airborne Systems and Equipment Certification","author":"Radio Technical Commission for Aeronautics. DO-178B","year":"1992","unstructured":"Radio Technical Commission for Aeronautics. DO-178B , Software Considerations in Airborne Systems and Equipment Certification , 1992 . Radio Technical Commission for Aeronautics. DO-178B, Software Considerations in Airborne Systems and Equipment Certification, 1992."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27793-4_21"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-8396(91)90031-6"},{"key":"e_1_3_2_1_39_1","first-page":"52","volume-title":"Kronecker Representation of Stochastic Petri Nets With Discrete PH Distribution. In IPDS Proceedings","author":"Scarpa M.","year":"1998","unstructured":"M. Scarpa and A. Bobbio . Kronecker Representation of Stochastic Petri Nets With Discrete PH Distribution. In IPDS Proceedings , pages 52 -- 62 , 1998 . M. Scarpa and A.Bobbio. Kronecker Representation of Stochastic Petri Nets With Discrete PH Distribution. In IPDS Proceedings, pages 52--62, 1998."},{"key":"e_1_3_2_1_40_1","first-page":"1","volume-title":"IEEE Computer","author":"Schmidt D. C.","year":"2006","unstructured":"D. C. Schmidt . Model-driven engineering . IEEE Computer , pages 1 -- 2 , February 2006 . D. C. Schmidt. Model-driven engineering. IEEE Computer, pages 1--2, February 2006."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.57058"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"crossref","DOI":"10.21236\/ADA291266","volume-title":"MIL-STD-498: Military standard for software development and documentation. Technical report","author":"US Department of Defense.","year":"1994","unstructured":"US Department of Defense. MIL-STD-498: Military standard for software development and documentation. Technical report , 1994 . US Department of Defense. MIL-STD-498: Military standard for software development and documentation. Technical report, 1994."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.940727"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.36"},{"key":"e_1_3_2_1_45_1","first-page":"103","volume-title":"Discrete Deterministic and Stochastic Petri Nets. In In Proc. of Measurement, Modeling, and Valuation of Computer and Communication Systems","author":"Zijal R.","year":"1997","unstructured":"R. Zijal , G. Ciardo , and G. Hommel . Discrete Deterministic and Stochastic Petri Nets. In In Proc. of Measurement, Modeling, and Valuation of Computer and Communication Systems , pages 103 -- 117 , 1997 . R. Zijal, G. Ciardo, and G. Hommel. Discrete Deterministic and Stochastic Petri Nets. In In Proc. of Measurement, Modeling, and Valuation of Computer and Communication Systems, pages 103--117, 1997."}],"event":{"name":"ICPE'13: ACM\/SPEC International Conference on Performance Engineering","sponsor":["SIGMETRICS ACM Special Interest Group on Measurement and Evaluation","SIGSOFT ACM Special Interest Group on Software Engineering","SPEC SPEC Research Group"],"location":"Prague Czech Republic","acronym":"ICPE'13"},"container-title":["Proceedings of the 4th ACM\/SPEC International Conference on Performance Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2479871.2479889","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2479871.2479889","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:35:28Z","timestamp":1750235728000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2479871.2479889"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,21]]},"references-count":44,"alternative-id":["10.1145\/2479871.2479889","10.1145\/2479871"],"URL":"https:\/\/doi.org\/10.1145\/2479871.2479889","relation":{},"subject":[],"published":{"date-parts":[[2013,4,21]]},"assertion":[{"value":"2013-04-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}