SlideShare a Scribd company logo
This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 732242”.
DEIS - DEPENDABILITY ENGINEERING
INNOVATION FOR CPS
Ran Wei1, Tim Kelly1, Richard Hawkins1, Eric Armenguad2
1University of York
2AVL List GmbH
 DEIS : Dependability Engineering Innovation for CPS
 Funding scheme: H2020 ICT-01-2016
 Total Budge: €4,889,290
 Start Date: January 1st, 2017
 Duration: 3 years
 Consortium: 10 partners
 Coordinator: AVL List
H2020 ICT-01-2016 DEIS
2
 Involves both computer and physical systems and are connected to Internet/local networks
 A mechanism controlled/monitored by computer-based algorithms, tightly integrated with the
internet and its users.
 Tendency: Open and adaptive
 Loosely connected (openness)
 Systems come together to form new system with temporary configuration, and provide service as a whole
(adaptivity)
 Number of configurations: unknown
 Challenge: assuring dependability of CPS
 How well they can function with one another
 How safe they are as a whole
CYBER-PHYSICAL SYSTEMS
3
Addresses assurance of dependability for CPS
 Important and unsolved challenge
Forming a “science of dependable system integration” for CPS
Core concept: Digital Dependability Identity (DDI)
 Composable and executable
 Contains attributes that describe the systems or components dependability
behavior: faults propagation, described using concepts from the theory of safety
contracts
 Contains requirements on how the component interacts with other entities in a
dependable way, described in terms of the level of trust and assurance.
 Produced during design, issued when the component is released, and
continuously maintained over the complete lifetime of a component or system.
DEIS
4
 Automotive: development of a stand-alone system for intelligent physiological
parameter monitoring
 Automotive: Evaluation of automated driving functions and the dependability
impact of connected powertrain on advanced driver simulator
 Railway: Plug-and-play environment for heterogeneous railway systems
enabling dependable exchange of information between components and
subsystems
 Healthcare enhancement of clinical decision app for oncology professional
targeting higher degree of dependability for ad-hoc systems
DEIS: DEPLOYMENT TARGETS
5
Improve Cyber-Physical Systems (CPS) by the
introduction of Digital Dependability Identity (DDI)
a. Efficient synthesis over the supply chain
b. Safe and secure composition of highly distributed
and autonomous CPS
Apply to four use industrial use cases from 3 different
domains
6
DEIS – THE USE CASES
Target: intelligent physiological parameter monitoring for automotive applications to monitor driver comfort
and capability to safely control the vehicle for transition scenarios
Challenge: secure transmission of driver health information
7
USE CASE 1: AUTOMOTIVE DOMAIN
Target: Evaluation of automated driving functions and the dependability impact of connected powertrain on
advanced driver simulator
Challenge: evaluation and integration of cyber-physical systems and systems of systems with a high degree of
autonomy
8
USE CASE 2: AUTOMOTIVE DOMAIN
Target: Dependability framework with heterogeneous (cross-industry) participants
Challenge: interoperability in the area of safety engineering across companies, railway operators as well as
safety authorities
9
USE CASE 3: RAILWAY DOMAIN
Target: Clinical decision support app for oncology professionals
Challenge: higher capability for ad-hoc integration in Electronic Health Records, taking into consideration
security issues
10
USE CASE 4: HEALTHCARE DOMAIN
 Universal exchange of dependability information
 Lack of common model for representing DDIs
 Expressive and machine executable
 Shield sensitive information to protect IP
 Efficient dependability assurance across industries and value chains
 Component providers should be able to generate DDIs based on the dependability
information of the components
 Include information for dependability assurance
 Dependability considered from the early stage: MDE is applicable for its advantages in
automation
 Dependable integration of systems in the field
 Dependability of CPS cannot be fully assured prior to deployment, thus need automated
evaluation of DDIs
DEIS: CHALLENGES FOR DDI
11
 Objective 1: An open model for specifying Digital Dependability
Identities enabling the efficient integration of modular
dependability assurance cases
 Objective 2: Semi-automated framework for the generation and
evaluation of DDIs
 Objective 3: A framework for the in-the-field dependability
