Model-based Demonstrator for Smart and Safety Systems.

MODES3 - MODEL-BASED DEMONSTRATOR FOR SMART AND SAFE SYSTEMS

ZSOLT MÁZLÓIOT DEVELOPER

About me

Software Engineer, BSc (2016)IoT and HW/SW integrationSoftware developer and IoT enthusiast (IncQuery Labs)

www.linkedin.com/in/zsoltmazlo

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

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

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

EngineerApplications addressing real-world / everyday problems embedded in a natural/human environment: Cities,

transportation Energy grids,

buildings Healthcare, sport

User

Okos otthon

Perspectives on IoT

The best of both worlds – Smart and Safe IoT systems

Safety Critical Systems Internet of Things

Data acqui-sition

Commu-nication

Analysis

Act

Modeling and

validation

Generation

Monitoring

Safety logic

Combination of both worlds:Development techniques used for

safety-critical systemswith technologies from Internet-of-Things

MoDeS3

Demonstrator

11

Demonstrator

Railway control system- Roco system for

controlling devices on the railway

- Operate standard: DCC

- Control message protocol: XpressNet

Railway control system: XpressNetDCC

Source: https://www.dccconcepts.com/product/roco-10810-multimaus-control-system/

12

Demonstrator


Occupancy 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)

13

Demonstrator



Source: http://beagleboard.org/bone

6 units of BeagleBone Blacks: EthernetSwitchSegments

BeagleBone Black- 6 unit connected

into network (Ethernet)

- Embedded Linux microcomputer

- Responsible for several segments around one switch

14

Demonstrator




Custom cape for BeagleBone Black: Expanders

Custom cape for BeagleBone Black- 12 VDC power

source- 8 expander slot- I2C slot- EEPROM

15

Demonstrator





Segment Actuator: Stopping trains on segment

Segment Actuator- Expander for

BeagleBone cape- Stops trains on

segments no matter what the control command is

16

Demonstrator






Turnout Actuator: Control and sense railway switches

Turnout Actuator- Expander for

BeagleBone cape- Control one railway

switch on table- Sensing the state of

switch

17

Demonstrator







Distributed Safety LogicSW

Monitoring and Control SystemSW

HW

18

Distributed Safety Logic









HW

19

Model-driven development- Validation

techniques - VIATRA Query- Verification

techniques - Model-transformation - VIATRA- Code generation

Distributed Safety LogicYAKINDU

Statechart Tools

Code generation

Mosquitto

- IoT technologies for communication

- MQTT- Eclipse Paho- Mosquitto

20

Monitoring and Control System









HW

21


Additional level of safety – high level monitoring

Computer vision

Camera subsystem

22



Computer vision

Communication Monitoring

Complex Event Processing

https://www.eclipsecon.org/europe2015/session/iot-supercharged-complex-event-processing-mqtt-eclipse-

technologies

Event Stream („live model”)

Recognised event pattern2 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

EventTrain 1Segment 2

EventTrain 1Stops

EventTrain 2Segment 3

EventSwitchDivergent

Segment 1

Segment 2

Segment 3

Event occuredTrain 1 arrives on segment 2Could not go further

Event occuredTrain 2 arrives on segment 3Free road, could go onwards

Event occuredSwitch changed to divergent

„Typical” application domains• Log analysis• Fraud detection• Algorithmic tradingTechnologies• Microsoft, Oracle,

SAP• Drools Fusion, EsperEclipse Open IoT: VIATRA-CEP (EPL Licence)

24



Computer vision

Communication Monitoring

VEPLVIATRA-CEP

Shut down the system in case of dangerous

situation

Monitoring Logic

Execution

Summary

26

Education and research applications

Academic contributors• Fault Tolerant Systems Research Group• MTA-BME Research Group on Cyber-Physical

SystemsCourses• Cyber-physical systems • Model-based Systems Design• System Modelling• Formal methods

Student projects• 2 MSc & 7 BSc students

ConclusionsInitial 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?

https://github.com/IncQueryLabs/EMDW-MC

https://github.com/IncQueryLabs/EMDW-MC



http://www.incquerylabs.com/[email protected] Email: [email protected]

@IncQueryLabs

https://www.facebook.com/incquerylabs/https://www.linkedin.com/company/incquery-labs-ltd-

http://modes3.tumblr.com/

http://www.incquerylabs.com/

http://www.incquerylabs.com/

https://www.facebook.com/incquerylabs/

https://www.linkedin.com/company/incquery-labs-ltd-

http://modes3.tumblr.com/

Model-based Demonstrator for Smart and Safety Systems.

Technology

Transcript of Model-based Demonstrator for Smart and Safety Systems.