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.

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

  • 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/

×