{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T16:41:54Z","timestamp":1761324114055,"version":"3.37.3"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319655772"},{"type":"electronic","value":"9783319655789"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-65578-9_16","type":"book-chapter","created":{"date-parts":[[2017,8,16]],"date-time":"2017-08-16T00:33:22Z","timestamp":1502843602000},"page":"231-245","source":"Crossref","is-referenced-by-count":15,"title":["A Functional Safety OpenMP $$^{*}$$ for Critical Real-Time Embedded Systems"],"prefix":"10.1007","author":[{"given":"Sara","family":"Royuela","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alejandro","family":"Duran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria A.","family":"Serrano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eduardo","family":"Qui\u00f1ones","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xavier","family":"Martorell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,17]]},"reference":[{"key":"16_CR1","unstructured":"P-SOCRATES European Project: Parallel Software Framework for Time-Critical Many-core Systems. http:\/\/p-socrates.eu"},{"key":"16_CR2","unstructured":"OpenMP Application Programming Interface (2015). http:\/\/www.openmp.org\/wp-content\/uploads\/openmp-4.5.pdf"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Banerjee, U., Bliss, B., Ma, Z., Petersen, P.: A theory of data race detection. In: Parallel and Distributed Systems: Testing and Debugging (2006)","DOI":"10.1145\/1147403.1147416"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-642-21487-5_4","volume-title":"OpenMP in the Petascale Era","author":"V Basupalli","year":"2011","unstructured":"Basupalli, V., Yuki, T., Rajopadhye, S., Morvan, A., Derrien, S., Quinton, P., Wonnacott, D.: ompVerify: polyhedral analysis for the OpenMP programmer. In: Chapman, B.M., Gropp, W.D., Kumaran, K., M\u00fcller, M.S. (eds.) IWOMP 2011. LNCS, vol. 6665, pp. 37\u201353. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-21487-5_4"},{"key":"16_CR5","unstructured":"DO-178C: Software considerations in airborne systems and equipment certification (2011)"},{"issue":"4","key":"16_CR6","first-page":"393","volume":"35","author":"A Duran","year":"2007","unstructured":"Duran, A., Ferrer, R., Costa, J.J., Gonz\u00e0lez, M., Martorell, X., Ayguad\u00e9, E., Labarta, J.: A proposal for error handling in OpenMP. IJPP 35(4), 393\u2013416 (2007)","journal-title":"IJPP"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Eslamimehr, M., Palsberg, J.: Sherlock: scalable deadlock detection for concurrent programs. In: SIGSOFT (2014)","DOI":"10.1145\/2635868.2635918"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-319-24595-9_9","volume-title":"OpenMP: Heterogenous Execution and Data Movements","author":"X Fan","year":"2015","unstructured":"Fan, X., Mehrabi, M., Sinnen, O., Giacaman, N.: Exception handling with OpenMP in object-oriented languages. In: Terboven, C., Supinski, B.R., Reble, P., Chapman, B.M., M\u00fcller, M.S. (eds.) IWOMP 2015. LNCS, vol. 9342, pp. 115\u2013129. Springer, Cham (2015). doi: 10.1007\/978-3-319-24595-9_9"},{"key":"16_CR9","unstructured":"GNU: Link Time Optimization (2017). https:\/\/gcc.gnu.org\/onlinedocs\/gccint\/LTO.html"},{"key":"16_CR10","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., Supinski, B.R., Chapman, B.M. (eds.) IWOMP 2009. LNCS, vol. 5568, pp. 15\u201327. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-02303-3_2"},{"key":"16_CR11","unstructured":"Intel\u00ae Corporation: Interprocedural Optimization (2017). https:\/\/software.intel.com\/en-us\/node\/522666"},{"key":"16_CR12","unstructured":"International Electrotechnical Commission: IEC 61508, Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-Related Systems, 2.0nd edn. (2009)"},{"key":"16_CR13","unstructured":"International Organization for Standardization: ISO\/DIS 26262. Road Vehicles - Functional Safety (2009)"},{"key":"16_CR14","unstructured":"Kornecki, A.J.: Software Development Tools for Safety-Critical. Real-Time Systems Handbook. Office of Aviation Research and Development, FAA (2007)"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Kroening, D., Poetzl, D., Schrammel, P., Wachter, B.: Sound static deadlock analysis for C\/Pthreads. In: ASE (2016)","DOI":"10.1145\/2970276.2970309"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Lakshmanan, K., Kato, S., Rajkumar, R.: Scheduling parallel real-time tasks on multi-core processors. In: RTSS (2010)","DOI":"10.1109\/RTSS.2010.42"},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-642-13217-9_2","volume-title":"Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More","author":"C Liao","year":"2010","unstructured":"Liao, C., Quinlan, D.J., Panas, T., Supinski, B.R.: A ROSE-based OpenMP 3.0 research compiler supporting multiple runtime libraries. In: Sato, M., Hanawa, T., M\u00fcller, M.S., Chapman, B.M., Supinski, B.R. (eds.) IWOMP 2010. LNCS, vol. 6132, pp. 15\u201328. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-13217-9_2"},{"key":"16_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-540-68555-5_4","volume-title":"OpenMP Shared Memory Parallel Programming","author":"Y Lin","year":"2008","unstructured":"Lin, Y.: Static nonconcurrency analysis of OpenMP programs. In: Mueller, M.S., Chapman, B.M., Supinski, B.R., Malony, A.D., Voss, M. (eds.) IWOMP-2005. LNCS, vol. 4315, pp. 36\u201350. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-68555-5_4"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Ma, H., Diersen, S.R., Wang, L., Liao, C., Quinlan, D., Yang, Z.: Symbolic analysis of concurrency errors in OpenMP programs. In: ICPP (2013)","DOI":"10.1109\/ICPP.2013.63"},{"issue":"8","key":"16_CR20","doi-asserted-by":"crossref","first-page":"668","DOI":"10.1016\/j.micpro.2011.08.010","volume":"35","author":"A Marongiu","year":"2011","unstructured":"Marongiu, A., Burgio, P., Benini, L.: Supporting OpenMP on a multi-cluster embedded MPSoC. Microprocess. Microsyst. 35(8), 668\u2013682 (2011)","journal-title":"Microprocess. Microsyst."},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Melani, A., Serrano, M.A., Bertogna, M., Cerutti, I., Quinones, E., Buttazzo, G.: A static scheduling approach to enable safety-critical OpenMP applications. In: ASP-DAC (2017)","DOI":"10.1109\/ASPDAC.2017.7858399"},{"key":"16_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-319-11454-5_5","volume-title":"Using and Improving OpenMP for Devices, Tasks, and More","author":"JF M\u00fcnchhalfen","year":"2014","unstructured":"M\u00fcnchhalfen, J.F., Hilbrich, T., Protze, J., Terboven, C., M\u00fcller, M.S.: Classification of common errors in OpenMP applications. In: DeRose, L., Supinski, B.R., Olivier, S.L., Chapman, B.M., M\u00fcller, M.S. (eds.) IWOMP 2014. LNCS, vol. 8766, pp. 58\u201372. Springer, Cham (2014). doi: 10.1007\/978-3-319-11454-5_5"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Naik, M., Park, C.S., Sen, K., Gay, D.: Effective static deadlock detection. In: ICSE (2009)","DOI":"10.1109\/ICSE.2009.5070538"},{"issue":"1","key":"16_CR24","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1145\/130616.130623","volume":"1","author":"RH Netzer","year":"1992","unstructured":"Netzer, R.H., Miller, B.P.: What are race conditions? Some issues and formalizations. LOPLAS 1(1), 74\u201388 (1992)","journal-title":"LOPLAS"},{"key":"16_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-642-30961-8_3","volume-title":"OpenMP in a Heterogeneous World","author":"S Royuela","year":"2012","unstructured":"Royuela, S., Duran, A., Liao, C., Quinlan, D.J.: Auto-scoping for OpenMP tasks. In: Chapman, B.M., Massaioli, F., M\u00fcller, M.S., Rorro, M. (eds.) IWOMP 2012. LNCS, vol. 7312, pp. 29\u201343. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-30961-8_3"},{"key":"16_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/978-3-642-37658-0_16","volume-title":"Languages and Compilers for Parallel Computing","author":"S Royuela","year":"2013","unstructured":"Royuela, S., Duran, A., Martorell, X.: Compiler automatic discovery of OmpSs task dependencies. In: Kasahara, H., Kimura, K. (eds.) LCPC 2012. LNCS, vol. 7760, pp. 234\u2013248. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-37658-0_16"},{"key":"16_CR27","doi-asserted-by":"crossref","unstructured":"Royuela, S., Ferrer, R., Caballero, D., Martorell, X.: Compiler analysis for OpenMP tasks correctness. In: International Conference on Computing Frontiers (2015)","DOI":"10.1145\/2742854.2742882"},{"key":"16_CR28","doi-asserted-by":"crossref","unstructured":"Royuela, S., Martorell, X., Quinones, E., Pinho, L.M.: OpenMP tasking model for ADA: safety and correctness. In: AE (2017)","DOI":"10.1007\/978-3-319-60588-3_12"},{"key":"16_CR29","doi-asserted-by":"crossref","unstructured":"Serrano, M.A., Melani, A., Bertogna, M., Quinones, E.: Response-time analysis of DAG tasks under fixed priority scheduling with limited preemptions. In: DATE (2016)","DOI":"10.3850\/9783981537079_0150"},{"key":"16_CR30","doi-asserted-by":"crossref","unstructured":"Serrano, M.A., Melani, A., Vargas, R., Marongiu, A., Bertogna, M., Quinones, E.: Timing characterization of OpenMP4 tasking model. In: CASES (2015)","DOI":"10.1109\/CASES.2015.7324556"},{"key":"16_CR31","doi-asserted-by":"crossref","unstructured":"S\u00fc\u00df, M., Leopold, C.: Common mistakes in OpenMP and how to avoid them. In: OpenMP Shared Memory Parallel Programming (2008)","DOI":"10.1007\/978-3-540-68555-5_26"},{"key":"16_CR32","doi-asserted-by":"crossref","unstructured":"Vargas, R., Quinones, E., Marongiu, A.: OpenMP and timing predictability: a possible union? In: DATE (2015)","DOI":"10.7873\/DATE.2015.0778"},{"key":"16_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/978-3-642-13217-9_6","volume-title":"Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More","author":"M Wong","year":"2010","unstructured":"Wong, M., Klemm, M., Duran, A., Mattson, T., Haab, G., Supinski, B.R., Churbanov, A.: Towards an error model for OpenMP. In: Sato, M., Hanawa, T., M\u00fcller, M.S., Chapman, B.M., Supinski, B.R. (eds.) IWOMP 2010. LNCS, vol. 6132, pp. 70\u201382. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-13217-9_6"}],"container-title":["Lecture Notes in Computer Science","Scaling OpenMP for Exascale Performance and Portability"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-65578-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T08:43:34Z","timestamp":1570005814000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-65578-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319655772","9783319655789"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-65578-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}