Kompetenzbereiche

Fraunhofer-Institut für Experimentelles Software Engineering IESE

Embedded Systems Quality Assurance

Zur Sicherstellung von Produktqualität wird ein erheblicher Teil der Entwicklungskosten in Qualitätssicherung investiert. Gerade für komplexe Systeme werden effiziente Methoden benötigt, die hohe Qualitätsanforderungen erreichbar machen und gleichzeitig die Kosten der Qualitätssicherung senken. Die Abteilung ESQ bietet ihren Kunden kosteneffiziente Methoden, die es ermöglichen, die Systemqualität effektiv und nachweisbar zu bestimmen.

Schwerpunktthemen

Safety Engineering

Das Fraunhofer IESE zählt zu den führenden Einrichtungen im Bereich der funktionalen Sicherheit. Unser Leistungsspektrum reicht von der Einführung und Umsetzung aller Safety-Aktivitäten über die Gefahrenund Risikoanalyse bis zum Sicherheitsnachweis. Gerade für die Entwicklung software-intensiver Systeme kommt hierbei der Effizienz der Verfahren eine besondere Bedeutung zu. Durch den Einsatz innovativer und stark automatisierter Verfahren unterstützen die Safety-Experten des IESE ihre Kunden dabei, auch hochkomplexe sicherheitskritische Systeme effizient entwickeln zu können.

Modellbasiertes Testen

Wesentliche Schlüssel zur Kostenreduzierung liegen in der frühen Durchführung und in der Automatisierung durch Tests. Die Testexperten des IESE unterstützen ihre Kunden bei der Durchführung modellbasierter Tests, die das System bereits in frühen Entwicklungsphasen auf Basis automatisch generierter Testfälle prüfen. So werden nicht nur Kosten und Zeit gespart, sondern es wird auch möglich, die Qualität des Systems zu quantifizieren und dadurch belastbare Qualitätsaussagen zu treffen.

Statische Analysen

Effiziente Qualitätssicherung zeichnet sich dadurch aus, dass Produkte nicht nur getestet, sondern auch durch statische Analysen geprüft werden. Dies bedeutet zum einen manuelle Inspektionen, zum anderen aber auch automatische Prüfungen von Quellcode oder Modellen. Die Abteilung ESQ entwickelt innovative, kosteneffiziente Verfahren und unterstützt ihre Kunden bei der effektiven Durchführung statischer Analysen.