Systémy se smíšenou kritičností, ve kterých jsou kombinovány úlohy s různou úrovní požadavků na bezpečnost mohou využívat sdílený hardware, aby snížili cenu systému, to však komplikuje návrh systému a jeho verifikaci. ...