Jahresbericht 2017

217 / 308

217
Safe Embedded Systems
Prof. Dr.
Julien Provost
Contact
Phone +49.89.289.16424
Management
Prof. Dr. Julien Provost
Research Scientists
Nancy Elhady, M.Sc.
Jordan Claudius, M.Sc.
Canlong Ma, M.Sc.
Laurin Prenzel, M.Sc.
Research Focus
■■Formal methods for verification and
validation
■■Formalisation and control of discrete
event systems
Competence
■■Model-based component and system
testing
■■Supervisory control theory
■■Dynamic software update
Infrastructure
■■Test bench for (safety) programmable
logic controllers
■■Didactic platform for supervisory
control
■■Demonstrators for dynamic software
update
Courses
■■Basics of Dependable Systems
■■Control of Discrete Event Systems
■■Safe Embedded Systems
■■Fault-Tolerant Control and Supervisory
Control Theory Lab
Selected Publications 2017
■■Canlong Ma; Julien Provost (2017):
A model-based testing framework
with reduced set of test cases for
programmable controllers. In: 13th
IEEE Conference on Automation
Science and Engineering
■■Laurin Prenzel; Julien Provost (2017):
Dynamic Software Updating of
IEC 61499 Implementation Using
Erlang Runtime System. In: 20th
World Congress of the International
Federation of Automatic Control
■■Kevin Fouquet; Julien Provost (2017):
A Signal-Interpreted Approach to the
Supervisory Control Theory Problem.
In: 20th World Congress of the
International Federation of Automatic
Control
■■Claudius Jordan; Canlong Ma; Julien
Provost (2017): An Educational Toolbox
on Supervisory Control Theory using
MATLAB Simulink Stateflow – From
Theory to Practice in one week. In: 8th
IEEE Global Engineering Education
Conference
■■Eduardo Manas Pont; Christian
Kuenzel; Julien Provost (2017):
Development of a Methodology
for Monitoring and Prediction of
Road Surface Conditions in Highly
Automated Driving. In: 22nd IEEE
International Conference on Emerging
Technologies And Factory Automation