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
ICT
ESI - Embedded Systems Innovations
TS - Technical Sciences
Informatics
Industrial Innovation
Domain Specific Language
Idsl
Performance 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