The Model-based Demonstrator for Smart and Safe Systems is a joint effort of industry and academia to provide a platform, where various open-source technologies and techniques are integrated together in a demonstrator system.
Our goal is to develop a system, which is safe. This means that we use model-based techniques, such as state-based behavior modeling, code generation, formal modelling and verification.
IB. 418, Magyar tudósok körútja 2, 1117, Budapest, Hungary