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

Presentation at the 2016 Budapest Maker Week

  • Login to see the comments

  • Be the first to like this

MoDeS3 - Model-based Demonstrator for Smart and Safe Systems

  1. 1. MODES3 - MODEL-BASED DEMONSTRATOR FOR SMART AND SAFE SYSTEMS DR. ÁKOS HORVÁTH CO FOUNDER, MANAGING DIRECTOR
  2. 2. Az előadóról Software Engineer, PhD (2006, 2013) software modeling, safety-critical systems, optimization, generative techniques Managing Director (IncQuery Labs), research fellow (BME-MIT) https://www.linkedin.com/in/akoshorvathincqurylabs
  3. 3. IncQuery Labs Our mission  „Cutting edge” innovation  Open Source  Education Software development and modeling Customized design and development tools Critical systems, Internet of Things In figures  2013 –  22 R&D engineers  7 PhD Partners
  4. 4. What is MoDeS3? Goals  A technology demonstrator for education  Development methodologies for safety-critical systems  Internet-of-Things technology stack
  5. 5. 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!”
  6. 6. MoDeS3
  7. 7. MoDeS3 - Architecture Railway system with - Sensors - Actuators Robot system Distributed Safety Logic Monitoring and Control System HW SW SW
  8. 8. MoDeS3 – Distributed safety logic Railway system with - Sensors - Actuators Robot system Distributed Safety Logic Monitoring and Control System HW SW SW Distributed system • 6 controllers • 15 sensors • 6 actuators • Separate control for each section Model-Driven Development • Early model level validation • Verification based on model checking • Automated code generation from state machines
  9. 9. MoDeS3 Railway system with - Sensors - Actuators Robot system Distributed Safety Logic Monitoring and Control System HW SW SW Additional level of safety  high level monitoring Computer vision Communicatio n Complex Event processing Monitoring
  10. 10. MoDeS3 Railway system with - Sensors - Actuators Robot system Distributed Safety Logic Monitoring and Control System HW SW SW • Goal: moving/removing objects from the trains • Sensor fusion: Lego’s own sensors and our computer vision
  11. 11. Come and join the ride! http://modes3.tumblr.com/ http://www.incquerylabs.com/ info@incquerylabs.com Tel: +36 70 633 3973 @IncQueryLabs What holds the next 10 years for IoT? complex challenges +huge market opportunities =Significant breakthroughs

×