{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T15:34:17Z","timestamp":1759073657132,"version":"3.37.3"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319985206"},{"type":"electronic","value":"9783319985213"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-98521-3_10","type":"book-chapter","created":{"date-parts":[[2018,8,28]],"date-time":"2018-08-28T01:37:01Z","timestamp":1535420221000},"page":"143-159","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Towards an OpenMP Specification for Critical Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Maria A.","family":"Serrano","sequence":"first","affiliation":[]},{"given":"Sara","family":"Royuela","sequence":"additional","affiliation":[]},{"given":"Eduardo","family":"Qui\u00f1ones","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,29]]},"reference":[{"unstructured":"P-SOCRATES European Project (Parallel Software Framework for Time-Critical Many-Core Systems). http:\/\/p-socrates.eu","key":"10_CR1"},{"unstructured":"ARINC Specification 653: Avionics application software standard standard interface, part 1 and 4 (2012)","key":"10_CR2"},{"unstructured":"OpenMP Application Programming Interface (2015). http:\/\/www.openmp.org\/wp-content\/uploads\/openmp-4.5.pdf","key":"10_CR3"},{"unstructured":"OpenMP Technical Report 6: Version 5.0 Preview 2 (2017). http:\/\/www.openmp.org\/wp-content\/uploads\/openmp-TR6.pdf","key":"10_CR4"},{"unstructured":"AURIX\u2122Safety Joins Performance (2018). https:\/\/www.infineon.com\/cms\/en\/product\/microcontroller\/32-bit-tricore-microcontroller\/aurix-safety-joins-performance\/","key":"10_CR5"},{"unstructured":"Barcelona Supercomputing Center: Extrae release 3.5.2. https:\/\/tools.bsc.es\/extrae","key":"10_CR6"},{"unstructured":"Barcelona Supercomputing Center: Paraver release 4.7.2. https:\/\/tools.bsc.es\/paraver","key":"10_CR7"},{"unstructured":"Barcelona Supercomputing Center: OmpSs 1.0 specification (2016). https:\/\/pm.bsc.es\/ompss-docs\/specs\/","key":"10_CR8"},{"doi-asserted-by":"crossref","unstructured":"Baruah, S.: Techniques for multiprocessor global schedulability analysis. In: Proceedings of the 28th IEEE International Real-Time Systems Symposium (RTSS) (2007)","key":"10_CR9","DOI":"10.1109\/RTSS.2007.35"},{"doi-asserted-by":"crossref","unstructured":"Baruah, S.: The federated scheduling of constrained-deadline sporadic DAG task systems. In: Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE) (2015)","key":"10_CR10","DOI":"10.7873\/DATE.2015.0200"},{"key":"10_CR11","series-title":"Embedded Systems","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08696-5","volume-title":"Multiprocessor Scheduling for Real-Time Systems","author":"S Baruah","year":"2015","unstructured":"Baruah, S., Bertogna, M., Buttazzo, G.: Multiprocessor Scheduling for Real-Time Systems. ES. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-08696-5"},{"doi-asserted-by":"crossref","unstructured":"Baruah, S., Bonifaci, V., Marchetti-Spaccamela, A.: The global EDF scheduling of systems of conditional sporadic dag tasks. In: Proceedings of the 27th IEEE Euromicro Conference on Real-Time Systems (ECRTS) (2015)","key":"10_CR12","DOI":"10.1109\/ECRTS.2015.27"},{"doi-asserted-by":"crossref","unstructured":"Baruah, S., Bonifaci, V., Marchetti-Spaccamela, A., Stougie, L., Wiese, A.: A generalized parallel task model for recurrent real-time processes. In: Proceedings of the 38th IEEE Real-Time Systems Symposium (RTSS) (2012)","key":"10_CR13","DOI":"10.1109\/RTSS.2012.59"},{"doi-asserted-by":"crossref","unstructured":"Baruah, S.K., Chakraborty, S.: Schedulability analysis of non-preemptive recurring real-time tasks. In: Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS) (2006)","key":"10_CR14","DOI":"10.1109\/IPDPS.2006.1639406"},{"unstructured":"Bastoni, A., Brandenburg, B., Anderson, J.: Cache-related preemption and migration delays: empirical approximation and impact on schedulability. In: Proceedings of OSPERT (2010)","key":"10_CR15"},{"key":"10_CR16","series-title":"Real-Time Systems Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-0676-1","volume-title":"Hard Real-time Computing Systems: Predictable Scheduling Algorithms and Applications","author":"GC Buttazzo","year":"2011","unstructured":"Buttazzo, G.C.: Hard Real-time Computing Systems: Predictable Scheduling Algorithms and Applications. Real-Time Systems Series, vol. 24. Springer Science & Business Media, Boston (2011). https:\/\/doi.org\/10.1007\/978-1-4614-0676-1"},{"issue":"1","key":"10_CR17","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/TII.2012.2188805","volume":"9","author":"GC Buttazzo","year":"2013","unstructured":"Buttazzo, G.C., Bertogna, M., Yao, G.: Limited preemptive scheduling for real-time systems. A survey. IEEE Trans. Ind. Inform. 9(1), 3\u201315 (2013)","journal-title":"IEEE Trans. Ind. Inform."},{"doi-asserted-by":"crossref","unstructured":"De Dinechin, B.D., Van Amstel, D., Poulhi\u00e8s, M., Lager, G.: Time-critical computing on a single-chip massively parallel processor. In: Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE) (2014)","key":"10_CR18","DOI":"10.7873\/DATE.2014.110"},{"doi-asserted-by":"crossref","unstructured":"Fonseca, J., Nelissen, G., Nelis, V., Pinho, L.M.: Response time analysis of sporadic DAG tasks under partitioned scheduling. In: Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems (SIES) (2016)","key":"10_CR19","DOI":"10.1109\/SIES.2016.7509443"},{"unstructured":"AUTOSAR GbR: AUTomotive Open System ARchitecture (AUTOSAR), Standard v4.1 (2014). http:\/\/www.autosar.org","key":"10_CR20"},{"key":"10_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-642-02303-3_2","volume-title":"Evolving OpenMP in an Age of Extreme Parallelism","author":"T Hanawa","year":"2009","unstructured":"Hanawa, T., Sato, M., Lee, J., Imada, T., Kimura, H., Boku, T.: Evaluation of multicore processors for embedded systems by parallel benchmark program using OpenMP. In: M\u00fcller, M.S., de Supinski, B.R., Chapman, B.M. (eds.) IWOMP 2009. LNCS, vol. 5568, pp. 15\u201327. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02303-3_2"},{"doi-asserted-by":"crossref","unstructured":"Lakshmanan, K., Kato, S., Rajkumar, R.: Scheduling parallel real-time tasks on multi-core processors. In: Proceedings of the IEEE 31st Real-Time Systems Symposium (RTSS) (2010)","key":"10_CR22","DOI":"10.1109\/RTSS.2010.42"},{"doi-asserted-by":"crossref","unstructured":"Melani, A., Bertogna, M., Bonifaci, V., Marchetti-Spaccamela, A., Buttazzo, G.C.: Response-time analysis of conditional DAG tasks in multiprocessor systems. In: Proceedings of the 27th IEEE Euromicro Conference on Real-Time Systems (ECRTS) (2015)","key":"10_CR23","DOI":"10.1109\/ECRTS.2015.26"},{"doi-asserted-by":"crossref","unstructured":"Melani, A., Serrano, M.A., Bertogna, M., Cerutti, I., Qui\u00f1ones, E., Buttazzo, G.: A static scheduling approach to enable safety-critical OpenMP applications. In: Proceedings of the 22nd IEEE Asia and South Pacific Design Automation Conference (ASP-DAC) (2017)","key":"10_CR24","DOI":"10.1109\/ASPDAC.2017.7858399"},{"unstructured":"Mok, A.K.: Task management techniques for enforcing ED scheduling on periodic task set. In: Proceedings of the 5th IEEE Workshop on Real-Time Software and Operating Systems (1988)","key":"10_CR25"},{"doi-asserted-by":"crossref","unstructured":"Pinho, L.M., Qui\u00f1ones, E., Royuela, S.: Combining the tasklet model with OpenMP. In: 19th International Real-Time Ada Workshop (2018)","key":"10_CR26","DOI":"10.1145\/3241950.3241952"},{"doi-asserted-by":"crossref","unstructured":"Pop, A., Cohen, A.: A stream-computing extension to OpenMP. In: Proceedings of the 6th International Conference on High Performance and Embedded Architectures and Compilers, pp. 5\u201314. ACM (2011)","key":"10_CR27","DOI":"10.1145\/1944862.1944867"},{"unstructured":"GNU Project: GNU libgomp, November 2015. https:\/\/gcc.gnu.org\/projects\/gomp\/","key":"10_CR28"},{"key":"10_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/978-3-319-65578-9_16","volume-title":"Scaling OpenMP for Exascale Performance and Portability","author":"S Royuela","year":"2017","unstructured":"Royuela, S., Duran, A., Serrano, M.A., Qui\u00f1ones, E., Martorell, X.: A functional safety OpenMP$$^{*}$$ for critical real-time embedded systems. In: de Supinski, B.R., Olivier, S.L., Terboven, C., Chapman, B.M., M\u00fcller, M.S. (eds.) IWOMP 2017. LNCS, vol. 10468, pp. 231\u2013245. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-65578-9_16"},{"key":"10_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-319-60588-3_12","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2017","author":"S Royuela","year":"2017","unstructured":"Royuela, S., Martorell, X., Qui\u00f1ones, E., Pinho, L.M.: OpenMP tasking model for ada: safety and correctness. In: Blieberger, J., Bader, M. (eds.) Ada-Europe 2017. LNCS, vol. 10300, pp. 184\u2013200. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-60588-3_12"},{"key":"10_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-319-92432-8_9","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2018","author":"S Royuela","year":"2018","unstructured":"Royuela, S., Martorell, X., Qui\u00f1ones, E., Pinho, L.M.: Safe parallelism: compiler analysis techniques for ada and OpenMP. In: Casimiro, A., Ferreira, P.M. (eds.) Ada-Europe 2018. LNCS, vol. 10873, pp. 141\u2013157. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-92432-8_9"},{"doi-asserted-by":"crossref","unstructured":"Royuela, S., Pinho, L.M., Qui\u00f1ones, E.: Converging safety and high-performance domains: integrating OpenMP into ada. In: Design, Automation Test in Europe Conference Exhibition (2018)","key":"10_CR32","DOI":"10.23919\/DATE.2018.8342162"},{"doi-asserted-by":"crossref","unstructured":"Serrano, M.A., Melani, A., Bertogna, M., Qui\u00f1ones, E.: Response-time analysis of DAG tasks under fixed priority scheduling with limited preemptions. In: Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE) (2016)","key":"10_CR33","DOI":"10.3850\/9783981537079_0150"},{"doi-asserted-by":"crossref","unstructured":"Serrano, M.A., Melani, A., Kehr, S., Bertogna, M., Quinones, E.: An analysis of lazy and eager limited preemption approaches under DAG-based global fixed priority scheduling. In: Proceedings of the International Symposium on Real-Time Distributed Computing (ISORC) (2017)","key":"10_CR34","DOI":"10.1109\/ISORC.2017.9"},{"doi-asserted-by":"crossref","unstructured":"Serrano, M.A., Melani, A., Vargas, R., Marongiu, A., Bertogna, M., Qui\u00f1ones, E.: Timing characterization of OpenMP4 tasking model. In: Proceedings of the IEEE International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES) (2015)","key":"10_CR35","DOI":"10.1109\/CASES.2015.7324556"},{"doi-asserted-by":"crossref","unstructured":"Serrano, M.A., Qui\u00f1ones, E.: Response-time analysis of DAG tasks supporting heterogeneous computing. In: Proceedings of the Annual Design Automation Conference (DAC) (2018)","key":"10_CR36","DOI":"10.1145\/3195970.3196104"},{"key":"10_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-642-40698-0_9","volume-title":"OpenMP in the Era of Low Power Devices and Accelerators","author":"E Stotzer","year":"2013","unstructured":"Stotzer, E., et al.: OpenMP on the low-power TI keystone II ARM\/DSP system-on-chip. In: Rendell, A.P., Chapman, B.M., M\u00fcller, M.S. (eds.) IWOMP 2013. LNCS, vol. 8122, pp. 114\u2013127. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40698-0_9"},{"doi-asserted-by":"crossref","unstructured":"Sun, J., Guan, N., Wang, Y., He, Q., Yi, W.: Scheduling and analysis of real-time OpenMP task systems with tied tasks. In: Proceedings of the IEEE Real-Time Systems Symposium (RTSS) (2017)","key":"10_CR38","DOI":"10.1109\/RTSS.2017.00016"},{"issue":"9","key":"10_CR39","doi-asserted-by":"publisher","first-page":"2150","DOI":"10.1109\/TPDS.2018.2814602","volume":"29","author":"G Tagliavini","year":"2018","unstructured":"Tagliavini, G., Cesarini, D., Marongiu, A.: Unleashing fine-grained parallelism on embedded many-core accelerators with lightweight OpenMP tasking. IEEE Trans. Parallel Distrib. Syst. 29(9), 2150\u20132163 (2018)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"doi-asserted-by":"crossref","unstructured":"Vargas, R., Qui\u00f1ones, E., Marongiu, A.: OpenMP and timing predictability: a possible union? In: Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE) (2015)","key":"10_CR40","DOI":"10.7873\/DATE.2015.0778"},{"doi-asserted-by":"crossref","unstructured":"Vargas, R.E., Royuela, S., Serrano, M.A., Martorell, X., Qui\u00f1ones, E.: A lightweight OpenMP4 run-time for embedded systems. In: Proceedings of the IEEE 21st Asia and South Pacific Design Automation Conference (ASP-DAC) (2016)","key":"10_CR41","DOI":"10.1109\/ASPDAC.2016.7427987"}],"container-title":["Lecture Notes in Computer Science","Evolving OpenMP for Evolving Architectures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-98521-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,22]],"date-time":"2019-10-22T21:38:13Z","timestamp":1571780293000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-98521-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319985206","9783319985213"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-98521-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}