Print Email Facebook Twitter iDSL: Automated Performance Evaluation of Service-Oriented Systems Title iDSL: Automated Performance Evaluation of Service-Oriented Systems Author van den Berg, F. Haverkort, B.R. Hooman, J. Contributor Katoen, J.-P. (editor) Publication year 2017 Abstract Service-oriented systems interconnect with other systems in a time critical manner, making their performance vital. For this purpose, we propose an automated performance evaluation approach for service-oriented systems which includes both performance measurement and prediction. The approach makes use of the iDSL language, a domain specific language tailored to modeling service-oriented systems, and the iDSL toolchain to evaluate iDSL models, as follows. First, discrete-event simulation yields many performance artifacts, e.g., latency breakdown charts, cumulative distribution graphs, and latency bar charts. Second, timed automata-based model checking yields absolute latency bounds. Third, probabilistic timed automata-based model checking leads to exact latency distributions for each service. We successfully validated our approach; several case studies on interventional X-ray systems displayed similar measured and predicted outcomes. Subject ICTESI - Embedded Systems InnovationsTS - Technical SciencesInformaticsIndustrial InnovationDomain Specific LanguageIdslPerformance evaluation To reference this document use: http://resolver.tudelft.nl/uuid:e268ea7e-5464-4928-be60-7834c5094d2f DOI https://doi.org/10.1007/978-3-319-68270-9_11 TNO identifier 781800 Publisher Springer ISBN 9783319682709 Source Brinksma Festschrift, 214-236 Series Lecture Notes in Computer Science Document type conference paper Files To receive the publication files, please send an e-mail request to TNO Library.