31.01.2024, 10:00 Uhr
Universität Wien
Besprechungsraum 4.34
Währinger Str. 29
1090 Wien
Titel: „Extending Property Sets for the Automated Testing of
Real-Time Electronic Control Unit Requirements“
Kurzfassung:
Durch den Ansatz des softwaredefinierten Fahrzeugs wird die Fahrzeugsoftware zunehmend
komplexer, um die Kundenanforderungen an Infotainment, autonomes Fahren
und Konnektivität zu erfüllen. Daher müssen sich die Entwicklungsprozesse für Fahrzeugsoftware
weiterentwickeln, um den Industriestandards und der weltweiten Gesetzgebung
zu entsprechen sowie auf dem Markt wettbewerbsfähig zu bleiben.
Die Entwicklung hochwertiger Software für elektronische Steuergeräte (ECU) erfordert
ein starkes Engagement für Qualität, um Interoperabilität, Sicherheit und Zuverlässigkeit
während des gesamten Lebenszyklus des Steuergeräts zu gewährleisten. Dieses Engagement
muss während des gesamten Softwarelebenszyklus vorhanden sein, beginnend mit dem
Requirements Engineering. Fehler in dieser frühen Phase können sich auf den gesamten
Produktlebenszyklus auswirken. Trotz ihrer Bedeutung wird die Anforderungserhebung
und -analyse immer noch weitgehend manuell durchgeführt, was sie zeitaufwändig und
fehleranfällig macht.
In dieser Arbeit wird eine Pipeline vorgestellt, die einen Teil des Requirements Engineering
Prozesses automatisiert. Ziel ist es, die Effizienz und Qualität des Requirements
Engineering zu steigern. Dies soll erreicht werden, indem natürlichsprachliche Anforderungen,
die in einer Anforderungsspezifikation für ein Softwareprojekt enthalten sind,
automatisch auf Fehler untersucht werden. Die Pipeline prüft die Anforderungen auf
Eigenschaften wie Redundanz und Konsistenz, um sicherzustellen, dass sie fehlerfrei
sind. Aufbauend auf dieser Pipeline wird im Boschkontext eine weitere Eigenschaft zur
Unterstützung zum Prüfen von Anforderungen entwickelt. Dazu wird aufgezeigt, welche
Qualitätskriterien im Geschäftsbereich Powertrain-Solutions Electronic-Control (PS-EC)
verwendet werden und noch nicht durch die Pipeline unterstützt werden, um diese sinnvoll
zu ergänzen. Anhand eines Beispiels wird die Eigenschaftsprüfung implementiert
und die Funktionalität des Algorithmus demonstriert. Die Pipeline, die sich derzeit in
einem sehr frühen Prototypenstadium befindet, wird anschließend evaluiert, um ihre
Leistungsfähigkeit im Hinblick auf die Anforderungen von PS-EC zu beurteilen.