{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,1]],"date-time":"2025-08-01T03:47:57Z","timestamp":1754020077669},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2008,4,26]],"date-time":"2008-04-26T00:00:00Z","timestamp":1209168000000},"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":[[2009,6]]},"DOI":"10.1007\/s10617-008-9015-1","type":"journal-article","created":{"date-parts":[[2008,4,25]],"date-time":"2008-04-25T16:51:52Z","timestamp":1209142312000},"page":"27-49","source":"Crossref","is-referenced-by-count":33,"title":["Influence of different abstractions on the performance analysis of distributed hard real-time systems"],"prefix":"10.1007","volume":"13","author":[{"given":"Simon","family":"Perathoner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernesto","family":"Wandeler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lothar","family":"Thiele","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arne","family":"Hamann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Schliecker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafik","family":"Henia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Razvan","family":"Racu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Ernst","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Gonz\u00e1lez Harbour","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,4,26]]},"reference":[{"issue":"2","key":"9015_CR1","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183\u2013235","journal-title":"Theor Comput Sci"},{"key":"9015_CR2","first-page":"125","volume-title":"Proc of the 3rd int conference on the quantitative evaluation of systems","author":"G Behrmann","year":"2006","unstructured":"Behrmann G, David A, Larsen KG, H\u00e5kansson J, Pettersson P, Yi W, Hendriks M (2006) UPPAAL 4.0. In: Proc of the 3rd int conference on the quantitative evaluation of systems. IEEE Computer Society, Los Alamitos, pp 125\u2013126"},{"key":"9015_CR3","doi-asserted-by":"crossref","unstructured":"Chakraborty S, K\u00fcnzli S, Thiele L (2003) A general framework for analysing system properties in platform-based embedded system designs. In: Proc of 6th design, automation and test in Europe, pp\u00a0190\u2013195","DOI":"10.1109\/DATE.2003.1253607"},{"key":"9015_CR4","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1109\/EMRTS.2001.934015","volume-title":"Proc of 13th Euromicro conference on real-time systems","author":"M Gonz\u00e1lez Harbour","year":"2001","unstructured":"Gonz\u00e1lez Harbour M, Guti\u00e9rrez Garc\u00eda JJ, Palencia Guti\u00e9rrez JC, Drake Moyano JM (2001) MAST: Modeling and analysis suite for real time applications. In: Proc of 13th Euromicro conference on real-time systems. IEEE Computer Society, Los Alamitos, pp 125\u2013134"},{"key":"9015_CR5","doi-asserted-by":"crossref","unstructured":"Hendriks M, Verhoef M (2006) Timed automata based analysis of embedded system architectures. In: Workshop on parallel and distributed real-time systems","DOI":"10.1109\/IPDPS.2006.1639422"},{"issue":"2","key":"9015_CR6","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\u2014the SymTA\/S approach. IEE Proc Comput Digit Tech 152(2):148\u2013166","journal-title":"IEE Proc Comput Digit Tech"},{"key":"9015_CR7","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":"JY Le Boudec","year":"2001","unstructured":"Le Boudec JY, Thiran P (2001) Network calculus: a theory of deterministic queuing systems for the Internet. Springer, New York"},{"key":"9015_CR8","doi-asserted-by":"crossref","unstructured":"Lehoczky J (1990) Fixed priority scheduling of periodic task sets with arbitrary deadlines. In: Proc of the real-time systems symposium, pp 201\u2013209","DOI":"10.1109\/REAL.1990.128748"},{"key":"9015_CR9","first-page":"245","volume-title":"Proc of the 22nd real-time systems symposium","author":"JL Medina","year":"2001","unstructured":"Medina JL, Gonz\u00e1lez Harbour M, Drake JM (2001) MAST real-time view: a graphic UML tool for modeling object-oriented real-time systems. In: Proc of the 22nd real-time systems symposium. IEEE Computer Society, Los Alamitos, pp 245\u2013256"},{"key":"9015_CR10","first-page":"182","volume-title":"Proc of the 6th int 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: Proc of the 6th int conference on real-time computing systems and applications. IEEE Computer Society, Los Alamitos, p 182"},{"key":"9015_CR11","first-page":"328","volume-title":"Proc of the 20th real-time systems symposium","author":"JC Palencia","year":"1999","unstructured":"Palencia JC, Gonz\u00e1lez Harbour M (1999) Exploiting precedence relations in the schedulability analysis of distributed real-time systems. In: Proc of the 20th real-time systems symposium. IEEE Computer Society, Los Alamitos, pp 328\u2013339"},{"key":"9015_CR12","volume-title":"Proc of the 19th real-time systems symposium","author":"JC Palencia Guti\u00e9rrez","year":"1998","unstructured":"Palencia Guti\u00e9rrez JC, Gonz\u00e1lez Harbour M (1998) Schedulability analysis for tasks with static and dynamic offsets. In: Proc of the 19th real-time systems symposium. IEEE Computer Society, Los Alamitos"},{"key":"9015_CR13","unstructured":"Perathoner S, Wandeler E, Thiele L (2006) Evaluation and comparison of performance analysis methods for distributed embedded systems. Technical report 276, Computer Engineering and Networks Laboratory, ETH Zurich, March 2006"},{"key":"9015_CR14","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1145\/334012.334024","volume-title":"Proc of the 8th int workshop on hardware\/software codesign","author":"P Pop","year":"2000","unstructured":"Pop P, Eles P, Peng Z (2000) Performance estimation for embedded systems with data and control dependencies. In: Proc of the 8th int workshop on hardware\/software codesign. ACM Press, New York, pp 62\u201366"},{"key":"9015_CR15","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1145\/774789.774828","volume-title":"Proc of the 10th int symposium on hardware\/software codesign","author":"T Pop","year":"2002","unstructured":"Pop T, Eles P, Peng Z (2002) Holistic scheduling and analysis of mixed time\/event-triggered distributed embedded systems. In: Proc of the 10th int symposium on hardware\/software codesign. ACM Press, New York, pp 187\u2013192"},{"key":"9015_CR16","unstructured":"Richter K (2004) Compositional performance analysis. PhD thesis, Technical University of Braunschweig"},{"issue":"4","key":"9015_CR17","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1109\/MC.2003.1193230","volume":"36","author":"K Richter","year":"2003","unstructured":"Richter K, Jersak M, Ernst R (2003) A formal approach to MpSoC performance verification. IEEE Comput 36(4):60\u201367","journal-title":"IEEE Comput"},{"key":"9015_CR18","unstructured":"Schliecker S, Ernst R (2008) Compositional path latency computation with local busy times. Technical report TR-08-01, Institute of Computer and Communication Network Engineering, Technische Universit\u00e4t Braunschweig, Germany, January 2008"},{"key":"9015_CR19","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1007\/3-540-45449-7_29","volume-title":"Proc of the 1st int workshop on embedded software","author":"L Thiele","year":"2001","unstructured":"Thiele L, Chakraborty S, Gries M, Maxiaguine A, Greutert J (2001) Embedded software in network processors\u2014models and algorithms. In: Proc of the 1st int workshop on embedded software. Springer, Berlin, pp 416\u2013434"},{"key":"9015_CR20","doi-asserted-by":"crossref","unstructured":"Thiele L, Chakraborty S, Naedele M (2000) Real-time calculus for scheduling hard real-time systems. In: Proc int symposium on circuits and systems, vol 4, pp 101\u2013104","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"9015_CR21","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0165-6074(94)90080-9","volume":"40","author":"K Tindell","year":"1994","unstructured":"Tindell K, Clark J (1994) Holistic schedulability analysis for distributed hard real-time systems. Microprocess Microprogram\u2014Euromicro J 40:117\u2013134 (Special Issue on Parallel Embedded Real-Time Systems)","journal-title":"Microprocess Microprogram\u2014Euromicro J"},{"key":"9015_CR22","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/RTAS.2005.13","volume-title":"Proc of the 11th real time on embedded technology and applications symposium","author":"E Wandeler","year":"2005","unstructured":"Wandeler E, Thiele L (2005) Characterizing workload correlations in multi processor hard real-time systems. In: Proc of the 11th real time on embedded technology and applications symposium. IEEE Computer Society, Los Alamitos, pp 46\u201355"},{"key":"9015_CR23","first-page":"64","volume-title":"Proc of the 1995 int conference on computer design","author":"TY Yen","year":"1995","unstructured":"Yen TY, Wolf W (1995) Performance estimation for real-time distributed embedded systems. In: Proc of the 1995 int conference on computer design. IEEE Computer Society, Los Alamitos, pp 64\u201371"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-008-9015-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10617-008-9015-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-008-9015-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,9]],"date-time":"2021-09-09T00:08:57Z","timestamp":1631146137000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10617-008-9015-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4,26]]},"references-count":23,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2009,6]]}},"alternative-id":["9015"],"URL":"https:\/\/doi.org\/10.1007\/s10617-008-9015-1","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"value":"0929-5585","type":"print"},{"value":"1572-8080","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,4,26]]}}}