Berichtszeitraum 2018 Der Berichtszeitraum 2018 war von folgenden Aktivitäten besonders geprägt. -erfolgreicher Abschluss des vom Bundesministerium für Wirtschaft und Energie (BMWi) geförderten Verbundvorhabens SMARTEST (Evaluierung von Verfahren zum Testen der Informationssicherheit in der nuklearen Leittechnik durch smarte Testfallgenerierung); -erfolgreiche Begutachtung eines Antrags auf Fortsetzung des Vorhabens SMARTEST seitens des bewährten Verbunds bestehend aus FAU, Universität Magdeburg, Hochschule Magdeburg und Areva / Framatome; -erfolgreicher Abschluss des Promotionsvorhabens des Lehrstuhlmitarbeiters Dr.-Ing. Marc Spisländer mit seiner Dissertation "Strukturelle Testverfahren zur Verifikation existentieller temporallogischer Formeln in erweiterten endlichen Zustandsmaschinen". Koordination nationaler und internationaler Arbeitsgemeinschaften: -Fachausschuss "Verlässlichkeit und Fehlertoleranz" (VERFE) der Gesellschaft für Informatik (GI) und der Informationstechnischen Gesellschaft (ITG) im Verband der Elektrotechnik, Elektronik, Informationstechnik (VDE); -Fachgruppe "European Network of Clubs on Reliability and Safety of Software-Intensive Systems" (ENCRESS) im GI-Fachbereich "Sicherheit – Schutz und Zuverlässigkeit" und im GI/ITG-Fachbereich "Technische Informatik" der GI und der ITG im VDE; -Internationale Arbeitsgemeinschaft "European Workshop on Industrial Computer Systems, Technical Committee on Reliability, Safety and Security" (EWICS TC7). Normungsarbeit: -Abschluss der Normunstätigkeit im Rahmen des DKE-Arbeitskreises AK 914.0.9 (Statistical Evaluation of Critical Software) der Deutschen Kommission Elektrotechnik, Elektronik, Informationstechnik in DIN und VDE durch Fertigstellung der VDI-Richtlinie . Mitgliedschaft in Editorial Boards folgender Fachzeitschriften: -International Journal of Critical Computer-Based Systems (IJCCBS), Inderscience Publishers; -International Journal of Adaptive, Resilient and Autonomic Systems (IJARAS), IGI Global Publisher. Mitarbeit in Jury: -CAST/GI-Promotionspreis IT-Sicherheit 2018 Mitgestaltung nationaler bzw. internationaler Veranstaltungen durch Mitarbeit im Programmkomitee bzw. mit Vorträgen / Publikationen: -6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), Funchal (P), 22 - 24 January 2018; -2nd International Conference on Complexity, Future Information Systems and Risk (COMPLEXIS 2018), Funchal (P), 20 - 21 March 2018; -14th Workshop on Dependability and Fault Tolerance (VERFE’18) in conjunction with 31st International Conference on Architecture of Computing Systems (ARCS 2018), Braunschweig (D), 9 April 2018; -13th International Conference on Systems (ICONS 2018), Athens (GR), 22 – 26 April 2018; -Fachtagung Sicherheit - Schutz und Zuverlässigkeit (Sicherheit 2018), Konstanz (D), 25 – 27 April 2018; -Workshop SafeWare 2018 (Safeware Engineering – safe and secure software), Karlsruher Institut für Technolgie, 9 - 10 Juli 2018; -44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2018), Prag (CZ), 29 – 31 August 2018; -International Workshop on Interplay of Security, Safety and System/Software Architecture (ISSA), Barcelona (E), 7 September 2018; -37th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2018), Västeras (S), 19 - 21 September 2018; -EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop (DECSoS 2018), in conjunction with SAFECOMP 2018, Västeras (S), 18 September 2018; -13th International Conference on Software Engineering Advances (ICSEA 2018), Nice (F), 14 - 18 October 2018; -3rd International Conference on System Reliability and Science (ICSRS 2018), Barcelona (E), 24 – 26 October 2018; -Embedded Software Engineering Kongress, Sindelfingen (D), 3 - 7 December 2018. Vorträge von Lehrstuhlangehörigen: -Loui Al Sardy: Constraint-Based Testing for Buffer Overflows. SAFECOMP Workshop on Dependable Cyber-physical Systems and Systems-of-Systems (DECSoS 2018), Västeras (S), 18. September 2018; -Marc Spisländer: Evidence-Based Verification of Safety Properties Concerning the Cooperation of Autonomous Agents. 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2018), Prag (CZ), 29. August 2018; -Marc Spisländer: Strukturelle Testverfahren zur Verifikation existentieller temporallogischer Formeln in erweiterten endlichen Zustandsmaschinen. Promotionsvortrag, Department Informatik, FAU, Erlangen (D), 5. November 2018; -Francesca Saglietti, Loui Al Sardy: Ongoing Work in Smart Testing of Safety-Critical Networks. Projekttreffen, Hochschule Magdeburg-Stendal, Magdeburg (D), 21. Februar 2018; -Francesca Saglietti, Loui Al Sardy: Beiträge von FAU-SWE zum BMWi-geförderten Verbundprojekt SMARTEST. Projekttreffen, Otto-von Guwericke-Universität Magdeburg, Magdeburg (D), 4. Mai 2018; -Francesca Saglietti: Von FAU-SWE im Verbundprojekt SMARTEST erzielte Ergebnisse und Vorschläge für ein Fortsetzungsvorhaben. Sitzung der Arbeitsgruppe „Digitale Leittechnik“, Gesellschaft für Anlagen- und Reaktorsicherheit (GRS) mbH, Köln (D), 14. Juni 2018; -Francesca Saglietti: Testing for Security - Systematic and Heuristic Search for Exploitable Software Vulnerabilties, invited talk, 3rd International Conference on System Reliability and Safety (ICSRS 2018), Barcelona (E), 26. November 2018; -Francesca Saglietti: Testen zur Fehlererkennung und zum Zuverlässigkeitsnachweis - Vom Softwaretest zum Testen kooperativer Roboter, eingeladener Vortrag, Embedded Software Engineering Kongress, Track Test & Qualität 2, Sindelfingen (D), 6. Dezember 2018. Kooperationspartner - Besondere Zusammenarbeit mit folgenden Institutionen, Behörden und Unternehmen: -Areva / Framatome, Erlangen (D); -Austrian Institute of Technology, Wien (A); -University of Mälardalen, Vasteras(S); -Abo Akademi University, Turku (FI); -Gesellschaft für Anlagen- und Reaktorsicherheit, Köln (D); -Hochschule Magdeburg, Magdeburg (D); -Otto-von-Guericke-Universität Magdeburg, Magdeburg (D); -Deutsches Zentrum für Luft- und Raumfahrt (DLR), Institut für Flugsystemtechnik, Braunschweig (D); -Fraunhofer-Institut für Eingebettete Systeme und Kommunikationstechnik (ESK), München (D).
|