Im Rahmen des netidee Projektes CroG wurden Softwarewerkzeuge zur Programmierung von digitalen Bausteinen erstellt. Auf diesen Arbeiten baut nun das Forschungsprojekt auf, welches Edmund Humenberger und Clifford Wolf mit dem Wiener Chip Unternehmen TTTech durchführen werden. Inhalt des Forschungsprojektes ist es, Softwarewerkzeuge zu entwickeln, mit denen die Sicherheit von jenen Chips überprüft werden kann, die TTTech in Flugzeuge und Autos einbaut.