{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:39:12Z","timestamp":1729676352558,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1109\/rtcsa.2014.6910519","type":"proceedings-article","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T16:39:52Z","timestamp":1412095192000},"page":"1-10","source":"Crossref","is-referenced-by-count":2,"title":["Impact analysis for timing requirements on real-time systems"],"prefix":"10.1109","author":[{"given":"Tayfun","family":"Gezgin","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Henkler","sequence":"additional","affiliation":[]},{"given":"Ingo","family":"Stierand","sequence":"additional","affiliation":[]},{"given":"Achim","family":"Rettberg","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.2298\/CSIS120614011M"},{"key":"17","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","article-title":"Uppaal in a nutshell","volume":"1","author":"larsen","year":"1997","journal-title":"International Journal on Software Tools for Technology Transfer STTT"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-008-9050-9"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:20045088"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1997.641265"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-013-9112-7"},{"key":"14","article-title":"A refinement checking technique for contract-based architecture designs","author":"gezgin","year":"2011","journal-title":"Fourth Int Workshop on Model Based Architecting and Construction of Embedded Systems"},{"key":"11","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/978-3-540-30206-3_15","article-title":"Modeling and verification of a fault-tolerant real-time startup protocol using calendar automata","volume":"3253","author":"dutertre","year":"2004","journal-title":"Formal Techniques Modelling and Analysis of Timed and Fault-Tolerant Systems Ser Lecture Notes in Computer Science"},{"key":"12","article-title":"Timed automata with asynchronous processes: Schedulability and decidability","author":"fersman","year":"2002","journal-title":"proceedings of TACAS"},{"key":"21","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1145\/1967021.1967029","article-title":"Carts: A tool for compositional analysis of real-time systems","volume":"8","author":"phan","year":"2011","journal-title":"SIGBED Rev"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2014.6945476"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ICFEM.1997.630427"},{"key":"23","first-page":"374","article-title":"Model-based refinement of requirement specification: A comparison of two v&v approaches","volume":"4","author":"pontes","year":"2010","journal-title":"ABCM Symposium Series in Mechatronics"},{"journal-title":"SPEEDS Meta-model Behavioural Semantics-Complement Do D 2 1 c","year":"2007","key":"24"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/1879021.1879039"},{"key":"26","article-title":"A pattern-based requirement specification language: Mapping automotive specific timing requirements","author":"reinkemeier","year":"2011","journal-title":"Software Engineering 2011 Ser LNI GI"},{"key":"27","article-title":"Parametric schedulability analysis of fixed priority real-time distributed systems","author":"sun","year":"2013","journal-title":"CoRR"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"29","first-page":"416","article-title":"Embedded software in network processors-models and algorithms","author":"thiele","year":"2001","journal-title":"Proc First Int Workshop Embedded Software EMSOFT'01"},{"key":"3","article-title":"Timing analysis of real-time embedded systems using model checking","author":"anwikar","year":"2010","journal-title":"Proceedings of the 18th International Conference on Real-Time and Network Systems"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"10","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/3-540-52148-8_17","article-title":"Timing assumptions and verification of finite-state concurrent systems","volume":"407","author":"dill","year":"1990","journal-title":"Automatic Verification Methods for Finite State Systems Ser Lecture Notes in Computer Science"},{"key":"1","first-page":"263","article-title":"Model checking via reachability testing for timed automata","volume":"1384","author":"aceto","year":"1998","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems Ser Lecture Notes in Computer Science"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1016\/0165-6074(94)90080-9"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.36"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2009.5347060"},{"key":"5","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","volume":"5382","author":"benveniste","year":"2008","journal-title":"Formal Methods for Components and Objects"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2005.319"},{"key":"4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-27755-2_3","article-title":"Timed automata: Semantics, algorithms and tools","volume":"3098","author":"bengtsson","year":"2004","journal-title":"Lectures on Concurrency and Petri Nets Ser LNCS"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1201\/9781420067859-c4"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763167"}],"event":{"name":"2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)","start":{"date-parts":[[2014,8,20]]},"location":"Chongqing, China","end":{"date-parts":[[2014,8,22]]}},"container-title":["2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6900045\/6910490\/06910519.pdf?arnumber=6910519","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T17:31:47Z","timestamp":1498152707000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6910519\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/rtcsa.2014.6910519","relation":{},"subject":[],"published":{"date-parts":[[2014,8]]}}}