Automotive Software Development with Generative Pre-trained Transformer (DevGPT)

Projektbeschreibung

Mit zunehmendem Umfang und Komplexit?t von Softwaresystemen, nimmt die Bedeutung von Programmierwerkzeugen zu. Die Softwareentwicklung wird auf allen Ebenen automatisiert. Das beinhaltet sowohl die Architektur als auch die Generierung von Quellcode. Eine m?glichst durchg?ngige Entwicklung soll dem Ideal ?Correct-by-Construction“ entsprechen. Künstliche Intelligenz (KI) wird den Automatisierungsgrad in Zukunft weiter steigern. Modellbasierte Verfahren werden h?ufig zur Beschreibung unterschiedlichster Artefakte verwendet, z. B. Anforderungen, Architektur, Implementierung und Test. Eine textuelle Darstellung ist neben einer grafischen Darstellung (z. B. UML, SysML, AADL, AUTOSAR, UMLsec) ebenfalls m?glich. Diese bildet die Grundlage weiterer Analyseverfahren.

Problemstellung

Besonders vielversprechend ist die Verwendung eines gro?en statistischen Sprachmodells auf Basis von Generative Pre-trained Transformer (GPT). Aktuell k?nnen solche KI-Werkzeuge jedoch nicht verifiziert werden, und die IT-Security des generierten Codes ist nicht gew?hrleistet. Dies ist aber unabdingbar für die Entwicklung sicherheitskritischer Anwendungen, wie dem automatisierten oder autonomen Fahren.

Entwicklungsziel

Es entsteht das Open-Source KI-Werkzeug für die automatisierte Softwareentwicklung ?DevGPT“. Dies bildet die Grundlage für den gemeinsamen Forschungsschwerpunkt ?Sichere Software DevGPT 1 durch Künstliche Intelligenz in der Softwareentwicklung“ und erm?glicht das Erforschen aus drei Blickwinkeln:

1. Generierung von strukturierten textuellen Artefakten (z. B. Architekturbeschreibungen, Security-Annotationen von Modellen und Quellcode) für die Softwareentwicklung,
2. Verifikation von generierten Softwarearchitekturen,
3. ?berprüfung der Umsetzung von Security-Anforderungen, Security ?berprüfung.

Projektpartner

Im Rahmen dieses Forschungsprojekts werden bestehende Forschungsstrukturen zwischen den Fachgebieten

• ?Sprach- und Textverstehen“ (Prof. Georges),
• ?Modelbased Systems Engineering und Software Engineering“ (Prof. Kugele) und
• ?Angewandter IT-Sicherheit“ (Prof. Hof)

weiter ausgebaut.