Szupermegbízható szoftverrendszerek

A fejlesztés arra irányul, hogy eleve lehetetlenné tegyék a szoftverhibákat a kritikus pontokon működő számítógéprendszerekben, például az egészségügyben, a védelmi feladatokban, az e-commerce műveleteiben vagy az űrkutatásban, és mindenhol, ahol az emberi élet a berendezések zavartalan működésétől függ. A problémák egy másik része abból fakad, hogy a kritikus rendszerek közül sok távirányítással vagy automatikusan működik. Például, ha egy óriási költséggel épített műhold vagy egy Marsra küldött robot elromlik, nem igen lehet odamenni és megjavítani. Az új kutatócéget a Szilícium-völgyben a Carnegie Mellon Egyetem kihelyezett campusaként hozzák létre.