{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,4]],"date-time":"2025-04-04T13:04:10Z","timestamp":1743771850975},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1109\/icis.2016.7550831","type":"proceedings-article","created":{"date-parts":[[2016,8,25]],"date-time":"2016-08-25T20:57:40Z","timestamp":1472158660000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Operator-data type pair based execution environments independent worst-case execution time measuring method"],"prefix":"10.1109","author":[{"given":"Yongjin","family":"Seo","sequence":"first","affiliation":[]},{"given":"Hyeon Soo","family":"Kim","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"article-title":"NASA\/GSFC's Flight Software Core Flight System","year":"2012","author":"mccomas","key":"ref4"},{"key":"ref3","article-title":"SAVOIR: Reusing specifications to improve the way we deliver avionics","author":"terraillon","year":"2012","journal-title":"ERTS2 2012 Embedded Real Time Software and Systems"},{"journal-title":"TMS320C64x\/C64x+ DSP CPU and Instruction Set Reference Guide","year":"0","key":"ref10"},{"key":"ref6","article-title":"Static timing analysis of realtime operating system code","author":"sandell","year":"2004","journal-title":"Proc of the 1st Int'l Symposium on Leveraging Applications of Formal Methods"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007905003094"},{"key":"ref7","article-title":"Using a worst-case execution-time tool for real-time verification of the DEBIE software","author":"holsti","year":"2000","journal-title":"Proceedings of DASIA 2000"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2006.313743"},{"year":"0","key":"ref9"},{"key":"ref1","article-title":"Autosar Compendium Part 1: Application & RTE","author":"scheid","year":"2015","journal-title":"CreateSpace Independent Publishing Platform"}],"event":{"name":"2016 IEEE\/ACIS 15th International Conference on Computer and Information Science (ICIS)","start":{"date-parts":[[2016,6,26]]},"location":"Okayama, Japan","end":{"date-parts":[[2016,6,29]]}},"container-title":["2016 IEEE\/ACIS 15th International Conference on Computer and Information Science (ICIS)"],"original-title":[],"link":[{"URL":"http:\/\/ieeexplore.ieee.org\/iel7\/7537873\/7550716\/07550831.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7537873\/7550716\/07550831.pdf?arnumber=7550831","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,9,30]],"date-time":"2016-09-30T01:17:01Z","timestamp":1475198221000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7550831\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/icis.2016.7550831","relation":{},"subject":[],"published":{"date-parts":[[2016,6]]}}}