INTEGRITY Multivisor safely and securely operates standard-goal visitor working systems together with essential applications, due to the INTEGRITY partitioning microkernel. That may help you avoid frequent programming faults, the Green Hills Compilers offer automated enforcement of cleanse coding conventions. You could enforce market criteria like the MISRA 2012 and 2004 https://kingswoodhomes.uk.com/news/kingswood-launches-brand-new-phase-of-homes-in-partnership-with-together-homes/