modes3 - model-based demonstrator for smart and safe systems
TRANSCRIPT
An Introduction to IncQuery Labs Ltd.
MoDeS3 - Model-based Demonstrator for Smart and Safe Systems
Dr. kos HorvthCo Founder, Managing Director
Az eladrlSoftware Engineer, PhD (2006, 2013)software modeling, safety-critical systems, optimization, generative techniquesManaging Director (IncQuery Labs), research fellow (BME-MIT)
https://www.linkedin.com/in/akoshorvathincqurylabs
IncQuery LabsOur missionCutting edge innovationOpen SourceEducationIn figures2013 22 R&D engineers7 PhD
Partners
What is MoDeS3?GoalsA technology demonstrator for educationDevelopment methodologies for safety-critical systemsInternet-of-Things technology stack
The best of both worldsSafety Critical SystemsInternet of ThingsCombination of both worlds:Development techniques used for safety-critical systemswith technologies from Internet-of-ThingsUse the location information of the passengers' smart phones as an auxiliary monitoring channelThe break lining is wearing down!
MoDeS3
MoDeS3 - Architecture
Railway system withSensorsActuatorsRobot system
Distributed Safety LogicMonitoring and Control SystemHWSWSW
MoDeS3 Distributed safety logic
Railway system withSensorsActuatorsRobot system
Distributed Safety LogicMonitoring and Control SystemHWSWSWDistributed system6 controllers15 sensors6 actuators
Separate control for each section
Model-Driven DevelopmentEarly model level validationVerification based on model checkingAutomated code generation from state machines
MoDeS3
Railway system withSensorsActuatorsRobot system
Distributed Safety LogicMonitoring and Control SystemHWSWSWAdditional level of safety high level monitoringComputer vision
Communication
Complex Event processing
Monitoring
MoDeS3
Railway system withSensorsActuatorsRobot system
Distributed Safety LogicMonitoring and Control SystemHWSWSWGoal: moving/removing objects from the trains
Sensor fusion: Legos own sensors and our computer vision
Control logic generated from models
Come and join the ride!
http://modes3.tumblr.com/http://www.incquerylabs.com/[email protected] Tel: +36 70 633 3973
@IncQueryLabs
What holds the next 10 years for IoT?complex challenges +huge market opportunities =Significant breakthroughs