{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,29]],"date-time":"2026-03-29T16:30:29Z","timestamp":1774801829367,"version":"3.50.1"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2010,6,16]],"date-time":"2010-06-16T00:00:00Z","timestamp":1276646400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1007\/s10617-010-9055-1","type":"journal-article","created":{"date-parts":[[2010,6,15]],"date-time":"2010-06-15T04:28:37Z","timestamp":1276576117000},"page":"193-227","source":"Crossref","is-referenced-by-count":31,"title":["Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems"],"prefix":"10.1007","volume":"14","author":[{"given":"Kai","family":"Lampka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Perathoner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lothar","family":"Thiele","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,6,16]]},"reference":[{"key":"9055_CR1","unstructured":"Altisen K, Moy M (2010) Arrival curves for real-time calculus: the causality problem and its solutions. In: Esparza J, Majumdar R. (eds) TACAS, pp\u00a0358\u2013372"},{"key":"9055_CR2","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1007\/BFb0032042","volume-title":"Proceedings of the 17th international colloquium on automata, languages and programming (ICALP\u201990)","author":"R Alur","year":"1990","unstructured":"Alur R, Dill DL (1990) Automata for modeling real-time systems. In: Paterson M (ed) Proceedings of the 17th international colloquium on automata, languages and programming (ICALP\u201990). Lecture notes in computer science, vol 443. Springer, Berlin, pp 322\u2013335"},{"key":"9055_CR3","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal methods for the design of real-time systems: 4th international school on formal methods for the design of computer, communication, and software systems, SFM-RT 2004","author":"G Behrmann","year":"2004","unstructured":"Behrmann G, David A, Larsen KG (2004) A tutorial on uppaal. In: Bernardo M, Corradini F (eds) Formal methods for the design of real-time systems: 4th international school on formal methods for the design of computer, communication, and software systems, SFM-RT 2004. Lecture notes in computer science, vol 3185. Springer, Berlin, pp 200\u2013236"},{"key":"9055_CR4","series-title":"Lecture notes in computer science","first-page":"87","volume-title":"Lectures on concurrency and Petri nets","author":"J Bengtsson","year":"2004","unstructured":"Bengtsson J, Yi W (2004) Timed automata: semantics, algorithms and tools. In: Lectures on concurrency and Petri nets. Lecture notes in computer science, vol 3098. Springer, Berlin, pp 87\u2013124"},{"key":"9055_CR5","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45318-0","volume-title":"Network calculus: a theory of deterministic queuing systems for the Internet","author":"JYL Boudec","year":"2001","unstructured":"Boudec JYL, Thiran P (2001) Network calculus: a theory of deterministic queuing systems for the Internet. Lecture notes in computer science, vol 2050. Springer, Berlin"},{"key":"9055_CR6","unstructured":"Chakraborty S, K\u00fcnzli S, Thiele L (2003) A general framework for analyzing system properties in platform-based embedded system designs. Design, automation and test in Europe conference and exhibition, vol\u00a01"},{"key":"9055_CR7","doi-asserted-by":"crossref","unstructured":"Chakraborty S, Phan LTX, Thiagarajan PS (2005) Event count automata: a state-based model for stream processing systems. In: Proceedings of the 26th IEEE international real-time systems symposium (RTSS\u201905), pp 87\u201398","DOI":"10.1109\/RTSS.2005.21"},{"key":"9055_CR8","first-page":"11","volume-title":"2nd International conference on embedded software and systems","author":"H Dierks","year":"2009","unstructured":"Dierks H, Metzner A, Stierand I (2009) Efficient model-checking for real-time task networks. In: 2nd International conference on embedded software and systems. IEEE Computer Society, Los Alamitos, pp 11\u201318"},{"key":"9055_CR9","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1109\/EMRTS.2001.934015","volume-title":"Proceedings of 13th Euromicro conference on real-time systems","author":"M Gonz\u00e1lez\u00a0Harbour","year":"2001","unstructured":"Gonz\u00e1lez\u00a0Harbour M, Guti\u00e9rrez\u00a0Garc\u00eda JJ, Palencia\u00a0Guti\u00e9rrez JC, Drake\u00a0Moyano JM (2001) Mast: Modeling and analysis suite for real time applications. In: Proceedings of 13th Euromicro conference on real-time systems. IEEE Computer Society, Los Alamitos, pp 125\u2013134"},{"key":"9055_CR10","volume-title":"Proceedings of the 20th international parallel and distributed processing symposium (IPDPS 2006)","author":"M Hendriks","year":"2006","unstructured":"Hendriks M, Verhoef M (2006) Timed automata based analysis of embedded system architectures. In: Proceedings of the 20th international parallel and distributed processing symposium (IPDPS 2006). IEEE Press, New York"},{"issue":"2","key":"9055_CR11","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1049\/ip-cdt:20045088","volume":"152","author":"R Henia","year":"2005","unstructured":"Henia R, Hamann A, Jersak M, Racu R, Richter K, Ernst R (2005) System level performance analysis-the SymTA\/S approach. IEEE Proc Comput Digital Tech 152(2):148\u2013166","journal-title":"IEEE Proc Comput Digital Tech"},{"key":"9055_CR12","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1145\/1450058.1450083","volume-title":"EMSOFT \u201908: Proceedings of the 8th ACM international conference on embedded software","author":"B Jonsson","year":"2008","unstructured":"Jonsson B, Perathoner S, Thiele L, Yi W (2008) Cyclic dependencies in modular performance analysis. In: EMSOFT \u201908: Proceedings of the 8th ACM international conference on embedded software. ACM, New York, pp 179\u2013188. doi: 10.1145\/1450058.1450083"},{"key":"9055_CR13","unstructured":"Krcal P, Mokrushin L, Yi W (2007) A tool for compositional analysis of timed systems by abstraction (extended abstract). In: Proceedings of 19th Nordic workshop on programming theory (NWPT07)"},{"key":"9055_CR14","first-page":"63","volume-title":"Proceedings of the 5th international conference on hardware\/software codesign and system synthesis 2007","author":"S K\u00fcnzli","year":"2007","unstructured":"K\u00fcnzli S, Hamann A, Ernst R, Thiele L (2007) Combined approach to system level performance analysis of embedded systems. In: Proceedings of the 5th international conference on hardware\/software codesign and system synthesis 2007. ACM, New York, pp 63\u201368"},{"key":"9055_CR15","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1145\/1629335.1629351","volume-title":"EMSOFT \u201909: Proceedings of the seventh ACM international conference on embedded software","author":"K Lampka","year":"2009","unstructured":"Lampka K, Perathoner S, Thiele L (2009) Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems. In: EMSOFT \u201909: Proceedings of the seventh ACM international conference on embedded software. ACM, New York, pp 107\u2013116. doi: 10.1145\/1629335.1629351"},{"key":"9055_CR16","unstructured":"Modular Performance Analysis Framework and Matlab Toolbox. www.mpa.ethz.ch"},{"key":"9055_CR17","first-page":"182","volume-title":"Proceedings of the 6th international conference on real-time computing systems and applications","author":"C Norstr\u00f6m","year":"1999","unstructured":"Norstr\u00f6m C, Wall A, Yi W (1999) Timed automata as task models for event-driven systems. In: Proceedings of the 6th international conference on real-time computing systems and applications. IEEE Computer Society, Los Alamitos, p 182"},{"key":"9055_CR18","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1145\/1289927.1289959","volume-title":"EMSOFT \u201907: Proceedings of the 7th ACM & IEEE international conference on embedded software","author":"S Perathoner","year":"2007","unstructured":"Perathoner S, Wandeler E, Thiele L, Hamann A, Schliecker S, Henia R, Racu R, Ernst R, Harbour MG (2007) Influence of different system abstractions on the performance analysis of distributed real-time systems. In: EMSOFT \u201907: Proceedings of the 7th ACM & IEEE international conference on embedded software. ACM, New York, pp 193\u2013202. doi: 10.1145\/1289927.1289959"},{"key":"9055_CR19","first-page":"59","volume-title":"Proceedings of the 28th IEEE real-time systems symposium (RTSS 2008)","author":"L Phan","year":"2008","unstructured":"Phan L, Chakraborty S, Thiagarajan P (2008) A multi-mode real-time calculus. In: Proceedings of the 28th IEEE real-time systems symposium (RTSS 2008). IEEE Computer Society, Los Alamitos, pp 59\u201369"},{"key":"9055_CR20","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1109\/RTSS.2007.46","volume-title":"Proceedings of the 28th IEEE real-time systems symposium (RTSS 2007)","author":"LTX Phan","year":"2007","unstructured":"Phan LTX, Chakraborty S, Thiagarajan PS, Thiele L (2007) Composing functional and state-based performance models for analyzing heterogeneous real-time systems. In: Proceedings of the 28th IEEE real-time systems symposium (RTSS 2007). IEEE Computer Society, Los Alamitos, pp 343\u2013352"},{"key":"9055_CR21","doi-asserted-by":"crossref","unstructured":"Thiele L, Chakraborty S, Naedele M (2000) Real-time calculus for scheduling hard real-time systems. In: Proceedings of international symposium on circuits and systems, vol\u00a04, pp\u00a0101\u2013104","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"9055_CR22","unstructured":"The Uppaal timed model checker. www.uppaal.com"},{"issue":"6","key":"9055_CR23","doi-asserted-by":"crossref","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 (2006) System architecture evaluation using modular performance analysis: a case study. Int J Soft Tools Technol Transf 8(6):649\u2013667","journal-title":"Int J Soft Tools Technol Transf"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-010-9055-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10617-010-9055-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-010-9055-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T15:29:34Z","timestamp":1559230174000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10617-010-9055-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6,16]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,9]]}},"alternative-id":["9055"],"URL":"https:\/\/doi.org\/10.1007\/s10617-010-9055-1","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"value":"0929-5585","type":"print"},{"value":"1572-8080","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,6,16]]}}}