Zukünftige Mobilitätslösungen werden zunehmend auf eine Reihe komplexer sensorischer Komponenten zurückgreifen. Diese liefern einen kontinuierlichen Datenstrom, der erst nach Auswertung sicheres und zuverlässiges Agieren ermöglicht. Aus diesem Grund wird der Bedarf nach leistungsfähigen Multicore Rechnern in Steuergeräten dramatisch steigen.
Multi- und Manycore Steuergeräte bieten durch Effizienz und Skalierbarkeit eine Antwort auf diesen steigenden Bedarf an Rechenleistung. Jedoch bringt der Wandel hin zu einer kommunizierenden, auf viele Prozessoren verteilten, Software große Herausforderungen an die Softwareentwicklung mit sich. Es gilt Parallelisierungschancen zu erkennen und umzusetzen ohne die heutige Zuverlässigkeit und Vorhersagbarkeit zu gefährden.
Neben den Herausforderungen durch geänderte Hardwarearchitekturen, muss in der Softwareentwicklung auch die Komplexität hochautomatisierter Mobilitätslösungen gemeistert werden. Gerade in der Automobilindustrie steht die nächste Revolution in Form des selbstfahrenden Autos auf der Agenda – noch sind nicht alle Fragen geklärt wie solche Assistenzfunktionen hinreichend bezüglich ihrer funktionalen und nicht-funktionalen Eigenschaften abgesichert werden können.

ASSUME entwickelt eine durchgängige Entwicklungsmethodik um zukünftige Mobilitätslösungen zu bewältigen, die – bedingt durch komplexe Steuerungs-, Regelungs- und Sensoriksystem – den Einsatz von Muticore Rechner unverzichtbar machen. Das Problem wird sowohl konstruktiv als auch analytisch behandelt: Für die effiziente Entwicklung und Synthese eingebetteter Systeme stellt ASSUME neue Werkzeuge, Standards und Methoden zur Verfügung. Die Aspekte, die auf diese Weise nicht direkt beim Design adressiert werden können, behandelt ASSUME durch eine integrierte schlüssige statische Analysemethodik. Auf diese Weise kann die Abwesenheit von Defekten vermieden, Verletzungen erkannt und schlussendlich nachgewiesen werden. Neue Algorithmen werden in marktverfügbaren Werkzeugen verwertet. Standards zum Austausch und zur Zusammenarbeit von Werkzeugen sowie zur Formalisierung von Anforderungen wird die Zusammenarbeit der Marktteilnehmer erleichtern.

OFFIS wird hier die im Institut entwickelten Methoden zur Konsistenzanalyse von semi-formalisierten und formalisierten Anforderungem zur industriellen Reife bringen und zudem die Identifikation von Problemen, die durch Nebenläufigkeitsaspekte entstehen, unterstützen. Zur Unterstützung der Analysemethodik wird OFFIS dabei die Standardisierung der Analyseschnittstellen vorantreiben und hier auch Vorschläge für die Erweiterung des Interoperabilitätsstandards (IOS) mit entwerfen.

• Anforderungs-Konsistenzanalyse
• Nebenläufigkeitsanalysen
• Zeitanalysen
• Interoperabilitäts-Standard (IOS)

Partner

Das Konsortium besteht aus 39 Mitgliedern.