Kompetenzzentrum QUEST

Um die Anforderungen an ein sicherheitskritisches System zu erfüllen, muss es auch in unvorhergesehenen Situationen stets fehlertolerant sowie ausfallsicher funktionieren – oft in Echtzeit. Gleichzeitig bestehen die Systeme aus vielen einzelnen Komponenten und sind so komplex, dass sie in ihrer Gesamtheit kaum noch zu überblicken sind. Ihr modularer Aufbau fordert einen strukturierten Entwicklungsprozess, bei dem verschiedene Ingenieure und Forscherteams zusammenarbeiten und die Funktionalität des fertigen Systems beachten. Daher sind die Einhaltung hoher Qualitätsstandards und die Konformität mit branchenspezifischen Normen bei der Entwicklung solcher Systeme zentral.

Das Kompetenzzentrum QUEST bietet Methoden für die Entwicklung und Analyse von sicherheitskritischen Systemen an, z. B. die Anforderungsanalyse, Prozessoptimierung, modellbasierte Entwicklung, modellbasiertes Testen und die Verifikation. Damit die Qualitätssicherung so früh und so abstrakt wie möglich erfolgen kann, forscht QUEST schwerpunktmäßig an Methoden zur Formalisierung und Automatisierung der Qualitätssicherung.

Save the Date: 2. Workshop "Systemqualität und Smart Cities", 15.10.2013

Auch dieses Jahr laden die beiden FOKUS-Kompetenzzentren MOTION und QUEST zum Workshop „Systemqualität und Smart Cities“ in Berlin ein. Am 15. Oktober 2013 soll über die Systemqualität sicherheitskritischer Applikationen in der Stadt der Zukunft zu diskutiert werden. In der zweiten Auflage des Workshops werden wir uns daher Fragen zu sicherheitskritischen Applikationen widmen.

ATAMI 2013 – Advances in Testing: Academia meets Industry

Bereits zum vierten Mal in Folge veranstaltet das Kompetenzzentrum QUEST den ATAMI-Workshop. In diesem Jahr stehen testbezogene Themen für variantenreiche Systeme und die Wiederverwendung von Artefakten im Fokus der Veranstaltung.

Forscher vom Fraunhofer FOKUS erhält Best Paper Award

Auf dem 9th Symposium FORMS/ FORMAT 2012, das vom 11.-13. Dezember 2012 in Braunschweig stattfand, erhielten Dr. Stephan Weißleder vom Fraunhofer-Institut FOKUS, Thilo Girlich von Thales Transportation Systems und Dr. Jan Krause vom ifak Magdeburg den „best paper award“ für ihren Artikel „Automatic Traceability from Tests to Requirements by Requirement-Based Refinement“.