{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:35:16Z","timestamp":1750307716821,"version":"3.41.0"},"reference-count":11,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2009,3,25]],"date-time":"2009-03-25T00:00:00Z","timestamp":1237939200000},"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":["SIGMETRICS Perform. Eval. Rev."],"published-print":{"date-parts":[[2009,3,25]]},"abstract":"<jats:p>M\u00f6bius is a multi-paradigm multi-solution framework to describe and analyze stochastic models of discrete-event dynamic systems. M\u00f6bius is widely used in academia and industry for the performance and dependability assessment of technical systems. It comes with a design of experiments as well as automated support for distributing a series of simulation experiments over a network to support the exploration of design spaces for real-world applications. In addition to that, the M\u00f6bius simulator interfaces with Traviando, a separate trace analyzer and visualizer that helps to investigate the details of a complex model for validation, verification, and debugging purposes. In this paper, we outline the development of a multi-formalism model of a Lustre-like file system, the analysis of its detailed simulated behavior, and the results obtained from a simulation study.<\/jats:p>","DOI":"10.1145\/1530873.1530878","type":"journal-article","created":{"date-parts":[[2009,4,21]],"date-time":"2009-04-21T14:14:44Z","timestamp":1240323284000},"page":"16-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["Performance and dependability modeling with M\u00f6bius"],"prefix":"10.1145","volume":"36","author":[{"given":"Shravan","family":"Gaonkar","sequence":"first","affiliation":[{"name":"University of Illinois, Urbana, IL"}]},{"given":"Ken","family":"Keefe","sequence":"additional","affiliation":[{"name":"University of Illinois, Urbana, IL"}]},{"given":"Ruth","family":"Lamprecht","sequence":"additional","affiliation":[{"name":"College of William and Mary, Williamsburg, VA"}]},{"given":"Eric","family":"Rozier","sequence":"additional","affiliation":[{"name":"University of Illinois, Urbana, IL"}]},{"given":"Peter","family":"Kemper","sequence":"additional","affiliation":[{"name":"College of William and Mary, Williamsburg, VA"}]},{"given":"William H.","family":"Sanders","sequence":"additional","affiliation":[{"name":"University of Illinois, Urbana, IL"}]}],"member":"320","published-online":{"date-parts":[[2009,3,25]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2003.1209980"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/882474.883479"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1041052"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(03)00070-1"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2008.4630107"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.1997.571665"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.75"},{"key":"e_1_2_1_8_1","volume-title":"XMARCA: User's Manual. Department of Computer Science","author":"Klevans R.L.","year":"1992","unstructured":"R.L. Klevans and W.J. Stewart . XMARCA: User's Manual. Department of Computer Science , North Carolina State University , Raleigh, N.C. 27695-8206, USA, October 1992 . R.L. Klevans and W.J. Stewart. XMARCA: User's Manual. Department of Computer Science, North Carolina State University, Raleigh, N.C. 27695-8206, USA, October 1992."},{"volume-title":"The M\u00f6bius Manual","year":"1801","key":"e_1_2_1_9_1","unstructured":"M\u00f6bius Team. The M\u00f6bius Manual . University of Illinois , Urbana Champaign , Urbana, IL -- 6 1801 , 2007. M\u00f6bius Team. The M\u00f6bius Manual. University of Illinois, Urbana Champaign, Urbana, IL -- 61801, 2007."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/826035.826839"},{"key":"e_1_2_1_11_1","volume-title":"Introduction to the Numerical Solution of Markov Chains","author":"Stewart W.J.","year":"1994","unstructured":"W.J. Stewart . Introduction to the Numerical Solution of Markov Chains . Princeton University Press , Princeton, N.J. , 1994 . W.J. Stewart. Introduction to the Numerical Solution of Markov Chains. Princeton University Press, Princeton, N.J., 1994."}],"container-title":["ACM SIGMETRICS Performance Evaluation Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1530873.1530878","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1530873.1530878","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:30:23Z","timestamp":1750253423000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1530873.1530878"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3,25]]},"references-count":11,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2009,3,25]]}},"alternative-id":["10.1145\/1530873.1530878"],"URL":"https:\/\/doi.org\/10.1145\/1530873.1530878","relation":{},"ISSN":["0163-5999"],"issn-type":[{"type":"print","value":"0163-5999"}],"subject":[],"published":{"date-parts":[[2009,3,25]]},"assertion":[{"value":"2009-03-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}