Safety-critical systems are one of the software types that raise