Unter anderen erhält die Firma Prove & Run einen embedded award für ein Betriebssystem, bei dem die funktionale Sicherheit formal bewiesen ist.
