Logo Scs

Sicherheitskritische Systeme

Herzlich Willkommen bei der Arbeitsgruppe Sicherheitskritische Systeme (Prof. Dr. Anne Remke) am Institut für Informatik der Westfälischen Wilhelms-Universität Münster.

BAföG

 Frau Prof. Dr. Remke kümmert sich gerne um ihre BAföG Angelegenheiten. Bitte besuchen Sie dazu die Sprechzeiten

Für die Bearbeitung werden

  • das BAföG Formblatt 5
  • sowie Einsicht in Ihre Studienleistung entweder durch das Transcript of Records oder durch Live-Einsicht in ihr qispos Portal 
benötigt.

VALUETOOLS 2017

AG Ausflug nach Venedig :-)

Unsere Arbeitsgruppe wird vom 4. bis 7. Dezember nach Venedig reisen, um auf der diesjährigen VALUETOOLS Konferenz gleich zwei neue Veröffentlichungen vorzustellen. 

VALUETOOLS 2017

Fakultätentagspreis

Carina Pilch erhält den Preis des Fakultätentags Informatik

© INFORMATIK 2017

Unserer Mitarbeiterin Carina Pilch wurde für ihre Masterarbeit zum Thema "Development of an event-based simulator for model checking hybrid Petri nets with random variables" der diesjährige Preis des Fakultätentags Informatik verliehen. Die Preisverleihung fand im Rahmen der INFORMATIK 2017 in Chemnitz statt.

INFORMATIK 2017



Projektseminar 2016/2017

Vorbereitung in vollem Gange

Hardwareprosem
© AGRemke

Im Projektseminar 2016/2017 werden wir auf Basis von Raspberry Pis ein Scada Testbed implementieren. Die Hardware ist soeben eingetroffen und die Vorbereitungen können beginnen. 

Does Your Domestic Photovoltaic Energy System Survive Grid Outages?

Veröffentlichung - Journal Paper

Smarthome
© Marijn Jongerden

In Zusammenarbeit mit der Arbeitsgruppe DACS von der University Twente konnten wir ein Journal Paper in MDPI Energies veröffentlichten.

MDPI

MMB&DFT 2016

Konferenz

Mmb

Die diesjährige 18th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems” and “Dependability and Fault-Tolerance” fand in Münster statt. 

MMB 2016