{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T01:34:21Z","timestamp":1791250461309,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642166112","type":"print"},{"value":"9783642166129","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16612-9_24","type":"book-chapter","created":{"date-parts":[[2010,11,17]],"date-time":"2010-11-17T06:45:14Z","timestamp":1289976314000},"page":"315-329","source":"Crossref","is-referenced-by-count":15,"title":["Trace Recording for Embedded Systems: Lessons\u00a0Learned from Five Industrial Projects"],"prefix":"10.1007","author":[{"given":"Johan","family":"Kraft","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anders","family":"Wall","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Holger","family":"Kienle","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"\u00c5sberg, M., Kraft, J., Nolte, T., Kato, S.: A loadable task execution recorder for Linux. In: Proceedings of the 1st International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (July 2010)"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"\u00c5sberg, M., Nolte, T., Perez, C.M.O., Kato, S.: Execution Time Monitoring in Linux. In: Proceedings of the Work-In-Progress session of 14th IEEE International Conference on Emerging Techonologies and Factory (September 2009)","DOI":"10.1109\/ETFA.2009.5347240"},{"issue":"2\/3","key":"24_CR3","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF01094342","volume":"8","author":"N.C. Audsley","year":"1995","unstructured":"Audsley, N.C., Burns, A., Davis, R.I., Tindell, K.W., Wellings, A.J.: Fixed priority pre-emptive scheduling: An historical perspective. Real-Time Systems Journal\u00a08(2\/3), 173\u2013198 (1995)","journal-title":"Real-Time Systems Journal"},{"key":"24_CR4","unstructured":"Johansson, M., Saegebrecht, M.: Lastm\u00e4tning av CPU i realtidsoperativsystem. Master\u2019s thesis, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden (2007)"},{"issue":"1","key":"24_CR5","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C.L. Liu","year":"1973","unstructured":"Liu, C.L., Layland, J.W.: Scheduling Algorithms for Multiprogramming in hard-real-time environment. Journal of the Association for Computing Machinery\u00a020(1), 46\u201361 (1973)","journal-title":"Journal of the Association for Computing Machinery"},{"key":"24_CR6","unstructured":"Mughal, M.I., Javed, R.: Recording of Scheduling and Communication Events on Telecom Systems. Master\u2019s thesis, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden (2008)"},{"key":"24_CR7","unstructured":"Schutz, W.: On the Testability of Distributed Real-Time Systems. In: Proceedings of the 10th Symposium on Reliable Distributed Systems, Pisa, Italy. Institut f. Techn. Informatik, Technical University of Vienna, A-1040, Austria (1991)"},{"key":"24_CR8","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1109\/EMRTS.2000.854015","volume-title":"12th Euromicro Conference on Real-Time Systems (ECRTS 2000)","author":"H. Thane","year":"2000","unstructured":"Thane, H., Hansson, H.: Using Deterministic Replay for Debugging of Distributed Real-Time Systems. In: 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), pp. 265\u2013272. IEEE Computer Society, Los Alamitos (June 2000)"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16612-9_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:13:26Z","timestamp":1558293206000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16612-9_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642166112","9783642166129"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16612-9_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}