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
ZSOLT MÁZLÓ
IOT DEVELOPER
About me
Software Engineer, BSc (2016)
IoT and HW/SW integration
Software developer and IoT enthusiast (IncQuery Labs)
www...
IncQuery Labs
Our mission
 „Cutting edge”
innovation
 Open Source
 Education
Software
development
and modeling
Customiz...
What is MoDeS3?
Goals
 A technology demonstrator for
education
 Playground for testing out IoT
technologies within the s...
Source: http://i0.wp.com/visualizetheweb.com/wp-content/uploads/2014/12/IoT.png
Smart city, smart grid
- IBM
Cyberphysical...
Engineer
Applications addressing
real-world / everyday
problems embedded in
a natural/human
environment:
 Cities,
transpo...
The best of both worlds – Smart and Safe IoT
systems
Safety Critical Systems Internet of Things
Data
acqui-
sition
Commu-
...
MoDeS3
Demonstrator
Demonstrator
11
Railway control
system
- Roco system for
controlling devices
on the railway
- Operate standard:
DCC
- Cont...
Demonstrator
12
Railway
control
system:
XpressNet
DCC
Occupanc
y sensing:
S88
Source: http://www.digitools.hu/termekek/erz...
Demonstrator
13
Railway
control
system:
XpressNet
DCC
Occupanc
y sensing:
S88
Source: http://beagleboard.org/bone
6 units ...
Demonstrator
14
Railway
control
system:
XpressNet
DCC
Occupanc
y sensing:
S88
6 units of
BeagleBo
ne Blacks:
Ethernet
Swit...
Demonstrator
15
Railway
control
system:
XpressNet
DCC
Occupanc
y sensing:
S88
6 units of
BeagleBo
ne Blacks:
Ethernet
Swit...
Demonstrator
16
Railway
control
system:
XpressNet
DCC
Occupanc
y sensing:
S88
6 units of
BeagleBo
ne Blacks:
Ethernet
Swit...
Demonstrator
17
Railway
control
system:
XpressNet
DCC
Occupanc
y sensing:
S88
6 units of
BeagleBo
ne Blacks:
Ethernet
Swit...
Distributed Safety Logic
18
Railway
control
system:
XpressNet
DCC
Occupanc
y sensing:
S88
6 units of
BeagleBo
ne Blacks:
E...
Model-driven
development
- Validation
techniques
- VIATRA Query
- Verification
techniques
- Model-
transformation
- VIATRA...
Monitoring and Control System
20
Railway
control
system:
XpressNet
DCC
Occupanc
y sensing:
S88
6 units of
BeagleBo
ne Blac...
Monitoring and Control System
21
Additional level of safety – high level
monitoring
Computer
vision
Camera subsystem
Monitoring and Control System
22
Additional level of safety – high level
monitoring
Computer
vision
Communicatio
n Monitor...
Event Stream („live
model”)
Recognised event pattern
2 trains would collide 
Reaction: stopping the trains
Complex event ...
Monitoring and Control System
24
Additional level of safety – high level
monitoring
Computer
vision
Communicatio
n Monitor...
Summary
Education and research applications
26
Academic contributors
• Fault Tolerant Systems Research Group
• MTA-BME Research Gr...
Conclusions
Initial version is out
• MoDeS3
http://modes3.tumblr.com/
• Source GitHub repo
https://github.com/FTSRG/BME-MO...
http://www.incquerylabs.com/
info@incquerylabs.com
Email: zsolt.mazlo@incquerylabs.com
@IncQueryLabs
https://www.facebook....
Model-based Demonstrator for Smart and Safety Systems.
Upcoming SlideShare
Loading in …5
×

Model-based Demonstrator for Smart and Safety Systems.

522 views

Published on

The presentation about the MoDeS3 project which was presented at the IoT With The Best online conference in 2016.

Published in: Technology
  • Be the first to comment

  • Be the first to like this

