MoDeS3

Skip to content

Model-based Demonstrator for Smart and Safe Systems

Home
About
Blog
Contact

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

Overview of the concept of our smart and safe railway system.

Leave a Reply Cancel reply

Your email address will not be published. Required fields are marked *

Comment

Name *

Email *

Website

Post navigation

Previous PostPrevious Previous Post

Next PostNext Introducing our Model-based Demonstrator for Smart and Safe Systems

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