Skip to content
MoDeS3

MoDeS3

Model-based Demonstrator for Smart and Safe Systems

  • Home
  • About
  • Blog
  • Contact

Tag: modes3

Posted on 2016-03-312017-11-09

What Makes an Open IoT Developer Challenge Winner!

(Source: https://www.youtube.com/)
Posted on 2016-03-312017-11-09

MoDeS3: Promotional video

(Source: https://www.youtube.com/)
Posted on 2016-02-272017-11-09

Finally the trains were stopped!

(Source: https://www.youtube.com/)
Posted on 2016-02-232017-11-09
Posted on 2016-02-232017-11-09
Posted on 2016-02-232017-11-09
Posted on 2016-02-232017-11-09

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

Find Us

Budapest University of Technology and Economics
Fault Tolerant Systems Research Group
IB. 418, Magyar tudósok körútja 2, 1117, Budapest, Hungary

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.

Search

  • Yelp
  • Facebook
  • Twitter
  • Instagram
  • Email
Proudly powered by WordPress