SPARTA
Projektbeschreibung
Die europäische Initiative SPARTA will einen ehrgeizigen Fahrplan für Forschung und Innovation entwickeln, der Europas Kompetenzen und Chancen über verschiedene Disziplinen, Reifegrade und geografische Orte hinweg nutzen soll. Als engagiertes Mitglied des stetig wachsenden Konsortiums mit 44 Partnern aus ganz Europa, unterstützt fortiss SPARTA mit seinen Forschungsarbeiten jene Bereiche, die für Europas strategische Autonomie wichtig sind. So auch bei der kontinuierlichen Bewertung in polymorphen Umgebungen (CAPE), wo sich fortiss für den Aufgabenbereich Safety (Funktionssicherheit) und Security (IT-Sicherheit) verantwortlich zeichnet und in der Entwicklung eines Toolkits für hochsichere intelligente Infrastruktur (HAII-T), für das fortiss Sprachen für beweisorientierte Transaktionen bereitstellt.
Forschungsbeitrag
fortiss ist federführend für den Aufgabenbereich der Annäherung von Security und Safety zuständig und verfolgt vornehmlich das Ziel, Methoden für die Integration dieser Aspekte zu entwickeln. Die Hauptaufgabe besteht für fortiss somit darin, einen Prozess zu konzipieren, durch den Safety und Security integriert werden und es möglich wird, Safety- und Security-Bewertungen mit derselben Priorität parallel durchzuführen und so gleichermaßen Safety wie Security eines Systems zu erhöhen.
Um dieses Ziel zu erreichen, sind die folgenden sechs Herausforderungen zu meistern:
- Identifizierung einer gemeinsamen Sprache für die Spezifikation von Safety- und Security-Anforderungen
- Techniken für die gemeinsame Analyse von Safety und Security
- Techniken für die gemeinsame Verifizierung und gemeinsame Validierung von Safety und Security
- Methoden zur Identifizierung von Safety- und Security-Konflikten
- Auswirkungen von Safety auf Security
- Trade-off-Analyse
Im Rahmen dieses Aufgabenbereichs soll außerdem untersucht werden, wie Safety- und Security-Modelle zur Ermittlung möglicher Wechselwirkungen zwischen Safety- und Security-Eigenschaften eingesetzt werden können. Ziel ist die Erstellung von Verfahren zur Bewertung sowohl der Cybersecurity- als auch der Safety-Aspekte von Komponenten und Systemen.
Förderung
SU-ICT-03-2018
EU-Förderprogramm „Horizont 2020“ für Forschung und Innovation Fördernummer 830892
Projektdauer
01.02.2019 - 30.06.2022
Kontakt
Weitere Informationen
Projektpartner
Publikationen
- A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control In IEEE Vehicular Networking Conference (VNC), pages 1-8, 2020. IEEE. Details DOI BIB
- Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns (Application Paper) In 36th International Conference on Logic Programming (ICLP), Rende, Italy, 2020. Details BIB
- Towards Automating Safety and Security Co-Analysis with Patterns In 39th International Conference on Computer Safety, Reliability and Security (SafeComp), Lisbon, Portugal, 2020. Details BIB
- TSNsched: Automated Schedule Generation for Time Sensitive Networking In 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pages 69–77, 2019. Details DOI BIB
- Formal Security Verification of Industry 4.0 Applications In 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019, pages 1043–1050, 2019. IEEE. Details DOI BIB
- On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering In Proceedings of the 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019. IEEE. Details DOI BIB



