MoDeS3

Skip to content

MoDeS3

Model-based Demonstrator for Smart and Safe Systems

Home
About
Blog
Contact

Posted on 2016-02-272017-11-09 by ftsrg

Working hard on the final demos!

Tagsandrasvoros, challenge, eclipse, iot, openiotchallenge, photo, submission

Post navigation

Previous PostPrevious Complex Event Processing #3

Next PostNext Runtime verification of the component behaviours in the distributed system – The embedded approach

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

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

Search for:

Yelp
Facebook
Twitter
Instagram
Email

Proudly powered by WordPress

Leave a Reply Cancel reply