UnivIS
Informationssystem der Friedrich-Alexander-Universität Erlangen-Nürnberg © Config eG 
FAU Logo
  Sammlung/Stundenplan    Modulbelegung Home  |  Rechtliches  |  Kontakt  |  Hilfe    
Suche:      Semester:   
 Lehr-
veranstaltungen
   Personen/
Einrichtungen
   Räume   Forschungs-
bericht
   Publi-
kationen
   Internat.
Kontakte
   Examens-
arbeiten
   Telefon &
E-Mail
 
 
 Darstellung
 
Druckansicht

 
 
Einrichtungen >> Technische Fakultät (TF) >> Department Informatik (INF) >>
Lehrstuhl für Informatik 11 (Software Engineering)
Anschrift: Martensstraße 3, 91058 Erlangen
Tel.:+49-9131-85-27877Fax:+49-9131-85-28746
E-Mail:sekretariat@i11.informatik.uni-erlangen.de
www:http://www11.informatik.uni-erlangen.de/

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).

Leitung
Prof. Dr. rer. nat. habil. Francesca Saglietti

Wiss. Mitarbeiter
Dr.-Ing. Marc Spisländer

Ehemalige wiss. Mitarbeiter
Loui Al Sardy, M. Eng.
Dr. Maria Bonner
Andreas Neubaum, M. Sc.
Benedikt Sixt, M. Sc.
Xiaochen Wu, M.Sc.

Externe Doktoranden
Dipl.-Inf. Raimar Lill

Nichtwiss. Personal
Stephanie Przygoda

Studentische Hilfskraft
Heiko Sonnenberg, B. Sc.

Laufende und vor kurzem beendete Forschungsprojekte (aus dem Berichtszeitraum 1.1.2018-31.12.2018)

Ältere Forschungsprojekte

UnivIS ist ein Produkt der Config eG, Buckenhof