{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T04:09:39Z","timestamp":1743134979303,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642298592"},{"type":"electronic","value":"9783642298608"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29860-8_3","type":"book-chapter","created":{"date-parts":[[2012,5,11]],"date-time":"2012-05-11T13:38:03Z","timestamp":1336743483000},"page":"19-33","source":"Crossref","is-referenced-by-count":2,"title":["Runtime Monitoring of Time-Sensitive Systems"],"prefix":"10.1007","author":[{"given":"Borzoo","family":"Bonakdarpour","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Fischmeister","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-642-21437-0_9","volume-title":"FM 2011: Formal Methods","author":"B. Bonakdarpour","year":"2011","unstructured":"Bonakdarpour, B., Navabpour, S., Fischmeister, S.: Sampling-Based Runtime Verification. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol.\u00a06664, pp. 88\u2013102. Springer, Heidelberg (2011)"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1145\/255471.255563","volume-title":"Proceedings of the Conference on TRI-ADA","author":"B. Carr\u00e9","year":"1990","unstructured":"Carr\u00e9, B., Garnsworthy, J.: SPARK\u2014an annotated Ada subset for safety-critical programming. In: Proceedings of the Conference on TRI-ADA, pp. 392\u2013402. ACM, New York (1990)"},{"key":"3_CR3","unstructured":"Charette, R.N.: This Car Runs on Code. IEEE Spectrum (2009)"},{"key":"3_CR4","unstructured":"de Kock, H.: small-ffs (September 2009), http:\/\/code.google.com\/p\/small-ffs"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/289524.289525","volume-title":"Proceedings of the 1998 Annual ACM SIGAda International Conference on Ada (SIGAda)","author":"B. Dobbing","year":"1998","unstructured":"Dobbing, B., Burns, A.: The Ravenscar Tasking Profile for High Integrity Real-time Programs. In: Proceedings of the 1998 Annual ACM SIGAda International Conference on Ada (SIGAda), pp. 1\u20136. ACM, New York (1998)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Fischmeister, S., Ba, Y.: Sampling-based Program Execution Monitoring. In: ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), pp. 133\u2013142 (2010)","DOI":"10.1145\/1755888.1755908"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Fischmeister, S., Lam, P.: On Time-Aware Instrumentation of Programs. In: Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), San Fransisco, United States, pp. 305\u2013314 (April 2009)","DOI":"10.1109\/RTAS.2009.26"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Fischmeister, S., Lam, P.: Time-aware Instrumentation of Embedded Software. IEEE Transactions on Industrial Informatics (2010)","DOI":"10.1109\/TII.2010.2068304"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Guthaus, M.R., Ringenberg, J.S., Ernst, D., Austin, T.M., Mudge, T., Brown, R.B.: MiBench: A free, commercially representative embedded benchmark suite. In: IEEE International Workshop on In Workload Characterization (WWC), pp. 3\u201314 (2001)","DOI":"10.1109\/WWC.2001.990739"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/BFb0024530","volume-title":"Operating Systems of the 90s and Beyond","author":"H. Kopetz","year":"1991","unstructured":"Kopetz, H.: Event-Triggered Versus Time-Triggered Real-Time Systems. In: Karshmer, A.I., Nehmer, J. (eds.) Dagstuhl Seminar 1991. LNCS, vol.\u00a0563, pp. 87\u2013101. Springer, Heidelberg (1991)"},{"key":"3_CR11","first-page":"277","volume-title":"Proc. of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)","author":"M. Li","year":"2006","unstructured":"Li, M., Achteren, T.V., Brockmeyer, E., Catthoor, F.: Statistical Performance Analysis and Estimation of Coarse Grain Parallel Multimedia Processing System. In: Proc. of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 277\u2013288. IEEE Computer Society, Washington, DC (2006)"},{"key":"3_CR12","volume-title":"Misra-C: 2004","author":"G. McCall","year":"2004","unstructured":"McCall, G.: Misra-C: 2004. MIRA Limited, Warwickshire (2004)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Mok, A.: Firm Real-time Systems. ACM Comput. Surv. 28 (December 1996)","DOI":"10.1145\/242224.242465"},{"key":"3_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/b102247","volume-title":"Imprecise and Approximate Computation","author":"S. Natarajan","year":"1995","unstructured":"Natarajan, S.: Imprecise and Approximate Computation. Kluwer Academic Publishers, Norwell (1995)"},{"key":"3_CR15","series-title":"LNCS","first-page":"208","volume-title":"RV 2011","author":"S. Navabpour","year":"2012","unstructured":"Navabpour, S., Wu, C.W.W., Bonakdarpour, B., Fischmeister, S.: Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol.\u00a07186, pp. 208\u2013222. Springer, Heidelberg (2012)"},{"key":"3_CR16","unstructured":"Radio Technical Commission for Aeronautics (RTCA). Software Considerations in Airborne Systems and Equipment Certification (December 1992)"},{"issue":"3","key":"3_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1347375.1347389","volume":"7","author":"R. Wilhelm","year":"2008","unstructured":"Wilhelm, R., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand, C., Heckmann, R., Mitra, T., Mueller, F., Puaut, I., Puschner, P., Staschulat, J., Stenstr\u00f6m, P.: The Worst-case Execution-time Problem\u2014Overview of Methods and Survey of Tools. Trans. on Embedded Computing Sys.\u00a07(3), 1\u201353 (2008)","journal-title":"Trans. on Embedded Computing Sys."}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29860-8_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T20:46:07Z","timestamp":1743108367000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29860-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642298592","9783642298608"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29860-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}