{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T18:10:16Z","timestamp":1738347016220,"version":"3.35.0"},"reference-count":58,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2008,8,26]],"date-time":"2008-08-26T00:00:00Z","timestamp":1219708800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2009,4]]},"DOI":"10.1007\/s10270-008-0099-7","type":"journal-article","created":{"date-parts":[[2008,8,25]],"date-time":"2008-08-25T16:00:50Z","timestamp":1219680050000},"page":"275-302","source":"Crossref","is-referenced-by-count":10,"title":["A UML-based quantitative framework for early prediction of resource usage and load in distributed real-time systems"],"prefix":"10.1007","volume":"8","author":[{"given":"Vahid","family":"Garousi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lionel C.","family":"Briand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yvan","family":"Labiche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,8,26]]},"reference":[{"key":"99_CR1","volume-title":"Distributed Real-time Systems: Monitoring, Visualization, Debugging, and Analysis","author":"J.J.P. Tsai","year":"1996","unstructured":"Tsai J.J.P., Bi Y., Yang S.J.H., Smith R.A.W.: Distributed Real-time Systems: Monitoring, Visualization, Debugging, and Analysis. Wiley, London (1996)"},{"key":"99_CR2","doi-asserted-by":"crossref","unstructured":"Feiler, P., Lewis, B., Vestal, S.: Improving Predictability in Embedded Real-time Systems. Technical Report CMU\/SEI-2000-SR-011, Carnegie Mellon Software Engineering Institute (2000)","DOI":"10.21236\/ADA387086"},{"key":"99_CR3","volume-title":"Soft Real-Time Systems: Predictability vs. Efficiency","author":"G. Buttazzo","year":"2005","unstructured":"Buttazzo G., Lipari G., Abeni L., Caccamo M.: Soft Real-Time Systems: Predictability vs. Efficiency. Springer, Heidelberg (2005)"},{"key":"99_CR4","doi-asserted-by":"crossref","unstructured":"Yau, S.S., Zhou, X.: Schedulability in Model-based Software Development for Distributed Real-Time Systems. In: Proc. of Int. Workshop on Object-Oriented Real-Time Dependable Systems, pp. 45\u201352 (2002)","DOI":"10.1109\/WORDS.2002.1000035"},{"key":"99_CR5","doi-asserted-by":"crossref","unstructured":"Igarashi, A., Kobayashi, N.: Resource Usage Analysis. In: Proc. of Symposium on Principles of Programming Languages, pp. 331\u2013342 (2002)","DOI":"10.1145\/503272.503303"},{"key":"99_CR6","doi-asserted-by":"crossref","unstructured":"Marriott, K., Stuckey, P.J., Sulzmann, M.: Resource Usage Verification. In: Proc. of Asian Symposium on Programming Languages and Systems, pp. 212\u2013229, (2003)","DOI":"10.1007\/978-3-540-40018-9_15"},{"key":"99_CR7","doi-asserted-by":"crossref","unstructured":"Cachera, D., Jensen, T., Pichardie, D., Schneider, G.: Certified Memory Usage Analysis. In: Proc. of Formal Methods Conf., pp. 91\u2013106, (2005)","DOI":"10.1007\/11526841_8"},{"key":"99_CR8","unstructured":"Dinda, P., O\u2019Hallaron, D.: An Extensible Toolkit for Resource Prediction In Distributed Systems, Technical Report CMU- CS-99-138, School of Computer Science, Carnegie Mellon University (1999)"},{"key":"99_CR9","doi-asserted-by":"crossref","unstructured":"Dinda, P.A., O\u2019Hallaron, D.R.: An Evaluation of Linear Models for Host Load Prediction. In: Proc. of Int. Symp. on High Performance Distributed Computing, pp. 87\u201396 (1999)","DOI":"10.1109\/HPDC.1999.805285"},{"key":"99_CR10","doi-asserted-by":"crossref","unstructured":"Andreolini, M., Casolari, S.: Load Prediction Models in Web-based Systems. In: Proc. of Int. Conf. on Performance Evaluation Methodolgies and Tools, pp. 27\u201336 (2006)","DOI":"10.1145\/1190095.1190129"},{"key":"99_CR11","volume-title":"Capacity Planning for Web Services: Metrics, Models, and Methods","author":"D.A. Menasc\u00e9","year":"2001","unstructured":"Menasc\u00e9 D.A., Almeida V.A.F.: Capacity Planning for Web Services: Metrics, Models, and Methods. Prentice Hall, Englewood Cliffs (2001)"},{"issue":"2","key":"99_CR12","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1109\/2.485858","volume":"29","author":"C. Jones","year":"1996","unstructured":"Jones C.: Software change management. IEEE Comput 29(2), 80\u201382 (1996)","journal-title":"IEEE Comput"},{"key":"99_CR13","volume-title":"Encyclopedia of Software Engineering, 2nd edn","author":"C.U. Smith","year":"2002","unstructured":"Smith C.U., Williams L.G.: Software performance engineering. In: Marciniak, J.J.(eds) Encyclopedia of Software Engineering, 2nd edn, Wiley, London (2002)"},{"key":"99_CR14","unstructured":"Object Management Group (OMG) UML 2.1.1 Superstructure Specification (2007)"},{"key":"99_CR15","doi-asserted-by":"crossref","unstructured":"Bernardi, S., Donatelli, S., Merseguer, J.: From UML sequence diagrams and statecharts to analysable petri-net models. In: Proc. of Int. Workshop on Software and Performance, pp. 35\u201345 (2002)","DOI":"10.1145\/584369.584376"},{"key":"99_CR16","doi-asserted-by":"crossref","unstructured":"Pasaje, J.L.M., Harbour, M.G., Drake, J.M.: MAST real-time view: a graphic UML tool for modeling object-oriented real-time systems. In: Proc. of Real-Time Systems Symposium, pp. 245\u2013256 (2001)","DOI":"10.1109\/REAL.2001.990618"},{"issue":"5","key":"99_CR17","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1109\/TSE.2004.9","volume":"30","author":"S. Balsamo","year":"2004","unstructured":"Balsamo S., DiMarco A., Inverardi P., Simeoni M.: Model-based performance prediction in software development. IEEE Trans. Softw. Eng. 30(5), 295\u2013310 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2\u20133","key":"99_CR18","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/S0166-5316(01)00036-0","volume":"45","author":"V. Cortellessa","year":"2001","unstructured":"Cortellessa V., D\u2019Ambrogio A., Iazeolla G.: Automatic derivation of software performance models from CASE documents. Perform. Eval. 45(2\u20133), 81\u2013105 (2001)","journal-title":"Perform. Eval."},{"key":"99_CR19","doi-asserted-by":"crossref","unstructured":"Mirandola, R., Cortellessa, V.: UML based performance modeling of distributed systems. In: Proc. of the Unified Modeling Language (UML) Conference, pp. 178\u2013193 (2000)","DOI":"10.1007\/3-540-40011-7_13"},{"key":"99_CR20","volume-title":"Performance Solutions","author":"C.U. Smith","year":"2002","unstructured":"Smith C.U., Williams L.G.: Performance Solutions. Addison-Wesley, Reading (2002)"},{"key":"99_CR21","unstructured":"Object Management Group (OMG) UML 2.0 Superstructure Specification (2005)"},{"key":"99_CR22","unstructured":"Object Management Group (OMG) UML Profile for Schedulability, Performance, and Time (v1.1) (2005)"},{"key":"99_CR23","doi-asserted-by":"crossref","unstructured":"Garousi, V., Briand, L., Labiche, Y.: Control flow analysis of UML 2.0 sequence diagrams. In: Proc. of the European Conf. on Model Driven Architecture-Foundations and Applications, LNCS 3748, pp. 160\u2013174 (2005)","DOI":"10.1007\/11581741_13"},{"key":"99_CR24","unstructured":"Paltor, I.P., Lilius, J.: Digital sound recorder: a case study on designing embedded systems using the UML notation, Turku Centre for Computer Science, Finland TUCS Technical Report No. 234 (1999)"},{"key":"99_CR25","volume-title":"Doing Hard Time, Developing Real-Time Systems with UML Objects, Frameworks, and Patterns","author":"B. Douglass","year":"1999","unstructured":"Douglass B.: Doing Hard Time, Developing Real-Time Systems with UML Objects, Frameworks, and Patterns. Addison-Wesley, Reading (1999)"},{"key":"99_CR26","doi-asserted-by":"crossref","unstructured":"Herzberg, D.: UML-RT as a candidate for modeling embedded real-time systems in the telecommunication domain. In: Proc. of Int. Conf. on the Unified Modeling Language, pp. 331\u2013338 (1999)","DOI":"10.1007\/3-540-46852-8_24"},{"key":"99_CR27","doi-asserted-by":"crossref","unstructured":"Kabous, L., Neber, W.: Modeling hard real time systems with UML: the OOHARTS approach. In: Proc. of Int. Conf. on the Unified Modeling Language, pp. 339\u2013355 (1999)","DOI":"10.1007\/3-540-46852-8_25"},{"key":"99_CR28","doi-asserted-by":"crossref","unstructured":"Lanusse, A., Gerard, S., Terrier, F.: Real-rime modeling with UML: the ACCORD approach. In: Proc. of Int. Conf. on the Unified Modeling Language, pp. 319\u2013335 (1998)","DOI":"10.1007\/978-3-540-48480-6_25"},{"key":"99_CR29","unstructured":"Object Management Group (OMG) UML Profile for Modeling and Analysis of Real-time and Embedded Systems (MARTE), Version 1.0 (Finalization Underway). http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/2007-08-04 (2007)"},{"key":"99_CR30","unstructured":"Hakansson, J., Mokrushin, L., Pettersson, P., Yi, W.: An analysis tool for UML models with SPT annotations. In: Int. Workshop on Specification and Validation of UML Models for Real-Time and Embedded Systems (2004)"},{"key":"99_CR31","unstructured":"Woodside, C.M., Petriu, D.C.: Capabilities of the UML profile for schedulability performance and time (SPT). In: Workshop on the Usage of the UML profile for Scheduling, Performance and Time (2004)"},{"key":"99_CR32","doi-asserted-by":"crossref","unstructured":"Petriu, D.C.: Performance analysis based on the UML SPT profile. Tutorial given at Int. Conf. on Quantitative Evaluation of Systems (2004)","DOI":"10.1007\/0-306-48738-1_11"},{"key":"99_CR33","unstructured":"Douglass, B.P.: Rhapsody 5.0: Breakthroughs in Software and Systems Engineering, I-Logix Corp. whitepaper (2003)"},{"key":"99_CR34","volume-title":"Object-Oriented Software Engineering: Using UML, Patterns, and Java","author":"B. Bruegge","year":"2003","unstructured":"Bruegge B., Dutoit A.H.: Object-Oriented Software Engineering: Using UML, Patterns, and Java, 2nd edn. Prentice Hall, Englewood Cliffs (2003)","edition":"2"},{"key":"99_CR35","doi-asserted-by":"crossref","unstructured":"Haugen, \u00d8.: From MSC-2000 to UML 2.0\u2014the future of sequence diagrams. In: Proc. of Int. System Design Languages (SDL) Forum, pp. 38\u201351 (2001)","DOI":"10.1007\/3-540-48213-X_3"},{"key":"99_CR36","doi-asserted-by":"crossref","unstructured":"Ben-Abdallah, H., Leue, S.: Timing constraints in message sequence chart specifications. In: Proc. of Int. Conf. on Formal Description Techniques for Distributed Systems and Communication Protocols, pp. 91\u2013106 (1997)","DOI":"10.1007\/978-0-387-35271-8_6"},{"issue":"1","key":"99_CR37","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W. Damm","year":"2001","unstructured":"Damm W., Harel D.: LSCs: Breathing life into message sequence charts. Formal Methods Syst. Des. 19(1), 45\u201380 (2001)","journal-title":"Formal Methods Syst. Des."},{"issue":"2\u20133","key":"99_CR38","first-page":"117","volume":"40","author":"K. Tindell","year":"1994","unstructured":"Tindell K., Clark J.: Holistic schedulability analysis for distributed hard real-time systems 40(2\u20133), 117\u2013134 (1994)","journal-title":"Holistic schedulability analysis for distributed hard real-time systems"},{"key":"99_CR39","doi-asserted-by":"crossref","unstructured":"Puschner, P.P., Nossal, R.: Testing the results of static worst-case execution-time analysis. In: Proc. of IEEE Real-Time Systems Symp., pp. 134\u2013143 (1998)","DOI":"10.1109\/REAL.1998.739738"},{"key":"99_CR40","unstructured":"Thane, H.: Monitoring, Testing and Debugging of Distributed Real-Time Systems, PhD Thesis, Royal Institute of Technology (2000)"},{"key":"99_CR41","volume-title":"Designing Concurrent, Distributed, and Real-Time Applications with UML","author":"H. Gomaa","year":"2000","unstructured":"Gomaa H.: Designing Concurrent, Distributed, and Real-Time Applications with UML. Addison-Wesley, Reading (2000)"},{"key":"99_CR42","doi-asserted-by":"crossref","unstructured":"Garousi, V.: Traffic-aware stress testing of distributed real-time systems based on UML models in the presence of time uncertainty. In: Proc. IEEE Int. Conf. on Software Testing, Verification and Validation (to appear) (2008)","DOI":"10.1109\/ICST.2008.7"},{"key":"99_CR43","unstructured":"Object Management Group (OMG) OCL 2.0 Specification (2005)"},{"key":"99_CR44","volume-title":"Advanced Compiler Design and Implementation, First ed","author":"S. Muchnick","year":"1997","unstructured":"Muchnick S.: Advanced Compiler Design and Implementation, First ed. Morgan Kaufmann, Los Altos (1997)"},{"key":"99_CR45","doi-asserted-by":"crossref","unstructured":"Garousi, V., Briand, L., Labiche, Y.: Control Flow Analysis of UML 2.0 Sequence Diagrams, Technical Report SCE-05-09, Carleton University, http:\/\/squall.sce.carleton.ca\/pubs\/tech_report\/TR_SCE-05-09.pdf (2005)","DOI":"10.1007\/11581741_13"},{"key":"99_CR46","doi-asserted-by":"crossref","unstructured":"Byhlin, S., Ermedahl, A., Gustafsson, J., Lisper, B.: Applying static WCET analysis to automotive communication software. In: Proc. of Euromicro Conf. on Real-Time Systems, pp. 249\u2013258 (2005)","DOI":"10.1109\/ECRTS.2005.7"},{"key":"99_CR47","unstructured":"Honeywell Inc., MetaH Product Information, http:\/\/www.htc.honeywell.com\/metah (1998)"},{"key":"99_CR48","unstructured":"Garousi, V., Briand, L., Labiche, Y.: A Quantitative Framework for Predicting Resource Usage and Load in Distributed Real-Time Systems based on UML Models, Technical Report SCE-06-05, Carleton University (2006)"},{"key":"99_CR49","doi-asserted-by":"crossref","unstructured":"Garousi, V.: Traffic-aware Stress Testing of Distributed Systems based on UML Models using Genetic Algorithms, PhD Thesis, Carleton University (2006)","DOI":"10.1145\/1134285.1134340"},{"issue":"1","key":"99_CR50","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/974043.974046","volume":"29","author":"A. Avritzer","year":"2004","unstructured":"Avritzer A., Ros J.P., Weyuker E.J.: Estimating the CPU utilization of a rule-based system. ACM SIGSOFT Softw. Eng. Notes 29(1), 1\u201312 (2004)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"issue":"1","key":"99_CR51","first-page":"67","volume":"20","author":"Y.F. Wang","year":"2001","unstructured":"Wang Y.F., Hsu M.H., Chuang Y.L.: Predicting CPU Utilization by Fuzzy Stochastic Prediction. Comput. Inform. 20(1), 67\u201376 (2001)","journal-title":"Comput. Inform."},{"key":"99_CR52","doi-asserted-by":"crossref","unstructured":"Garousi, V., Briand, L., Labiche, Y.: Traffic-aware stress testing of distributed systems based on UML models. In: Proceedings of International Conference on Software Engineering, pp. 391\u2013400 (2006)","DOI":"10.1145\/1134285.1134340"},{"key":"99_CR53","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-39889-9","volume-title":"Big Queues","author":"A. Ganesh","year":"2004","unstructured":"Ganesh A., O\u2019Connell N., Wischik D.: Big Queues. Springer, Heidelberg (2004)"},{"key":"99_CR54","doi-asserted-by":"crossref","unstructured":"Rak, J.: Priority-enabled optimization of resource utilization in fault-tolerant optical transport networks. In: Proc. of Int. Conf. on High Performance Computing and Communications, pp. 863\u2013873 (2006)","DOI":"10.1007\/11847366_89"},{"key":"99_CR55","unstructured":"Daneels, A., Salter, W.: What is SCADA? In: Proc. of Int. Conf. on Accelerator and Large Experimental Physics Control Systems, Trieste, pp. 339\u2013343 (1999)"},{"key":"99_CR56","doi-asserted-by":"crossref","unstructured":"Garousi, V., Briand, L., Labiche, Y.: Traffic-aware Stress Testing of Distributed Systems based on UML Models, Technical Report SCE-05-13, Carleton University (2005)","DOI":"10.1145\/1134285.1134340"},{"key":"99_CR57","unstructured":"Nico Cuppen Software, Network Traffic Monitor, http:\/\/www.nicocuppen.com (2005)"},{"issue":"5","key":"99_CR58","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1109\/35.841839","volume":"38","author":"R. Caceres","year":"2000","unstructured":"Caceres R., Duffield N., Feldmann A.: Measurement and analysis of IP network usage and behaviour. IEEE Commun. Mag. 38(5), 144\u2013151 (2000)","journal-title":"IEEE Commun. Mag."}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-008-0099-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-008-0099-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-008-0099-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T17:29:28Z","timestamp":1738344568000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-008-0099-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8,26]]},"references-count":58,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,4]]}},"alternative-id":["99"],"URL":"https:\/\/doi.org\/10.1007\/s10270-008-0099-7","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2008,8,26]]}}}