Grundlage der Automatisierung einer modellbasierten Vorgehensweise ist die neuartige Systembeschreibung auf Basis einer (Programmier-)Sprache, die in einem (Sprach-)Compiler maschinell in die verschiedenen Analysemodelle, die zur Auslegung der verschiedenen Produkteigenschaften verwendet werden, maschinell übersetzt werden kann. Dies bedeutet, dass zunächst in einem ersten Schritt der Produktentwicklung sprachbasiert ein maschinell ausführbarer Produktentwicklungsprozess umgesetzt wird. Dabei kann auch der erforderliche Aufwand zur Validierung und Verifikation der Anforderungen maschinell durchgeführt werden, solange es gelingt, für jede Anforderung einen passenden formalisierten Test anzugeben. Dadurch kann prinzipiell der Großteil der in der Produktdokumentation geforderten Information automatisiert aus den erfüllten Testanforderungen heraus generiert werden. Für den darüber hinaus gehenden Informationsanteil der Produkt- und Zulassungsdokumentation ist es erforderlich, den ursprünglichen Fokus der reinen Systembetrachtung auf die Ebene der System-of-Systems Betrachtung zu erweitern, um den weiteren Kontext der Benutzung des Produkts in seinen zukünftigen Einsatzszenarien zu erfassen und abzubilden. Auch hier eröffnet die maschinelle Verarbeitung in einem zugehörigen Compiler die Möglichkeit, über ein komplettes Round-Trip-Engineering die Konsistenz und Vollständigkeit der Dokumentation mit den den Modellen über formale Prüfkriterien sicherzustellen und beweisbar zu machen.