## +21 ## Misra Parallelism Safety-critical Guidelines for C++11, 17, Then C++20, 23 ANDREAS WEIS, MICHAEL WONG & ILYA BURYLOV 20 21 October 24-29 ## Staff Engineer at Woven Planet 📸 / 🎧 ComicSansMS ComicSansMS @DerGhulbus M Co-organizer of the Munich C++ User Group (MUC++) Member of WG21 (ISO C++) and MISRA C++ Working on the Runtime framework for the Arene platform at Woven Planet ## woven planet ## C++ software solutions for autonomous driving market in Intel Contribution into functional safety MISRA standard Contribution into WG21 in threading, vectorization and numerics. Contribution into SYCL

safety • Data Flow Analysis C++ Core Guidelines • Clang-Tidy • Domain-specific analysis tools: MISRA/AUTOSAR, Crazy (Qt), Unreal Header Tool (UE), ... |Certification stage|Development stage| |---|---| 34: Don't define a (C-style) variadic function MISRA MISRA C:2004, 16.1 - Functions shall not be defined with a variable number of arguments. MISRA C++:2008, 8-4-1 - Functions shall not be defined variadic function CLion MISRA: https://confluence.jetbrains.com/display/CLION/MISRA+checks+supported+in+CLion • MISRA C 2012 (63 / 166) MISRA C++ 2008 (64 / 211) SonarLint MISRA: https://rules.sonarsource

Lockheed-Martin & Stroustrup: Joint Strike Fighter Air Vehicle coding std. for C++, Rev C (upcoming) MISRA: MISRA C++ 202x Stroustrup & Sutter, eds.: C++ Core Guidelines Sutter: Exceptional C++ Sutter:

/c/660cfeda0851d78997c4d76751eed753/p37_3.jpg) Commercial • Coding standards: • Autosar, Misra C/C++, Cert C/C++ • Extra checkers • TÜV certified • Support ## contributors commits per month

there are others • What SYCL SC ends up doing with errors will be influenced by • Vulkan SC • MISRA • SYCL C++ • What SYCL SC ends up doing will likely be evolutionary, not revolutionary • Some

Internal Coding Standards: Generic C++ Core Guidelines: Generic Google C++ Style Guide: Generic MISRA 2023 C++17: Safety Critical AUTOSAR C++14: Safety Critical JSF++: Safety Critical SEI CERT C++

Transactional Memory Technical Specification • Editor: C++ SG1 Concurrency Technical Specification MISRA C++ and AUTOSAR Chair of Standards Council Canada TC22/SC32 Electrical and electronic components

Tang, I. Babuschkin, S. Balaji, S. Jain, W. Saunders, C. Hesse, A. N. Carr, J. Leike, J. Achiam, V. Misra, E. Morikawa, A. Radford, M. Knight, M. Brundage, M. Murati, K. Mayer, P. Welinder, B. McGrew, D.

Tang, I. Babuschkin, S. Balaji, S. Jain, W. Saunders, C. Hesse, A. N. Carr, J. Leike, J. Achiam, V. Misra, E. Morikawa, A. Radford, M. Knight, M. Brundage, M. Murati, K. Mayer, P. Welinder, B. McGrew, D.