assurance in CPS
 Objective 4: autonomous and connected CPS use cases
DEIS TECHNICAL APPROACH – THE DDI
12
13
PROJECT STRUCTURE
WP1 project
management
WP2 project requirements
WP3 model concept
WP4 dependability
collaboration workspace
WP6 Case studies and evaluations
WP7 impact
management –
clustering,
dissemination
and
exploitation
WP5
autonomous
and
connected
CPS
 Definition of a metamodel for DDI: Open Dependability Exchange (ODE)
metamodel
 A semi-automated framework for the generation and evaluation of DDIs
 A framework for the in-the-field dependability assurance in CPS
 Autonomous and connected CPS use cases and evaluations
DEIS: EXPECTED OUTCOMES
14
 Requirement elicitation
 Requirements for the exchange of dependability-related information and the specification of modular
DDIs
 Requirements for the tooling support needed to check the validity of the available dependability
information and to model DDIs
 Requirements for applying the DEIS approach within the automotive, healthcare and the railway domain
and evaluating the project results compared to the state-of-the-art and the state-of-practice
 DDI concept
 Engineering stories
 Progress from University of York
 Implementation of Structured Assurance Case Metamode (SACM) in EMF
 Implementation of Goal Structuring Notation (GSN) in EMF: metamodel, editor, framework
 Model to model transformation from GSN to SACM
 Tool support for SACM and GSN creations
DEIS: CURRENT STATUS
15
 Questions
THANK YOU
16

More Related Content

Similar to DEIS: Dependability Engineering Innovation for Cypber-Physical Systems

IoT Summit yajuan guan
IoT Summit yajuan guanIoT Summit yajuan guan
IoT Summit yajuan guan
Juan C. Vasquez
 
CLOUD COMPUTING AND BYOD: BENEFITS AND CHALLENGES IN MODERN HEALTHCARE
CLOUD COMPUTING AND BYOD: BENEFITS AND CHALLENGES IN MODERN HEALTHCARECLOUD COMPUTING AND BYOD: BENEFITS AND CHALLENGES IN MODERN HEALTHCARE
CLOUD COMPUTING AND BYOD: BENEFITS AND CHALLENGES IN MODERN HEALTHCARE
UsmanYakubuMaaruf
 
IBM Think Milano
IBM Think MilanoIBM Think Milano
IBM Think Milano
ATMOSPHERE .
 
ENVRIPLUS Data for Science Theme
ENVRIPLUS Data for Science ThemeENVRIPLUS Data for Science Theme
ENVRIPLUS Data for Science Theme
EUDAT
 
IHE and Connected Health in New Zealand
IHE and Connected Health in New ZealandIHE and Connected Health in New Zealand
IHE and Connected Health in New Zealand
HL7 New Zealand
 
