Szerintem ilyen nincs, egyszerűen azért mert annyira drága egy formális módon történő tervezés és audit hogy ezt senki nem fogja bevállalni. Látszik is hogy nagyjából diódákat meg hasonlókat auditáltak erre a szintre.
Egy EAL4-et esetleg meg lehetne ugrani, de ehhez is át kell alakítani az egész fejlesztési folyamatot.