Model-based Demonstrator for Smart and Safety Systems.

  1. 1. MODES3 - MODEL-BASED DEMONSTRATOR FOR SMART AND SAFE SYSTEMS ZSOLT MÁZLÓ IOT DEVELOPER
  2. 2. About me Software Engineer, BSc (2016) IoT and HW/SW integration Software developer and IoT enthusiast (IncQuery Labs) www.linkedin.com/in/zsoltmazlo
  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  Playground for testing out IoT technologies within the safety critical domains  Connect two aspects:  Development methodologies for safety-critical systems  Internet-of-Things technology stack
  5. 5. Source: http://i0.wp.com/visualizetheweb.com/wp-content/uploads/2014/12/IoT.png Smart city, smart grid - IBM Cyberphysical systems Networked Society - Ericsson Connected world CityNext - Microsoft Smart wearables Smart home Connected Society - EU-ECSEL Industry 4.0 - Angela Merkel Internet of Things
  6. 6. Engineer Applications addressing real-world / everyday problems embedded in a natural/human environment:  Cities, transportation  Energy grids, buildings  Healthcare, sport User Okos otthon Perspectives on IoT
  7. 7. The best of both worlds – Smart and Safe IoT systems Safety Critical Systems Internet of Things Data acqui- sition Commu- nication Analysi s Act Combination of both worlds: Development techniques used for safety-critical systems with technologies from Internet-of-Things
  8. 8. MoDeS3
  9. 9. Demonstrator
  10. 10. Demonstrator 11 Railway control system - Roco system for controlling devices on the railway - Operate standard: DCC - Control message protocol: XpressNet Railway control system: XpressNet DCC Source: https://www.dccconcepts.com/product/roco-10810-multimaus-control-system/
  11. 11. Demonstrator 12 Railway control system: XpressNet DCC Occupanc y sensing: S88 Source: http://www.digitools.hu/termekek/erzekelok/digisens-8-s88 Occupancy sensing - We have to know where the trains are on the table - Segments + COTS hardware - Protocol: S88 (implemented on Arduino)
  12. 12. Demonstrator 13 Railway control system: XpressNet DCC Occupanc y sensing: S88 Source: http://beagleboard.org/bone 6 units of BeagleBo ne Blacks: Ethernet Switch Segments BeagleBone Black - 6 unit connected into network (Ethernet) - Embedded Linux microcomputer - Responsible for several segments around one switch
  13. 13. Demonstrator 14 Railway control system: XpressNet DCC Occupanc y sensing: S88 6 units of BeagleBo ne Blacks: Ethernet Switch Segments Custom cape for BeagleBo ne Black: Expander s Custom cape for BeagleBone Black- 12 VDC power source - 8 expander slot - I2C slot - EEPROM
  14. 14. Demonstrator 15 Railway control system: XpressNet DCC Occupanc y sensing: S88 6 units of BeagleBo ne Blacks: Ethernet Switch Segments Custom cape for BeagleBo ne Black: Expander s Segment Actuator: Stopping trains on segment Segment Actuator - Expander for BeagleBone cape - Stops trains on segments no matter what the control command is
  15. 15. Demonstrator 16 Railway control system: XpressNet DCC Occupanc y sensing: S88 6 units of BeagleBo ne Blacks: Ethernet Switch Segments Custom cape for BeagleBo ne Black: Expander s Segment Actuator: Stopping trains on segment Turnout Actuator: Control and sense railway switches Turnout Actuator - Expander for BeagleBone cape - Control one railway switch on table - Sensing the state of switch
  16. 16. Demonstrator 17 Railway control system: XpressNet DCC Occupanc y sensing: S88 6 units of BeagleBo ne Blacks: Ethernet Switch Segments Custom cape for BeagleBo ne Black: Expander s Segment Actuator: Stopping trains on segment Turnout Actuator: Control and sense railway switches Distributed Safety LogicSW Monitoring and Control SystemSW HW
  17. 17. Distributed Safety Logic 18 Railway control system: XpressNet DCC Occupanc y sensing: S88 6 units of BeagleBo ne Blacks: Ethernet Switch Segments Custom cape for BeagleBo ne Black: Expander s Segment Actuator: Stopping trains on segment Turnout Actuator: Control and sense railway switches Distributed Safety LogicSW Monitoring and Control SystemSW HW
  18. 18. Model-driven development - Validation techniques - VIATRA Query - Verification techniques - Model- transformation - VIATRA - Code generation Distributed Safety Logic 19 YAKINDU Statechart Tools Code generation Mosquitto - IoT technologies for communication - MQTT - Eclipse Paho - Mosquitto
  19. 19. Monitoring and Control System 20 Railway control system: XpressNet DCC Occupanc y sensing: S88 6 units of BeagleBo ne Blacks: Ethernet Switch Segments Custom cape for BeagleBo ne Black: Expander s Segment Actuator: Stopping trains on segment Turnout Actuator: Control and sense railway switches Distributed Safety LogicSW Monitoring and Control SystemSW HW
  20. 20. Monitoring and Control System 21 Additional level of safety – high level monitoring Computer vision Camera subsystem
  21. 21. Monitoring and Control System 22 Additional level of safety – high level monitoring Computer vision Communicatio n Monitoring Complex Event Processing https://www.eclipsecon.org/europe2015/session/iot- supercharged-complex-event-processing-mqtt-eclipse- technologies
  22. 22. Event Stream („live model”) Recognised event pattern 2 trains would collide  Reaction: stopping the trains Complex event processing Source: http://us.123rf.com/450wm/booblgum/booblgum1505/booblgum150500047/39735839-grey- passenger-train-isolated-vector-illustration.jpg?ver=6 Event Train 1 Segment 2 Event Train 1 Stops Event Train 2 Segment 3 Event Switch Divergent Segment 1 Segment 3 Event occured Train 1 arrives on segment 2 Could not go further Event occured Train 2 arrives on segment 3 Free road, could go onwards Event occured Switch changed to divergent „Typical” application domains • Log analysis • Fraud detection • Algorithmic trading Technologies • Microsoft, Oracle, SAP • Drools Fusion, Esper Eclipse Open IoT: VIATRA-CEP (EPL Licence)
  23. 23. Monitoring and Control System 24 Additional level of safety – high level monitoring Computer vision Communicatio n Monitoring VEPL VIATRA-CEP Shut down the system in case of dangerous situation Monitorin g Logic Execution
  24. 24. Summary
  25. 25. Education and research applications 26 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 • 2 MSc & 7 BSc students
  26. 26. Conclusions Initial version is out • 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! • Where to go what do demonstrate? • Any additional IoT inspired service?
  27. 27. http://www.incquerylabs.com/ info@incquerylabs.com Email: zsolt.mazlo@incquerylabs.com @IncQueryLabs https://www.facebook.com/incquerylabs / https://www.linkedin.com/company/incquery-labs- ltd- http://modes3.tumblr.com/

×