A talk on Modes3, presented at the IoT Budapest Meetup (April 2017). https://www.meetup.com/IoT-Budapest/events/238267893/ More information: http://inf.mit.bme.hu/en/research/projects/modes3 https://github.com/FTSRG/BME-MODES3 http://modes3.tumblr.com

1. MODES3 - MODEL-BASED DEMONSTRATOR
FOR SMART AND SAFE SYSTEMS
DR. ISTVÁN RÁTH
CO FOUNDER, MANAGING DIRECTOR

2. What is MoDeS3?
Goals
 A technology demonstrator
for education
 Development
methodologies for
safety-critical systems
 Internet-of-Things
technology stack

3. The best of both worlds
Safety Critical
Systems
Internet of Things
Data
acquisition
Communicatio
n
Analysis
Act
Combination of both worlds:
Development techniques used for
safety-critical systems
with technologies from Internet-of-Things
„Use the location
information of the
passengers' smart
phones as an auxiliary
monitoring channel”
„The break lining is
wearing down!”

4. MoDeS3 - Architecture
Railway system with
- Sensors
- Actuators
Robot system
Distributed Safety Logic
Monitoring and Control System
HW
SW
SW

5. MoDeS3 – Distributed safety
logic
Railway system with
- Sensors
- Actuators
Robot system
Distributed Safety Logic
Monitoring and Control System
HW
SW
SW

6. Distributed Safety Logic
6
15 sensors:
- Sensing the trains
and estimating their
locations

7. Distributed Safety Logic
7
Distributed:
• 6 controllers
• Communicatio
n
Safety: prevent
accidents by
stopping the
trains

8. Distributed Safety Logic
8
Model-driven development
- Validation and verification
- Automated code
generation
Code generation
YAKINDU Statechart Tools

9. Distributed Safety Logic
9
Model-driven development
- Validation and verification
- Automated code
generation
Code generation
YAKINDU Statechart Tools
Each track
section is
controlled by
a dedicated
BBB

10. Distributed Safety Logic
10
Code generation
YAKINDU Statechart Tools
IoT tech for
communicatio
n
MQTT
• Eclipse Paho
• Mosquitto
Mosquitto
Model-driven development
- Validation and verification
- Automated code
generation

11. MoDeS3
Railway system with
- Sensors
- Actuators
Robot system
Distributed Safety Logic
Monitoring and Control System
HW
SW
SW

12. Monitoring and Control System
12
Computer
vision
Additional level of safety – high level
monitoring

13. Monitoring and Control System
13
Computer
vision
Additional level of safety – high level
monitoring
Camera
system

14. Monitoring and Control System
14
Computer
vision
Communicatio
n Monitoring
Additional level of safety – high level
monitoring

15. Monitoring and Control System
15
Computer
vision
Communicatio
n Monitoring
Additional level of safety – high level
monitoring
Complex Event Processing

16. Monitoring and Control System
16
Computer
vision
Communicatio
n Monitoring
Event
patterns
Stream processor
Additional level of safety – high level
monitoring

17. Monitoring and Control System
17
Computer
vision
Communicatio
n Monitoring
Additional level of safety – high level
monitoring
Event
patterns
Stream processor
Shut down the system in
case of dangerous
situation

18. Event
patterns
Stream processor
Monitoring and Control System
18
Computer
vision
Communicatio
n Monitoring
Additional level of safety – high level
monitoring
Shut down the system in
case of dangerous
situation
Monitoring logic

19. Event
patterns
Stream processor
Monitoring and Control System
19
Computer
vision
Communicatio
n Monitoring
Additional level of safety – high level
monitoring
Shut down the system in
case of dangerous
situation
Monitoring logic
Execution

20. Summary

21. Education and research
applications
Academic contributors
• Fault Tolerant Systems Research Group
• MTA-BME Research Group on Cyber-Physical
Systems
Courses
• Cyber-physical systems
• Model-based Systems Design
• System Modelling
• Formal methods
Student projects
21

22. Conclusions
More info
• MoDeS3
http://modes3.tumblr.com/
• Source GitHub repo
https://github.com/FTSRG/BME-MODES3
As a demonstrator your contributions (feedback,
forum posts, ideas, bugzillas, patches) are very
welcome!

24. WHEN? 26th April 2017, 8:30-17:30
WHERE? Ericsson Science Park
Irinyi József street 4-20, 1117
Budapest
Unique insight into how software in various domains such as
automotive, telco and IoT are being built.
Speakers: Ralph Müller(Eclipse Foundation Europe),
Stéphane Bonnet (Thales), Étienne Juliot (Obeo),
Elemér Lelik (Ericsson),
Gergely Pintér & Máté Kovács (ThyssenKrupp Presta)
CRAFT 2017 and IncQuery Labs proudly
present:
FREE REGISTRATION:
https://ti.to/bpconferences/craft-conference- 2017/discount/IncquerylabsSentMe