Im Rahmen des XIVT-Projekts (Aussprache "shift") werden eine Methode und eine Werkzeugkette zum Testen von hochgradig konfigurierbaren, variantenreichen Embedded-Systemen in den Bereichen Automotive, Bahn, Industrieproduktion und Telekommunikation definiert. Dies ermöglicht eine hocheffektive, kostengünstige Qualitätssicherung, die den Wechsel zu autonomen, flexiblen und adaptiven Anwendungen in diesen Bereichen ermöglicht. Grundlage der Methode ist eine wissensbasierte Analyse von in natürlicher Sprache formulierten Anforderungen und eine modellbasierte Testgenerierung auf Produktebene.