Self-adaptation Challenges for Cloud-based Applications (Feedback Computing 2...
Self-adaptation Challenges for Cloud-based Applications (Feedback Computing 2...Self-adaptation Challenges for Cloud-based Applications (Feedback Computing 2...
Self-adaptation Challenges for Cloud-based Applications (Feedback Computing 2...
Soodeh Farokhi
 
fault tolerance management in cloud computing
fault tolerance management in cloud computingfault tolerance management in cloud computing
fault tolerance management in cloud computing
Kruthikka Palraj
 
RECAP at ETSI Experiential Network Intelligence (ENI) Meeting
RECAP at ETSI Experiential Network Intelligence (ENI) MeetingRECAP at ETSI Experiential Network Intelligence (ENI) Meeting
RECAP at ETSI Experiential Network Intelligence (ENI) Meeting
RECAP Project
 
9fcfd50a69d9647585
9fcfd50a69d96475859fcfd50a69d9647585
9fcfd50a69d9647585
Mowaten Masry
 
Cloud Computing in Chemical Industry
Cloud Computing in Chemical IndustryCloud Computing in Chemical Industry
Cloud Computing in Chemical Industry
journal ijrtem
 
2018 10-distribution automation-trends-andchallenges
2018 10-distribution automation-trends-andchallenges2018 10-distribution automation-trends-andchallenges
2018 10-distribution automation-trends-andchallenges
Abhilash Gopalakrishnan
 
Unmanned Aerial Vehicles: COMP4DRONES (ECSEL JU)
Unmanned Aerial Vehicles: COMP4DRONES (ECSEL JU)Unmanned Aerial Vehicles: COMP4DRONES (ECSEL JU)
Unmanned Aerial Vehicles: COMP4DRONES (ECSEL JU)
Big Data Value Association
 
A Preliminary Study on Architecting Cyber-Physical Systems
A Preliminary Study on Architecting Cyber-Physical SystemsA Preliminary Study on Architecting Cyber-Physical Systems
A Preliminary Study on Architecting Cyber-Physical Systems
Henry Muccini
 
A new era for the chemicals industry: Cloud computing changes the game
A new era for the chemicals industry: Cloud computing changes the gameA new era for the chemicals industry: Cloud computing changes the game
A new era for the chemicals industry: Cloud computing changes the game
accenture
 
Generic vehicle architecture
Generic vehicle architectureGeneric vehicle architecture
Generic vehicle architecture
Gerardo Pardo-Castellote
 
Cloud Computing for Medical Application and Health Care
Cloud Computing for Medical Application and Health CareCloud Computing for Medical Application and Health Care
Cloud Computing for Medical Application and Health Care
IRJET Journal
 
InteGrid replication road map brochure
InteGrid replication road map brochureInteGrid replication road map brochure
InteGrid replication road map brochure
Sergio Potenciano Menci
 
Module 2-Cloud Computing Architecture.pptx
Module 2-Cloud Computing Architecture.pptxModule 2-Cloud Computing Architecture.pptx
Module 2-Cloud Computing Architecture.pptx
SabaFatima350242
 
Cps sec sg sg2017 conf_iran
Cps sec sg  sg2017 conf_iranCps sec sg  sg2017 conf_iran
Cps sec sg sg2017 conf_iran
Ahmadreza Ghaznavi
 
Cloud service ranking with an integration of k-means algorithm and decision-m...
Cloud service ranking with an integration of k-means algorithm and decision-m...Cloud service ranking with an integration of k-means algorithm and decision-m...
Cloud service ranking with an integration of k-means algorithm and decision-m...
IJECEIAES
 

Similar to DEIS: Dependability Engineering Innovation for Cypber-Physical Systems (20)

IoT Summit yajuan guan
IoT Summit yajuan guanIoT Summit yajuan guan
IoT Summit yajuan guan
 
CLOUD COMPUTING AND BYOD: BENEFITS AND CHALLENGES IN MODERN HEALTHCARE
CLOUD COMPUTING AND BYOD: BENEFITS AND CHALLENGES IN MODERN HEALTHCARECLOUD COMPUTING AND BYOD: BENEFITS AND CHALLENGES IN MODERN HEALTHCARE
CLOUD COMPUTING AND BYOD: BENEFITS AND CHALLENGES IN MODERN HEALTHCARE
 
IBM Think Milano
IBM Think MilanoIBM Think Milano
IBM Think Milano
 
ENVRIPLUS Data for Science Theme
ENVRIPLUS Data for Science ThemeENVRIPLUS Data for Science Theme
ENVRIPLUS Data for Science Theme
 
IHE and Connected Health in New Zealand
IHE and Connected Health in New ZealandIHE and Connected Health in New Zealand
IHE and Connected Health in New Zealand
 
Self-adaptation Challenges for Cloud-based Applications (Feedback Computing 2...
Self-adaptation Challenges for Cloud-based Applications (Feedback Computing 2...Self-adaptation Challenges for Cloud-based Applications (Feedback Computing 2...
Self-adaptation Challenges for Cloud-based Applications (Feedback Computing 2...
 
fault tolerance management in cloud computing
fault tolerance management in cloud computingfault tolerance management in cloud computing
fault tolerance management in cloud computing
 
RECAP at ETSI Experiential Network Intelligence (ENI) Meeting
RECAP at ETSI Experiential Network Intelligence (ENI) MeetingRECAP at ETSI Experiential Network Intelligence (ENI) Meeting
RECAP at ETSI Experiential Network Intelligence (ENI) Meeting
 
9fcfd50a69d9647585
9fcfd50a69d96475859fcfd50a69d9647585
9fcfd50a69d9647585
 
Cloud Computing in Chemical Industry
Cloud Computing in Chemical IndustryCloud Computing in Chemical Industry
Cloud Computing in Chemical Industry
 
2018 10-distribution automation-trends-andchallenges
2018 10-distribution automation-trends-andchallenges2018 10-distribution automation-trends-andchallenges
2018 10-distribution automation-trends-andchallenges
 
Unmanned Aerial Vehicles: COMP4DRONES (ECSEL JU)
Unmanned Aerial Vehicles: COMP4DRONES (ECSEL JU)Unmanned Aerial Vehicles: COMP4DRONES (ECSEL JU)
Unmanned Aerial Vehicles: COMP4DRONES (ECSEL JU)
 
A Preliminary Study on Architecting Cyber-Physical Systems
A Preliminary Study on Architecting Cyber-Physical SystemsA Preliminary Study on Architecting Cyber-Physical Systems
A Preliminary Study on Architecting Cyber-Physical Systems
 
A new era for the chemicals industry: Cloud computing changes the game
A new era for the chemicals industry: Cloud computing changes the gameA new era for the chemicals industry: Cloud computing changes the game
A new era for the chemicals industry: Cloud computing changes the game
 
Generic vehicle architecture
Generic vehicle architectureGeneric vehicle architecture
Generic vehicle architecture
 
Cloud Computing for Medical Application and Health Care
Cloud Computing for Medical Application and Health CareCloud Computing for Medical Application and Health Care
Cloud Computing for Medical Application and Health Care
 
InteGrid replication road map brochure
InteGrid replication road map brochureInteGrid replication road map brochure
InteGrid replication road map brochure
 
Module 2-Cloud Computing Architecture.pptx
Module 2-Cloud Computing Architecture.pptxModule 2-Cloud Computing Architecture.pptx
Module 2-Cloud Computing Architecture.pptx
 
Cps sec sg sg2017 conf_iran
Cps sec sg  sg2017 conf_iranCps sec sg  sg2017 conf_iran
Cps sec sg sg2017 conf_iran
 
Cloud service ranking with an integration of k-means algorithm and decision-m...
Cloud service ranking with an integration of k-means algorithm and decision-m...Cloud service ranking with an integration of k-means algorithm and decision-m...
Cloud service ranking with an integration of k-means algorithm and decision-m...
 

Recently uploaded

Suzanne Lagerweij - Influence Without Power - Why Empathy is Your Best Friend...
Suzanne Lagerweij - Influence Without Power - Why Empathy is Your Best Friend...Suzanne Lagerweij - Influence Without Power - Why Empathy is Your Best Friend...
Suzanne Lagerweij - Influence Without Power - Why Empathy is Your Best Friend...
Suzanne Lagerweij
 
Gregory Harris - Cycle 2 - Civics Presentation
Gregory Harris - Cycle 2 - Civics PresentationGregory Harris - Cycle 2 - Civics Presentation
Gregory Harris - Cycle 2 - Civics Presentation
gharris9
 
Presentatie 4. Jochen Cremer - TU Delft 28 mei 2024
Presentatie 4. Jochen Cremer - TU Delft 28 mei 2024Presentatie 4. Jochen Cremer - TU Delft 28 mei 2024
Presentatie 4. Jochen Cremer - TU Delft 28 mei 2024
Dutch Power
 
2024-05-30_meetup_devops_aix-marseille.pdf
2024-05-30_meetup_devops_aix-marseille.pdf2024-05-30_meetup_devops_aix-marseille.pdf
2024-05-30_meetup_devops_aix-marseille.pdf
Frederic Leger
 
Mastering the Concepts Tested in the Databricks Certified Data Engineer Assoc...
Mastering the Concepts Tested in the Databricks Certified Data Engineer Assoc...Mastering the Concepts Tested in the Databricks Certified Data Engineer Assoc...
Mastering the Concepts Tested in the Databricks Certified Data Engineer Assoc...
SkillCertProExams
 
原版制作贝德福特大学毕业证(bedfordhire毕业证)硕士文凭原版一模一样
原版制作贝德福特大学毕业证(bedfordhire毕业证)硕士文凭原版一模一样原版制作贝德福特大学毕业证(bedfordhire毕业证)硕士文凭原版一模一样
原版制作贝德福特大学毕业证(bedfordhire毕业证)硕士文凭原版一模一样
gpww3sf4
 
Tom tresser burning issue.pptx My Burning issue
Tom tresser burning issue.pptx My Burning issueTom tresser burning issue.pptx My Burning issue
Tom tresser burning issue.pptx My Burning issue
amekonnen
 
Competition and Regulation in Professions and Occupations – ROBSON – June 202...
Competition and Regulation in Professions and Occupations – ROBSON – June 202...Competition and Regulation in Professions and Occupations – ROBSON – June 202...
Competition and Regulation in Professions and Occupations – ROBSON – June 202...
OECD Directorate for Financial and Enterprise Affairs
 
Gregory Harris' Civics Presentation.pptx
Gregory Harris' Civics Presentation.pptxGregory Harris' Civics Presentation.pptx
Gregory Harris' Civics Presentation.pptx
gharris9
 
ASONAM2023_presection_slide_track-recommendation.pdf
ASONAM2023_presection_slide_track-recommendation.pdfASONAM2023_presection_slide_track-recommendation.pdf
ASONAM2023_presection_slide_track-recommendation.pdf
ToshihiroIto4
 
Carrer goals.pptx and their importance in real life
Carrer goals.pptx  and their importance in real lifeCarrer goals.pptx  and their importance in real life
Carrer goals.pptx and their importance in real life
artemacademy2
 
Artificial Intelligence, Data and Competition – SCHREPEL – June 2024 OECD dis...
Artificial Intelligence, Data and Competition – SCHREPEL – June 2024 OECD dis...Artificial Intelligence, Data and Competition – SCHREPEL – June 2024 OECD dis...
Artificial Intelligence, Data and Competition – SCHREPEL – June 2024 OECD dis...
OECD Directorate for Financial and Enterprise Affairs
 
Presentatie 8. Joost van der Linde & Daniel Anderton - Eliq 28 mei 2024
Presentatie 8. Joost van der Linde & Daniel Anderton - Eliq 28 mei 2024Presentatie 8. Joost van der Linde & Daniel Anderton - Eliq 28 mei 2024
Presentatie 8. Joost van der Linde & Daniel Anderton - Eliq 28 mei 2024
Dutch Power
 
Collapsing Narratives: Exploring Non-Linearity • a micro report by Rosie Wells
Collapsing Narratives: Exploring Non-Linearity • a micro report by Rosie WellsCollapsing Narratives: Exploring Non-Linearity • a micro report by Rosie Wells
Collapsing Narratives: Exploring Non-Linearity • a micro report by Rosie Wells
Rosie Wells
 
Pro-competitive Industrial Policy – OECD – June 2024 OECD discussion
Pro-competitive Industrial Policy – OECD – June 2024 OECD discussionPro-competitive Industrial Policy – OECD – June 2024 OECD discussion
Pro-competitive Industrial Policy – OECD – June 2024 OECD discussion
OECD Directorate for Financial and Enterprise Affairs
 
Updated diagnosis. Cause and treatment of hypothyroidism
Updated diagnosis. Cause and treatment of hypothyroidismUpdated diagnosis. Cause and treatment of hypothyroidism
Updated diagnosis. Cause and treatment of hypothyroidism
Faculty of Medicine And Health Sciences
 
Artificial Intelligence, Data and Competition – OECD – June 2024 OECD discussion
Artificial Intelligence, Data and Competition – OECD – June 2024 OECD discussionArtificial Intelligence, Data and Competition – OECD – June 2024 OECD discussion
Artificial Intelligence, Data and Competition – OECD – June 2024 OECD discussion
OECD Directorate for Financial and Enterprise Affairs
 
Artificial Intelligence, Data and Competition – LIM – June 2024 OECD discussion
Artificial Intelligence, Data and Competition – LIM – June 2024 OECD discussionArtificial Intelligence, Data and Competition – LIM – June 2024 OECD discussion
Artificial Intelligence, Data and Competition – LIM – June 2024 OECD discussion
OECD Directorate for Financial and Enterprise Affairs
 
Burning Issue Presentation By Kenmaryon.pdf
Burning Issue Presentation By Kenmaryon.pdfBurning Issue Presentation By Kenmaryon.pdf
Burning Issue Presentation By Kenmaryon.pdf
kkirkland2
 
Competition and Regulation in Professions and Occupations – OECD – June 2024 ...
Competition and Regulation in Professions and Occupations – OECD – June 2024 ...Competition and Regulation in Professions and Occupations – OECD – June 2024 ...
Competition and Regulation in Professions and Occupations – OECD – June 2024 ...
OECD Directorate for Financial and Enterprise Affairs
 

Recently uploaded (20)

Suzanne Lagerweij - Influence Without Power - Why Empathy is Your Best Friend...
Suzanne Lagerweij - Influence Without Power - Why Empathy is Your Best Friend...Suzanne Lagerweij - Influence Without Power - Why Empathy is Your Best Friend...
Suzanne Lagerweij - Influence Without Power - Why Empathy is Your Best Friend...
 
Gregory Harris - Cycle 2 - Civics Presentation
Gregory Harris - Cycle 2 - Civics PresentationGregory Harris - Cycle 2 - Civics Presentation
Gregory Harris - Cycle 2 - Civics Presentation
 
Presentatie 4. Jochen Cremer - TU Delft 28 mei 2024
Presentatie 4. Jochen Cremer - TU Delft 28 mei 2024Presentatie 4. Jochen Cremer - TU Delft 28 mei 2024
Presentatie 4. Jochen Cremer - TU Delft 28 mei 2024
 
2024-05-30_meetup_devops_aix-marseille.pdf
2024-05-30_meetup_devops_aix-marseille.pdf2024-05-30_meetup_devops_aix-marseille.pdf
2024-05-30_meetup_devops_aix-marseille.pdf
 
Mastering the Concepts Tested in the Databricks Certified Data Engineer Assoc...
Mastering the Concepts Tested in the Databricks Certified Data Engineer Assoc...Mastering the Concepts Tested in the Databricks Certified Data Engineer Assoc...
Mastering the Concepts Tested in the Databricks Certified Data Engineer Assoc...
 
原版制作贝德福特大学毕业证(bedfordhire毕业证)硕士文凭原版一模一样
原版制作贝德福特大学毕业证(bedfordhire毕业证)硕士文凭原版一模一样原版制作贝德福特大学毕业证(bedfordhire毕业证)硕士文凭原版一模一样
原版制作贝德福特大学毕业证(bedfordhire毕业证)硕士文凭原版一模一样
 
Tom tresser burning issue.pptx My Burning issue
Tom tresser burning issue.pptx My Burning issueTom tresser burning issue.pptx My Burning issue
Tom tresser burning issue.pptx My Burning issue
 
Competition and Regulation in Professions and Occupations – ROBSON – June 202...
Competition and Regulation in Professions and Occupations – ROBSON – June 202...Competition and Regulation in Professions and Occupations – ROBSON – June 202...
Competition and Regulation in Professions and Occupations – ROBSON – June 202...
 
Gregory Harris' Civics Presentation.pptx
Gregory Harris' Civics Presentation.pptxGregory Harris' Civics Presentation.pptx
Gregory Harris' Civics Presentation.pptx
 
ASONAM2023_presection_slide_track-recommendation.pdf
ASONAM2023_presection_slide_track-recommendation.pdfASONAM2023_presection_slide_track-recommendation.pdf
ASONAM2023_presection_slide_track-recommendation.pdf
 
Carrer goals.pptx and their importance in real life
Carrer goals.pptx  and their importance in real lifeCarrer goals.pptx  and their importance in real life
Carrer goals.pptx and their importance in real life
 
Artificial Intelligence, Data and Competition – SCHREPEL – June 2024 OECD dis...
Artificial Intelligence, Data and Competition – SCHREPEL – June 2024 OECD dis...Artificial Intelligence, Data and Competition – SCHREPEL – June 2024 OECD dis...
Artificial Intelligence, Data and Competition – SCHREPEL – June 2024 OECD dis...
 
Presentatie 8. Joost van der Linde & Daniel Anderton - Eliq 28 mei 2024
Presentatie 8. Joost van der Linde & Daniel Anderton - Eliq 28 mei 2024Presentatie 8. Joost van der Linde & Daniel Anderton - Eliq 28 mei 2024
Presentatie 8. Joost van der Linde & Daniel Anderton - Eliq 28 mei 2024
 
Collapsing Narratives: Exploring Non-Linearity • a micro report by Rosie Wells
Collapsing Narratives: Exploring Non-Linearity • a micro report by Rosie WellsCollapsing Narratives: Exploring Non-Linearity • a micro report by Rosie Wells
Collapsing Narratives: Exploring Non-Linearity • a micro report by Rosie Wells
 
Pro-competitive Industrial Policy – OECD – June 2024 OECD discussion
Pro-competitive Industrial Policy – OECD – June 2024 OECD discussionPro-competitive Industrial Policy – OECD – June 2024 OECD discussion
Pro-competitive Industrial Policy – OECD – June 2024 OECD discussion
 
Updated diagnosis. Cause and treatment of hypothyroidism
Updated diagnosis. Cause and treatment of hypothyroidismUpdated diagnosis. Cause and treatment of hypothyroidism
Updated diagnosis. Cause and treatment of hypothyroidism
 
Artificial Intelligence, Data and Competition – OECD – June 2024 OECD discussion
Artificial Intelligence, Data and Competition – OECD – June 2024 OECD discussionArtificial Intelligence, Data and Competition – OECD – June 2024 OECD discussion
Artificial Intelligence, Data and Competition – OECD – June 2024 OECD discussion
 
Artificial Intelligence, Data and Competition – LIM – June 2024 OECD discussion
Artificial Intelligence, Data and Competition – LIM – June 2024 OECD discussionArtificial Intelligence, Data and Competition – LIM – June 2024 OECD discussion
Artificial Intelligence, Data and Competition – LIM – June 2024 OECD discussion
 
Burning Issue Presentation By Kenmaryon.pdf
Burning Issue Presentation By Kenmaryon.pdfBurning Issue Presentation By Kenmaryon.pdf
Burning Issue Presentation By Kenmaryon.pdf
 
Competition and Regulation in Professions and Occupations – OECD – June 2024 ...
Competition and Regulation in Professions and Occupations – OECD – June 2024 ...Competition and Regulation in Professions and Occupations – OECD – June 2024 ...
Competition and Regulation in Professions and Occupations – OECD – June 2024 ...
 

DEIS: Dependability Engineering Innovation for Cypber-Physical Systems

  • 1. This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 732242”. DEIS - DEPENDABILITY ENGINEERING INNOVATION FOR CPS Ran Wei1, Tim Kelly1, Richard Hawkins1, Eric Armenguad2 1University of York 2AVL List GmbH
  • 2.  DEIS : Dependability Engineering Innovation for CPS  Funding scheme: H2020 ICT-01-2016  Total Budge: €4,889,290  Start Date: January 1st, 2017  Duration: 3 years  Consortium: 10 partners  Coordinator: AVL List H2020 ICT-01-2016 DEIS 2
  • 3.  Involves both computer and physical systems and are connected to Internet/local networks  A mechanism controlled/monitored by computer-based algorithms, tightly integrated with the internet and its users.  Tendency: Open and adaptive  Loosely connected (openness)  Systems come together to form new system with temporary configuration, and provide service as a whole (adaptivity)  Number of configurations: unknown  Challenge: assuring dependability of CPS  How well they can function with one another  How safe they are as a whole CYBER-PHYSICAL SYSTEMS 3
  • 4. Addresses assurance of dependability for CPS  Important and unsolved challenge Forming a “science of dependable system integration” for CPS Core concept: Digital Dependability Identity (DDI)  Composable and executable  Contains attributes that describe the systems or components dependability behavior: faults propagation, described using concepts from the theory of safety contracts  Contains requirements on how the component interacts with other entities in a dependable way, described in terms of the level of trust and assurance.  Produced during design, issued when the component is released, and continuously maintained over the complete lifetime of a component or system. DEIS 4
  • 5.  Automotive: development of a stand-alone system for intelligent physiological parameter monitoring  Automotive: Evaluation of automated driving functions and the dependability impact of connected powertrain on advanced driver simulator  Railway: Plug-and-play environment for heterogeneous railway systems enabling dependable exchange of information between components and subsystems  Healthcare enhancement of clinical decision app for oncology professional targeting higher degree of dependability for ad-hoc systems DEIS: DEPLOYMENT TARGETS 5
  • 6. Improve Cyber-Physical Systems (CPS) by the introduction of Digital Dependability Identity (DDI) a. Efficient synthesis over the supply chain b. Safe and secure composition of highly distributed and autonomous CPS Apply to four use industrial use cases from 3 different domains 6 DEIS – THE USE CASES
  • 7. Target: intelligent physiological parameter monitoring for automotive applications to monitor driver comfort and capability to safely control the vehicle for transition scenarios Challenge: secure transmission of driver health information 7 USE CASE 1: AUTOMOTIVE DOMAIN
  • 8. Target: Evaluation of automated driving functions and the dependability impact of connected powertrain on advanced driver simulator Challenge: evaluation and integration of cyber-physical systems and systems of systems with a high degree of autonomy 8 USE CASE 2: AUTOMOTIVE DOMAIN
  • 9. Target: Dependability framework with heterogeneous (cross-industry) participants Challenge: interoperability in the area of safety engineering across companies, railway operators as well as safety authorities 9 USE CASE 3: RAILWAY DOMAIN
  • 10. Target: Clinical decision support app for oncology professionals Challenge: higher capability for ad-hoc integration in Electronic Health Records, taking into consideration security issues 10 USE CASE 4: HEALTHCARE DOMAIN
  • 11.  Universal exchange of dependability information  Lack of common model for representing DDIs  Expressive and machine executable  Shield sensitive information to protect IP  Efficient dependability assurance across industries and value chains  Component providers should be able to generate DDIs based on the dependability information of the components  Include information for dependability assurance  Dependability considered from the early stage: MDE is applicable for its advantages in automation  Dependable integration of systems in the field  Dependability of CPS cannot be fully assured prior to deployment, thus need automated evaluation of DDIs DEIS: CHALLENGES FOR DDI 11
  • 12.  Objective 1: An open model for specifying Digital Dependability Identities enabling the efficient integration of modular dependability assurance cases  Objective 2: Semi-automated framework for the generation and evaluation of DDIs  Objective 3: A framework for the in-the-field dependability assurance in CPS  Objective 4: autonomous and connected CPS use cases DEIS TECHNICAL APPROACH – THE DDI 12
  • 13. 13 PROJECT STRUCTURE WP1 project management WP2 project requirements WP3 model concept WP4 dependability collaboration workspace WP6 Case studies and evaluations WP7 impact management – clustering, dissemination and exploitation WP5 autonomous and connected CPS
  • 14.  Definition of a metamodel for DDI: Open Dependability Exchange (ODE) metamodel  A semi-automated framework for the generation and evaluation of DDIs  A framework for the in-the-field dependability assurance in CPS  Autonomous and connected CPS use cases and evaluations DEIS: EXPECTED OUTCOMES 14
  • 15.  Requirement elicitation  Requirements for the exchange of dependability-related information and the specification of modular DDIs  Requirements for the tooling support needed to check the validity of the available dependability information and to model DDIs  Requirements for applying the DEIS approach within the automotive, healthcare and the railway domain and evaluating the project results compared to the state-of-the-art and the state-of-practice  DDI concept  Engineering stories  Progress from University of York  Implementation of Structured Assurance Case Metamode (SACM) in EMF  Implementation of Goal Structuring Notation (GSN) in EMF: metamodel, editor, framework  Model to model transformation from GSN to SACM  Tool support for SACM and GSN creations DEIS: CURRENT STATUS 15