{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,23]],"date-time":"2025-03-23T04:22:00Z","timestamp":1742703720704,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642285394"},{"type":"electronic","value":"9783642285400"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28540-0_12","type":"book-chapter","created":{"date-parts":[[2012,3,8]],"date-time":"2012-03-08T14:48:22Z","timestamp":1331218102000},"page":"166-181","source":"Crossref","is-referenced-by-count":0,"title":["Simulative and Analytical Evaluation for ASD-Based Embedded Software"],"prefix":"10.1007","author":[{"given":"Ramin","family":"Sadre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anne","family":"Remke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sjors","family":"Hettinga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boudewijn","family":"Haverkort","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Allegio (2011), http:\/\/www.esi.nl\/research\/applied-research\/current-projects\/allegio\/"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Broadfoot, G.H., Broadfoot, P.J.: Academia and industry meet: Some experiences of formal methods in practice. In: 10th Asia-Pacific Software Engineering Conference (APSEC 2003), pp. 49\u201358 (2003)","DOI":"10.1109\/APSEC.2003.1254357"},{"key":"12_CR3","unstructured":"Chakraborty, S., K\u00fcnzli, S., Thiele, L.: A general framework for analysing system properties in platform-based embedded system designs. In: DATE (2003)"},{"issue":"1","key":"12_CR4","first-page":"70","volume":"2","author":"A. Cobham","year":"1954","unstructured":"Cobham, A.: Priority assignment in waiting line problems. Operations Research\u00a02(1), 70\u201376 (1954)","journal-title":"Operations Research"},{"issue":"2","key":"12_CR5","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1109\/TSE.2008.74","volume":"35","author":"G. Franks","year":"2009","unstructured":"Franks, G., Al-Omari, T., Woodside, M., Das, O., Derisavi, S.: Enhanced Modeling and Solution of Layered Queueing Networks. Transactions on Software Engineering\u00a035(2), 148\u2013161 (2009)","journal-title":"Transactions on Software Engineering"},{"issue":"5","key":"12_CR6","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1109\/90.803379","volume":"7","author":"M. Grossglauser","year":"1999","unstructured":"Grossglauser, M., Bolot, J.C.: On the relevance of long-range dependence in network traffic. IEEE\/ACM Transactions on Networking\u00a07(5), 629\u2013640 (1999)","journal-title":"IEEE\/ACM Transactions on Networking"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/BFb0024319","volume-title":"Quantitative Evaluation of Computing and Communication Systems","author":"B. Haverkort","year":"1995","unstructured":"Haverkort, B.: Approximate Analysis of Networks of PH|PH|1|K Queues: Theory & Tool Support. In: Beilner, H., Bause, F. (eds.) MMB 1995 and TOOLS 1995. LNCS, vol.\u00a0977, pp. 239\u2013253. Springer, Heidelberg (1995)"},{"issue":"2-4","key":"12_CR8","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0166-5316(02)00091-3","volume":"51","author":"A. Heindl","year":"2003","unstructured":"Heindl, A.: Decomposition of general queueing networks with MMPP inputs and customer losses. Performance Evaluation\u00a051(2-4), 117\u2013136 (2003)","journal-title":"Performance Evaluation"},{"key":"12_CR9","unstructured":"Hettinga, S.: Performance Analysis for Embedded Software Design. Master\u2019s thesis, University of Twente (2010)"},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/s00186-007-0174-9","volume":"68","author":"O. Jouini","year":"2008","unstructured":"Jouini, O., Dallery, Y.: Moments of first passage times in general birth-death processes. Mathematical Methods of Operations Research\u00a068, 49\u201376 (2008)","journal-title":"Mathematical Methods of Operations Research"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/j.peva.2010.04.002","volume":"68","author":"D. Klink","year":"2011","unstructured":"Klink, D., Remke, A., Haverkort, B., Katoen, J.P.: Time-bounded reachability in tree-structured QBDs by abstraction. Performance Evaluation\u00a068, 105\u2013125 (2011)","journal-title":"Performance Evaluation"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"650","DOI":"10.1017\/S0021900200044387","volume":"30","author":"G. Latouche","year":"1993","unstructured":"Latouche, G., Ramaswami, V.: A logarithmic reduction algorithm for quasi birth and death processes. Journal of Applied Probability\u00a030, 650\u2013674 (1993)","journal-title":"Journal of Applied Probability"},{"key":"12_CR13","unstructured":"Neuts, M.: Matrix-Geometric Solutions in Stochastic Models \u2014 An Algorithmic Approach. Dover Publications, Inc. (1981)"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-45232-4_13","volume-title":"Computer Performance Evaluations. Modelling Techniques and Tools","author":"T. Osogami","year":"2003","unstructured":"Osogami, T., Harchol-Balter, M.: A Closed-Form Solution for Mapping General Distributions to Minimal PH Distributions. In: Kemper, P., Sanders, W.H. (eds.) TOOLS 2003. LNCS, vol.\u00a02794, pp. 200\u2013217. Springer, Heidelberg (2003)"},{"issue":"8","key":"12_CR15","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1109\/32.403785","volume":"21","author":"J. Rolia","year":"1995","unstructured":"Rolia, J., Sevcik, K.: The Method of Layers. Transactions on Software Engineering\u00a021(8), 689\u2013700 (1995)","journal-title":"Transactions on Software Engineering"},{"key":"12_CR16","unstructured":"Sadre, R.: Decomposition-Based Analysis of Queueing Networks. Ph.D. thesis, University of Twente (2006)"},{"key":"12_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/3-540-46429-8_23","volume-title":"Computer Performance Evaluation. Modelling Techniques and Tools","author":"R. Sadre","year":"2000","unstructured":"Sadre, R., Haverkort, B.: FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol.\u00a01786, pp. 324\u2013327. Springer, Heidelberg (2000)"},{"key":"12_CR18","series-title":"International Series in Operations Research & Management Science","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1007\/978-1-4419-6472-4_15","volume-title":"Queueing Networks: A Fundamental Approach","author":"R. Sadre","year":"2011","unstructured":"Sadre, R., Haverkort, B.: Decomposition-Based Queueing Network Analysis with FiFiQueues. In: Queueing Networks: A Fundamental Approach. International Series in Operations Research & Management Science, vol.\u00a0154, pp. 643\u2013699. Springer, Heidelberg (2011)"},{"key":"12_CR19","unstructured":"Verum (2010), http:\/\/www.verum.com"},{"issue":"6","key":"12_CR20","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1007\/s10009-006-0019-5","volume":"8","author":"E. Wandeler","year":"2006","unstructured":"Wandeler, E., Thiele, L., Verhoef, M., Lieverse, P.: System architecture evaluation using modular performance analysis: a case study. International Journal on Software Tools for Technology Transfer\u00a08(6), 649\u2013667 (2006)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"9","key":"12_CR21","doi-asserted-by":"publisher","first-page":"2779","DOI":"10.1002\/j.1538-7305.1983.tb03204.x","volume":"62","author":"W. Whitt","year":"1983","unstructured":"Whitt, W.: The Queueing Network Analyzer. The Bell System Technical Journal\u00a062(9), 2779\u20132815 (1983)","journal-title":"The Bell System Technical Journal"}],"container-title":["Lecture Notes in Computer Science","Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28540-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T18:31:38Z","timestamp":1742668298000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28540-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642285394","9783642285400"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28540-0_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}