Description: Das Projekt "Teilvorhaben: Modellbasierte Teststrategien" wird vom Umweltbundesamt gefördert und von Universität Erlangen-Nürnberg, Technische Fakultät, Department Informatik - Informatik 11 (Software Engineering) durchgeführt. Ziel des SMARTEST-Verbundvorhabens ist, zukünftig möglichst viele Schwachstellen in nuklearen Leittechniksystemen über intelligente Testverfahren aufzeigen zu können. Indem diese in der Folge behoben werden können, kann die Angriffsfläche für IT-basierte Angriffe erheblich verkleinert werden. Primär soll das Risiko kritischer Störfälle dadurch auch vor aktuellen Bedrohungen durch spezialisierte IT-Angriffe reduziert werden. Arbeitsziele von FAU-SWE: Hierzu sind anhand vorzudefinierender Angriffsszenarien geeignete Modellnotationen auszuwählen, die diese Szenarien auf einer adäquaten Abstraktionsebene zu erfassen erlauben. Anschließend sind auf der Basis der erstellten Modelle pro Angriffsszenario Testziele zu ermitteln und zu formalisieren, deren Erfüllung die erfolgreiche Erkennung vorliegender IT-Schwachstellen zu belegen erlauben. Bei Nichterfüllung sind Metriken zur Quantifizierung des bereits erreichten Erfüllungsgrads zu identifizieren, die den dahin erzielten Testfortschritt signifikant zu erfassen erlauben. Mittels der dadurch messbaren Test-Ende-Kriterien soll eine optimale Testdatengenerierung automatisch gesteuert erfolgen. Das Vorhaben erfolgt in Kooperation mit drei weiteren Partnern. Die gesamte Arbeitsplanung sieht folgende Arbeitspakete vor: AP 1 Erstellung von Angriffsmodellen AP 2 Definition modellbasierter Testansätze AP 2.1 Definition modellbasierter Testkriterien AP 2.2 Bestimmung zugehöriger Testüberdeckungsmaße AP 2.3 Automatische Generierung von Angriffssequenzen AP 3 Aufbau und Bereitstellung einer Umgebung zur Simulation von Angriffen AP 4 Beispielhafte Anwendung des entwickelten Verfahrens Im Rahmen dieser Arbeitsplanung wird sich der Antragsteller an der Bearbeitung der Arbeitspakete AP 1, AP 2 und AP 4 beteiligen, wobei der Schwerpunkt seiner Tätigkeit auf Arbeitspaket AP 2 liegt.
Types:
SupportProgram
Origin: /Bund/UBA/UFORDAT
Tags: Worst-Case-Szenario ? Kerntechnische Anlage ? Reaktorsicherheit ? Software ? Szenario ? Informationsinfrastruktur ? Automatisierung ? Bestimmungsmethode ? Bewertung ? Bewertungskriterium ? Informationssystem ? Kontrollsystem ? Prüfverfahren ? Risikoanalyse ? Sicherheitstechnik ? Simulation ? Störfall ? Störfallvorsorge ? Systemtechnik ? MSR-Technik ? Modellierung ? Informations- und Kommunikationstechnik ? Technisches Risiko ? Nukleare Sicherheit ? Datenerhebung ? Sicherheitsanalyse ? Sicherheitsmangel ? Eignungsprüfung ? Kritischer Zustand ? Schwachstellenanalyse ? Simulationseinrichtung ? Terroranschlag ?
Region: Bayern
Bounding box: 12.53381° .. 12.53381° x 47.795° .. 47.795°
License: cc-by-nc-nd/4.0
Language: Deutsch
Time ranges: 2015-07-01 - 2018-06-30
Accessed 1 times.