Research trainee
02-2017 - 07-2017 IT development A Client-Server Architecture for Interactive Model Checking of Cyber-Physical Systems:
Improve data visualization and introduce interactive aspects in a model-checking tool called “SpaceEx”.
● For the visualization improvement, an algorithm to simplify and aggregate the states was proposed and implemented.
● For the interactivity aspect, an interactive state exploration feature using a priority queues had been proposed.
Technology used : JavaFx, JavaScript, MVC, Thrift, Shell, Git