Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

Modes3: Model-based Demonstrator for Smart and Safe Systems

161 views

Published on

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

Published in: Technology
  • Be the first to comment

Modes3: Model-based Demonstrator for Smart and Safe Systems

  1. 1. MODES3 - MODEL-BASED DEMONSTRATOR FOR SMART AND SAFE SYSTEMS DR. ISTVÁN RÁTH CO FOUNDER, MANAGING DIRECTOR
  2. 2. What is MoDeS3? Goals  A technology demonstrator for education  Development methodologies for safety-critical systems  Internet-of-Things technology stack
  3. 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. 4. MoDeS3 - Architecture Railway system with - Sensors - Actuators Robot system Distributed Safety Logic Monitoring and Control System HW SW SW
  5. 5. MoDeS3 – Distributed safety logic Railway system with - Sensors - Actuators Robot system Distributed Safety Logic Monitoring and Control System HW SW SW
  6. 6. Distributed Safety Logic 6 15 sensors: - Sensing the trains and estimating their locations
  7. 7. Distributed Safety Logic 7 Distributed: • 6 controllers • Communicatio n Safety: prevent accidents by stopping the trains
  8. 8. Distributed Safety Logic 8 Model-driven development - Validation and verification - Automated code generation Code generation YAKINDU Statechart Tools
  9. 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. 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. 11. MoDeS3 Railway system with - Sensors - Actuators Robot system Distributed Safety Logic Monitoring and Control System HW SW SW
  12. 12. Monitoring and Control System 12 Computer vision Additional level of safety – high level monitoring
  13. 13. Monitoring and Control System 13 Computer vision Additional level of safety – high level monitoring Camera system
  14. 14. Monitoring and Control System 14 Computer vision Communicatio n Monitoring Additional level of safety – high level monitoring
  15. 15. Monitoring and Control System 15 Computer vision Communicatio n Monitoring Additional level of safety – high level monitoring Complex Event Processing
  16. 16. Monitoring and Control System 16 Computer vision Communicatio n Monitoring Event patterns Stream processor Additional level of safety – high level monitoring
  17. 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. 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. 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. 20. Summary
  21. 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. 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!
  23. 23. 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

×