{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T17:59:27Z","timestamp":1777658367158,"version":"3.51.4"},"reference-count":35,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1109\/sies.2011.5953651","type":"proceedings-article","created":{"date-parts":[[2011,7,20]],"date-time":"2011-07-20T16:50:22Z","timestamp":1311180622000},"page":"18-27","source":"Crossref","is-referenced-by-count":4,"title":["Contract-based dynamic task management for mixed-criticality systems"],"prefix":"10.1109","author":[{"given":"Moritz","family":"Neukirchner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steffen","family":"Stein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harald","family":"Schrom","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johannes","family":"Schlatow","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Ernst","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2007.14"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/1182807.1182809"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/IPSN.2007.4379694"},{"key":"ref30","article-title":"Compositional scheduling analysis using standard event models","author":"richter","year":"2004","journal-title":"Ph D Dissertation"},{"key":"ref35","article-title":"Run-time monitoring of realtime systems","author":"chodrow","year":"1991","journal-title":"Proc IEEE Real-Time Systems Symp (RTSS)"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253676"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/508448.508472"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(02)00078-X"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008137720322"},{"key":"ref13","article-title":"Dcom and corba side by side, step by step, and layer by layer","author":"chung","year":"1997"},{"key":"ref14","article-title":"A distributed object model for the javatm system","author":"wollrath","year":"1996","journal-title":"Proc of the 2nd USENIX Conf on Object-Oriented Technologies (COOTS)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2002.1037720"},{"key":"ref16","article-title":"Enterprise javabeans technology","author":"thomas","year":"1998"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008009721495"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2009.116"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/WORDS.2002.1000053"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1067170.1067188"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/635508.605407"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1049\/ip-cdt:20045088","article-title":"System level performance analysis - the symta\/s approach","volume":"152","author":"henia","year":"2005","journal-title":"IEE Proc Computer and Digital Techniques"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-92188-2_9","article-title":"Multiple viewpoint contract-based specification and design","author":"benveniste","year":"2008","journal-title":"Formal Methods for Components and Objects"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1182807.1182810"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ISoLA.2006.65"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626609"},{"key":"ref7","author":"alan au","year":"2052","journal-title":"L4 User Manual School of Computer Science and Engineering"},{"key":"ref2","article-title":"Ecu software module development process changes in autosar","author":"tracey","year":"2007","journal-title":"ETAS GmbH Borsigstr 14 70469 Stuttgart Tech Rep"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5456925"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1201\/9781482295603","author":"labrosse","year":"2002","journal-title":"MicroC\/OS-II The Real-Time Kernel"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1028509.1028514"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/MWC.2004.1368893"},{"key":"ref21","article-title":"Trickle: a self-regulating algorithm for code propagation and maintenance in wireless sensor networks","author":"levis","year":"2004","journal-title":"NSDI’04 Proc of the 1st Symp on Networked Systems Design and Implementation"},{"key":"ref24","article-title":"Adaptive middleware for distributed sensor environments","volume":"4","author":"yu","year":"2003","journal-title":"IEEE Distributed Systems Online"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCSW.2002.1030829"},{"key":"ref26","year":"0"},{"key":"ref25","year":"0","journal-title":"AUTOSAR - Automotive Open System Architecture"}],"event":{"name":"2011 6th IEEE International Symposium on Industrial Embedded Systems (SIES)","location":"Vasteras, Sweden","start":{"date-parts":[[2011,6,15]]},"end":{"date-parts":[[2011,6,17]]}},"container-title":["2011 6th IEEE International Symposium on Industrial and Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5937480\/5953643\/05953651.pdf?arnumber=5953651","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,13]],"date-time":"2019-06-13T00:48:42Z","timestamp":1560386922000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5953651\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/sies.2011.5953651","relation":{},"subject":[],"published":{"date-parts":[[2011,6]]}}}