Post navigation

About the Project

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.

Find Us

IB. 418, Magyar tudósok körútja 2, 1117, Budapest, Hungary

Search

Search for:

Find Us

About This Site

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.