MoDeS3

Skip to content

MoDeS3

Model-based Demonstrator for Smart and Safe Systems

Home
About
Blog
Contact

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

The team is building the HW 🙂

Tagsandrasvoros, photo, submission

Post navigation

Previous PostPrevious Statecharts are everywhere! #4 – Validation & Verification

Next PostNext Next Post

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