{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T15:10:04Z","timestamp":1746198604476,"version":"3.40.4"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319061993"},{"type":"electronic","value":"9783319062006"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06200-6_2","type":"book-chapter","created":{"date-parts":[[2014,4,23]],"date-time":"2014-04-23T05:53:48Z","timestamp":1398232428000},"page":"16-30","source":"Crossref","is-referenced-by-count":3,"title":["A Compositional Monitoring Framework for Hard Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Andr\u00e9","family":"de Matos Pedro","sequence":"first","affiliation":[]},{"given":"David","family":"Pereira","sequence":"additional","affiliation":[]},{"given":"Lu\u00eds Miguel","family":"Pinho","sequence":"additional","affiliation":[]},{"given":"Jorge Sousa","family":"Pinto","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A.: Logics and Models of Real Time: A Survey. In: Real-Time: Theory in Practice, REX Workshop, pp. 74\u2013106 (1992)","DOI":"10.1007\/BFb0031988"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Alves, M.C.B., Drusinsky, D., Michael, J.B., Shing, M.: Formal validation and verification of space flight software using statechart-assertions and runtime execution monitoring. In: SOSE 2011, pp. 155\u2013160 (2011)","DOI":"10.1109\/SYSOSE.2011.5966590"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-540-78127-1_5","volume-title":"Pillars of Computer Science","author":"M. Auguston","year":"2008","unstructured":"Auguston, M., Trakhtenbrot, M.: Synthesis of Monitors for Real-Time Analysis of Reactive Systems. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Pillars of Computer Science. LNCS, vol.\u00a04800, pp. 72\u201386. Springer, Heidelberg (2008)"},{"issue":"4","key":"2_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2000799.2000800","volume":"20","author":"A. Bauer","year":"2011","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Runtime Verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol.\u00a020(4), 14:1\u201314:64 (2011)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Behrmann, G., David, A., Larsen, K.G., Hakansson, J., Petterson, P., Yi, W., Hendriks, M.: UPPAAL 4.0. In: QEST 2006, pp. 125\u2013126 (2006)","DOI":"10.1109\/QEST.2006.59"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Cotard, S., Faucou, S., Bechennec, J., Queudet, A., Trinquet, Y.: A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR. In: HPCC 2012, pp. 1508\u20131515 (2012)","DOI":"10.1109\/HPCC.2012.220"},{"key":"2_CR7","unstructured":"Pedro, A.M., Pereira, D., Pinho, L.M., Pinto, J.S.: Logic-based Schedulability Analysis for Compositional Hard Real-Time Embedded Systems. In: Proceedings of the 6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, CRTS 2013 (2013)"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/10722468_19","volume-title":"SPIN Model Checking and Software Verification","author":"D. Drusinsky","year":"2000","unstructured":"Drusinsky, D.: The Temporal Rover and the ATG Rover. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol.\u00a01885, pp. 323\u2013330. Springer, Heidelberg (2000)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Easwaran, A., Lee, I., Sokolsky, O., Vestal, S.: A Compositional Scheduling Framework for Digital Avionics Systems. In: RTCSA 2009, pp. 371\u2013380 (2009)","DOI":"10.1109\/RTCSA.2009.46"},{"issue":"8","key":"2_CR10","doi-asserted-by":"publisher","first-page":"1149","DOI":"10.1016\/j.ic.2007.01.009","volume":"205","author":"E. Fersman","year":"2007","unstructured":"Fersman, E., Krcal, P., Pettersson, P., Yi, W.: Task automata: Schedulability, decidability and undecidability. Inf. Comput.\u00a0205(8), 1149\u20131172 (2007)","journal-title":"Inf. Comput."},{"issue":"2","key":"2_CR11","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/j.tcs.2005.11.019","volume":"354","author":"E. Fersman","year":"2006","unstructured":"Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: Schedulability analysis of fixed-priority systems using timed automata. Theor. Comput. Sci.\u00a0354(2), 301\u2013317 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/3-540-46002-0_6","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E. Fersman","year":"2002","unstructured":"Fersman, E., Pettersson, P., Yi, W.: Timed Automata with Asynchronous Processes: Schedulability and Decidability. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 67\u201382. Springer, Heidelberg (2002)"},{"issue":"4","key":"2_CR13","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R. Koymans","year":"1990","unstructured":"Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Systems\u00a02(4), 255\u2013299 (1990)","journal-title":"Real-Time Systems"},{"issue":"1","key":"2_CR14","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/0304-3975(94)00151-8","volume":"138","author":"Y. Lakhneche","year":"1995","unstructured":"Lakhneche, Y., Hooman, J.: Metric temporal logic with durations. Theor. Comput. Sci.\u00a0138(1), 169\u2013199 (1995)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"2_CR15","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 a hard-real-time environment. J. ACM\u00a020(1), 46\u201361 (1973)","journal-title":"J. ACM"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-15297-9_13","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"D. Ni\u010dkovi\u0107","year":"2010","unstructured":"Ni\u010dkovi\u0107, D., Piterman, N.: From MTL to deterministic timed automata. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol.\u00a06246, pp. 152\u2013167. Springer, Heidelberg (2010)"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/978-3-642-16612-9_26","volume-title":"Runtime Verification","author":"L. Pike","year":"2010","unstructured":"Pike, L., Goodloe, A., Morisset, R., Niller, S.: Copilot: A hard real-time runtime monitor. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Ro\u015fu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol.\u00a06418, pp. 345\u2013359. Springer, Heidelberg (2010)"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-642-29860-8_23","volume-title":"Runtime Verification","author":"L. Pike","year":"2012","unstructured":"Pike, L., Niller, S., Wegmann, N.: Runtime verification for ultra-critical systems. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol.\u00a07186, pp. 310\u2013324. Springer, Heidelberg (2012)"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Pike, L., Wegmann, N., Niller, S., Goodloe, A.: Copilot: Monitoring Embedded Systems. Innovations in Systems and Software Engineering, 1\u201321 (2013)","DOI":"10.1007\/s11334-013-0223-x"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-642-35632-2_23","volume-title":"Runtime Verification","author":"S. Pinisetty","year":"2013","unstructured":"Pinisetty, S., Falcone, Y., J\u00e9ron, T., Marchand, H., Rollet, A., Nguena Timo, O.L.: Runtime enforcement of timed properties. In: Qadeer, S., Tasiran, S. (eds.) RV 2012. LNCS, vol.\u00a07687, pp. 229\u2013244. Springer, Heidelberg (2013)"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: SFCS 1977, pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Shin, I., Lee, I.: Compositional real-time scheduling framework with periodic model. ACM Trans. Embed. Comput. Syst.\u00a07(30), 30:1\u201330:39 (2008)","DOI":"10.1145\/1347375.1347383"},{"key":"2_CR23","unstructured":"The OCaml Development Team. Ocaml programming language (2013)"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Zhu, H., Dwyer, M.B., Goddard, S.: Predictable Runtime Monitoring. In: ECRTS 2009, pp. 173\u2013183 (2009)","DOI":"10.1109\/ECRTS.2009.23"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06200-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T14:32:21Z","timestamp":1746196341000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06200-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319061993","9783319062006"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06200-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}