SlideShare uma empresa Scribd logo
1 de 23
Baixar para ler offline
Laurent Maillet-Contoz, STMicroelectronics, France
Virtual Twins:
Modeling Trends and Challenges Ahead
Outline
• Flavours of Digital Twins
• Evolution of the modeling trends over the last decade
• Illustration on two examples
• Upcoming challenges
• Conclusion
2
Flavours of Digital Twins
IP IP
IPSOCSystem
System of
systems
Digital Twin, model of:
• Product
• Production line
• Manufacturing process
Digital Twin, model of:
• System architecture
• Interaction between
system components
Virtual Twin, model of:
• SoC architecture
• Interactions between
hardware and software
3
Evolution of Design Flow: the Old Days
Shift-left paradigm
Architecture Implementation DebugArchitecture Implementation Debug
Software design
Architecture Design Verification Silicon Board
Hardware design
Specification
Integration/Validation
Functionality, safety, security
Performance
Virtual
prototype /
Twin
Savings
2000’s
2010’s
1666-2011
1685-2014
4
Usage of Virtual Twins Nowadays
• Before development of embedded software
• Find ambiguities and contradictions in specifications
• Prototype certain aspects of the specification (performance, low-power…)
• Development of embedded software / Validation
• Implement and test maximum number of aspects of the software and system
• Mature software
• Bringup
• Tool to understand “final” software execution and remaining bugs
• Customer own developments
• Develop user parts of the embedded software
• Integrate in bigger system
Pre
Si
Post
Si
5
Spec to Silicon Product =
Continuum of SoC Virtual Twins
Project lifetime
SOC
SoC
Black box model
SoC SystemC
architecture model
1666-2011
1685-2014
SoC systemC /
HDL co-simulation
SOC
Specification HW & SW Specifications
CPU IP IP
IPSOC
CPU IP IP
IPSOC
CPU
IP
(TLM)
IPSOC
IP
(RTL)
CPU
IP
(TLM)
IPSOC
IP
(RTL)
=Transactor
SoC systemC /
HDL Co-emulation / Co-protoyping
= SystemC model
= RTL
= HW emulator
= SW
6
Typical Profile for Complex SoC
• Processing intensive
• CPU, GPU, Neural PE, Image processing
• Many I/Os
• Sensors: LIDAR, Camera, GPS, etc.
• Electronic Control Units
• Safety and security constraints!
• Unexpected behaviours
• Hardware failures
7
Platform Case #1:
Complex SoC
• Multi-core CPU
• DDR 3 or 4
• Clusters
• Processing (Video encode/decode, Image)
• Security (dedicated processor)
• I/O (SATA, USB, PCIe, Wifi, Ethernet, CAN,
SPI, I2C, FlexRay, MiPHY …)
• Actuation/Sampling (PWM, ADC, etc.)
• “Raw” complexity
• 20+M lines of code for software
(Linux, proprietary RTOS, etc.)
• 1 M lines of code for the models
• Complex IPs
(P10)
(P11)
IP (P4)
Processor
(P1)
Processor
(P2)
IP (P3) memory
Interconnect
Eth
Wifi
CAN
USB
(P12)
8
Smart Objects & IoT
• Many Applications domains
• Consumer
• Industrial
• Medical
• …
• Connectivity
• Ethernet, Industrial buses
• Bluetooth, Wi-Fi, LoRa
• Security
• Distributed systems
• Low-power
9
Platform Case #2:
Proliferation of Small SoCs
• MCU/MPU: Few embedded cores
• SRAM
• “Offloading” IPs (DMA, Graphics)
• I/Os: GPIO (with some PWM), I2C, SPI...
• Connectivity: USB, Bluetooth, Ethernet
• Energy efficiency
• Security
• Complexity in the distributed system
“Locally simple, Globally complex”
Sensor 1
Sensor 2
Actuator
M7
STM32
Sensor 1
Sensor 2
Actuator
M7
STM32
Sensor 1
Sensor 2
Actuator
M7
STM32
Sensor 1
Sensor 2
Actuator
M7
STM32
Sensor 1
Sensor 2
Actuator
M7
STM32
Sensor 1
Sensor 2
Actuator
M7
STM32
Sensor 1
Sensor 2
Actuator
M7
STM32
Sensor 1
Sensor 2
Actuator
M7
STM32
10
Modeling Trends
• Anticipation of functional embedded software development and validation
• Introspection and diagnosis capabilities in virtual twins
• Running « untestable » scenarios
• Validation of dynamic power management strategies
• Reset and clock controller, clock trees
• Wake-up, low-power modes
• Integration of security features
• Validation of the (system-of-) system
• Sensor inputs and environmental effects
• From 10+ to 1000+ node instances
• Physical/virtual device unification
• Mixing actual devices and virtual twins in a single execution
11
Example: BLE Device Model
STM32 Bluetooth Low Energy (BLE)
Virtual Twins
BLE
USART
I/O
USART Window
USART
I/O
Bluetooth
RF channel
BLE
Node 0
GPIOs
Cortex M4
STM32
subsystem
Nucleo
Panel
Cortex M0
BlueTooth
Node 1
GPIOs
Cortex M4
STM32
subsystem
Nucleo
Panel
Cortex M0
BlueTooth
13
STM32 BLE Virtual Twin
• Abstract Hardware + Firmware: executable specification
• BLE state machine & BLE I/F
• STM32 subsystem
• ARM Cortex M4 Instruction Set Simulator
• GPIO, SPI, USART (core functionality needed)
• RCC, EXTI, SYSCFG (partial)
• Flash Interface, PWR (stub)
• Benefits
• Early availability of Virtual Twin: low effort thanks to high
abstraction level
• Scalable to tens of nodes
• Corner case software bugs identified
Ex: illegal values programmed in clock controller
GPIO
sNucleo
Panel
BLE I/FGATT
Cortex M0
BlueTooth
Cortex M4
STM32
subsystem
14
Example: Sensor Node Model
for Critical Water Management Infrastructure
IoT Device Model
Typical Architecture
MCU
Connectivity
Sensor
Embedded
software
Open
(%)
Flow
(m3/s)
Satur.
(%)
m
Benefits:
1. System validation without constraints
of physical devices
2. Manage complexity
3. Increase flexibility and productivity
4. Increase the system reliability
16
Sensor Node Black Box Model
• A simple service-oriented model
• Black-box
• No detail on internal architecture
• Embedded firmware is abstracted
• Measures obtained from a file
• Early availability
• Fast execution
• Generation of data communication
to the gateway
• Used as the functional contract of
the sensor node specification
Fecha;EMALCSA/00 PRESA CECEBRE/02
Válvulas/Compuerta 3/Apertura (%);EMALCSA/00
PRESA CECEBRE/02 Válvulas/Compuerta 3/Caudal
(m3/s);EMALCSA/00 PRESA CECEBRE/02
Válvulas/Compuerta 3/Desague (%)
08/04/2019 00:25:21.871;10.11571;2.615295;9.07122
08/04/2019 00:35:21.879;10.11571;2.616884;9.061384
08/04/2019 00:45:21.887;10.11571;2.616821;9.061776
08/04/2019 00:55:21.911;10.11571;2.617014;9.060584
08/04/2019 01:05:21.920;10.11571;2.618574;9.050963
08/04/2019 01:15:21.928;10.11571;2.618614;9.050715
Post data towards gateway
17
Sensor Node SystemC Architecture Model
• Sensor node architectural model
includes
• Microcontroller Instruction Accurate
model
• Register accurate model of
peripherals
• Embedded software
• Running on STM32 model
• Using STM32 HAL
• Collects data from sensor model
through I2C bus
• Programs connectivity IP model to
issue communication
• Generation of data communication
to the gateway
• Conform to the functional
contract of the sensor node
Fecha;EMALCSA/00 PRESA CECEBRE/02
Válvulas/Compuerta 3/Apertura (%);EMALCSA/00
PRESA CECEBRE/02 Válvulas/Compuerta 3/Caudal
(m3/s);EMALCSA/00 PRESA CECEBRE/02
Válvulas/Compuerta 3/Desague (%)
08/04/2019 00:25:21.871;10.11571;2.615295;9.07122
08/04/2019
00:35:21.879;10.11571;2.616884;9.061384
08/04/2019
00:45:21.887;10.11571;2.616821;9.061776
08/04/2019
00:55:21.911;10.11571;2.617014;9.060584
08/04/2019
01:05:21.920;10.11571;2.618574;9.050963
08/04/2019
01:15:21.928;10.11571;2.618614;9.050715
Post data towards the gateway
Cortex M4
STM32
Connectivity
Flow
Meter
sensor
i2c
registers
Payload
(registers values)
Embedded
software
STM32 F411
ARM
CM4
I
C
N
Flash
RCC
SPI
GPIO
EXTI
Mem
PWR
I2C
SCI
SYS
CFG
1666-2011
18
Challenges Ahead
Extending the Virtual Twin
at the Next Level
• Automotive domain: the whole system is a big network!
• CAN, LIN, FlexRay, Ethernet AVB, MOST…
• How to model inter-components protocols?
• Which abstraction for the “blocks”?
• Interoperability concern for virtual twins integration
• Standardization effort still to be undertaken
https://www.hyundai.news/eu/brand/hyundai-and-cisco-to-bring-vehicle-with-next-generation-network-technology-in-2019/
20
Multi-system Integration
Computing farm
System
address
map
TLM IP
model
Process
or model
AMS
model
TLM IP
model
Memor
y
model
I/O
Interconnect model
• Models in different technical states
• OS, Compiler, Simulation kernel
• Heterogeneous domains
• Digital, AMS, Multi-physics
• Code sharing constraints vs flexibility
required by customers
• Replace IP X by Y
• Add customer-specific IP
• Idea: each domain in separate simulation
• Challenges: performance, semantics
• Opportunity: exploiting multi-cores?
21
Multi-level Twins Integration
• Address simulation speed concern
• Manage several levels of abstraction
• Guaranty functional equivalence
• Mitigate the modeling costs
• Ensure seamless integration / substitution of twins
• Interfaces interoperability
• Heterogeneous modeling languages & frameworks
22
Takeaways
• Usage of virtual twins for different categories of circuits
• Complex SoCs
• Smart objects
• Trends and benefits
• Early validation of embedded software & power management strategies
• Testing “untestable“ scenarios
• Integration of security features
• Manage connectivity
• Scalable validation of the (system-of-) system
• Physical/virtual device unification
• Upcoming challenges
• Expand to the next level
• Heterogeneous models integration
• Management of multi-abstraction twins
23

Mais conteúdo relacionado

Mais procurados

Track 5 session 4 - st dev con 2016 - life cycle management for web
Track 5   session 4 - st dev con 2016 - life cycle management for webTrack 5   session 4 - st dev con 2016 - life cycle management for web
Track 5 session 4 - st dev con 2016 - life cycle management for webST_World
 
BruCON 2015 - Pentesting ICS 101
BruCON 2015 - Pentesting ICS 101BruCON 2015 - Pentesting ICS 101
BruCON 2015 - Pentesting ICS 101Wavestone
 
Techniques of attacking ICS systems
Techniques of attacking ICS systems Techniques of attacking ICS systems
Techniques of attacking ICS systems qqlan
 
Protecting Your DNP3 Networks
Protecting Your DNP3 NetworksProtecting Your DNP3 Networks
Protecting Your DNP3 NetworksChris Sistrunk
 
Attacking SCADA systems: Story Of SCADASTRANGELOVE
Attacking SCADA systems: Story Of SCADASTRANGELOVEAttacking SCADA systems: Story Of SCADASTRANGELOVE
Attacking SCADA systems: Story Of SCADASTRANGELOVEAleksandr Timorin
 
Security testing in critical systems
Security testing in critical systemsSecurity testing in critical systems
Security testing in critical systemsPeter Wood
 
ICS/SCADA/PLC Google/Shodanhq Cheat Sheet v2
ICS/SCADA/PLC Google/Shodanhq Cheat Sheet v2ICS/SCADA/PLC Google/Shodanhq Cheat Sheet v2
ICS/SCADA/PLC Google/Shodanhq Cheat Sheet v2qqlan
 
Industrial protocols for pentesters
Industrial protocols for pentestersIndustrial protocols for pentesters
Industrial protocols for pentestersPositive Hack Days
 
Master Serial Killer - DEF CON 22 - ICS Village
Master Serial Killer - DEF CON 22 - ICS VillageMaster Serial Killer - DEF CON 22 - ICS Village
Master Serial Killer - DEF CON 22 - ICS VillageChris Sistrunk
 
SCADA StrangeLove 2: We already know
SCADA StrangeLove 2:  We already knowSCADA StrangeLove 2:  We already know
SCADA StrangeLove 2: We already knowqqlan
 
SCADA deep inside: protocols and security mechanisms
SCADA deep inside: protocols and security mechanismsSCADA deep inside: protocols and security mechanisms
SCADA deep inside: protocols and security mechanismsAleksandr Timorin
 
Ec2308 mini project
Ec2308 mini projectEc2308 mini project
Ec2308 mini projectunnimaya_k
 
SCADA Strangelove: взлом во имя
SCADA Strangelove: взлом во имяSCADA Strangelove: взлом во имя
SCADA Strangelove: взлом во имяEkaterina Melnik
 
RISC-V-Day-Tokyo2018-suzaki
RISC-V-Day-Tokyo2018-suzakiRISC-V-Day-Tokyo2018-suzaki
RISC-V-Day-Tokyo2018-suzakiKuniyasu Suzaki
 
Swastik Power | Digital Multimeter, Clamp Meter, Voltage Detectors, Infrared ...
Swastik Power | Digital Multimeter, Clamp Meter, Voltage Detectors, Infrared ...Swastik Power | Digital Multimeter, Clamp Meter, Voltage Detectors, Infrared ...
Swastik Power | Digital Multimeter, Clamp Meter, Voltage Detectors, Infrared ...Indian Market Place
 
DEF CON 23 - NSM 101 for ICS
DEF CON 23 - NSM 101 for ICSDEF CON 23 - NSM 101 for ICS
DEF CON 23 - NSM 101 for ICSChris Sistrunk
 
2. crisp final conf ste fi workshop_reflections iec-tc79 wg12
2. crisp final conf ste fi workshop_reflections iec-tc79 wg122. crisp final conf ste fi workshop_reflections iec-tc79 wg12
2. crisp final conf ste fi workshop_reflections iec-tc79 wg12CRISP Project
 
KEDACOM - Recognitive IP video solutions
KEDACOM - Recognitive IP video solutionsKEDACOM - Recognitive IP video solutions
KEDACOM - Recognitive IP video solutionsKEDACOM
 
Detailed portfolio for IP Cameras by Pelco
Detailed portfolio for IP Cameras by PelcoDetailed portfolio for IP Cameras by Pelco
Detailed portfolio for IP Cameras by PelcoSheikh Sabri
 

Mais procurados (20)

Track 5 session 4 - st dev con 2016 - life cycle management for web
Track 5   session 4 - st dev con 2016 - life cycle management for webTrack 5   session 4 - st dev con 2016 - life cycle management for web
Track 5 session 4 - st dev con 2016 - life cycle management for web
 
10 Reasons to use the Renesas Remote IO solution kit
10 Reasons to use the Renesas Remote IO solution kit10 Reasons to use the Renesas Remote IO solution kit
10 Reasons to use the Renesas Remote IO solution kit
 
BruCON 2015 - Pentesting ICS 101
BruCON 2015 - Pentesting ICS 101BruCON 2015 - Pentesting ICS 101
BruCON 2015 - Pentesting ICS 101
 
Techniques of attacking ICS systems
Techniques of attacking ICS systems Techniques of attacking ICS systems
Techniques of attacking ICS systems
 
Protecting Your DNP3 Networks
Protecting Your DNP3 NetworksProtecting Your DNP3 Networks
Protecting Your DNP3 Networks
 
Attacking SCADA systems: Story Of SCADASTRANGELOVE
Attacking SCADA systems: Story Of SCADASTRANGELOVEAttacking SCADA systems: Story Of SCADASTRANGELOVE
Attacking SCADA systems: Story Of SCADASTRANGELOVE
 
Security testing in critical systems
Security testing in critical systemsSecurity testing in critical systems
Security testing in critical systems
 
ICS/SCADA/PLC Google/Shodanhq Cheat Sheet v2
ICS/SCADA/PLC Google/Shodanhq Cheat Sheet v2ICS/SCADA/PLC Google/Shodanhq Cheat Sheet v2
ICS/SCADA/PLC Google/Shodanhq Cheat Sheet v2
 
Industrial protocols for pentesters
Industrial protocols for pentestersIndustrial protocols for pentesters
Industrial protocols for pentesters
 
Master Serial Killer - DEF CON 22 - ICS Village
Master Serial Killer - DEF CON 22 - ICS VillageMaster Serial Killer - DEF CON 22 - ICS Village
Master Serial Killer - DEF CON 22 - ICS Village
 
SCADA StrangeLove 2: We already know
SCADA StrangeLove 2:  We already knowSCADA StrangeLove 2:  We already know
SCADA StrangeLove 2: We already know
 
SCADA deep inside: protocols and security mechanisms
SCADA deep inside: protocols and security mechanismsSCADA deep inside: protocols and security mechanisms
SCADA deep inside: protocols and security mechanisms
 
Ec2308 mini project
Ec2308 mini projectEc2308 mini project
Ec2308 mini project
 
SCADA Strangelove: взлом во имя
SCADA Strangelove: взлом во имяSCADA Strangelove: взлом во имя
SCADA Strangelove: взлом во имя
 
RISC-V-Day-Tokyo2018-suzaki
RISC-V-Day-Tokyo2018-suzakiRISC-V-Day-Tokyo2018-suzaki
RISC-V-Day-Tokyo2018-suzaki
 
Swastik Power | Digital Multimeter, Clamp Meter, Voltage Detectors, Infrared ...
Swastik Power | Digital Multimeter, Clamp Meter, Voltage Detectors, Infrared ...Swastik Power | Digital Multimeter, Clamp Meter, Voltage Detectors, Infrared ...
Swastik Power | Digital Multimeter, Clamp Meter, Voltage Detectors, Infrared ...
 
DEF CON 23 - NSM 101 for ICS
DEF CON 23 - NSM 101 for ICSDEF CON 23 - NSM 101 for ICS
DEF CON 23 - NSM 101 for ICS
 
2. crisp final conf ste fi workshop_reflections iec-tc79 wg12
2. crisp final conf ste fi workshop_reflections iec-tc79 wg122. crisp final conf ste fi workshop_reflections iec-tc79 wg12
2. crisp final conf ste fi workshop_reflections iec-tc79 wg12
 
KEDACOM - Recognitive IP video solutions
KEDACOM - Recognitive IP video solutionsKEDACOM - Recognitive IP video solutions
KEDACOM - Recognitive IP video solutions
 
Detailed portfolio for IP Cameras by Pelco
Detailed portfolio for IP Cameras by PelcoDetailed portfolio for IP Cameras by Pelco
Detailed portfolio for IP Cameras by Pelco
 

Semelhante a Virtual Twins: Modeling Trends and Challenges Ahead

Virtual Twins: Modeling Trends and Challenges Ahead
Virtual Twins: Modeling Trends and Challenges AheadVirtual Twins: Modeling Trends and Challenges Ahead
Virtual Twins: Modeling Trends and Challenges AheadBrain IoT Project
 
Embedded training report(mcs 51)
Embedded training report(mcs 51)Embedded training report(mcs 51)
Embedded training report(mcs 51)Gurwinder Singh
 
Emb Sys Rev Ver1
Emb Sys   Rev Ver1Emb Sys   Rev Ver1
Emb Sys Rev Ver1ncct
 
Casp report
Casp reportCasp report
Casp reportqudhuqdh
 
Brochure (2016-01-30)
Brochure (2016-01-30)Brochure (2016-01-30)
Brochure (2016-01-30)Jonah McLeod
 
Sigfox Makers Tour - Bratislava
Sigfox Makers Tour - BratislavaSigfox Makers Tour - Bratislava
Sigfox Makers Tour - BratislavaNicolas Lesconnec
 
Design & Implementation Of Fault Identification In Underground Cables Using IOT
Design & Implementation Of Fault Identification In Underground Cables Using IOTDesign & Implementation Of Fault Identification In Underground Cables Using IOT
Design & Implementation Of Fault Identification In Underground Cables Using IOTIRJET Journal
 
ICS Security 101 by Sandeep Singh
ICS Security 101 by Sandeep SinghICS Security 101 by Sandeep Singh
ICS Security 101 by Sandeep SinghOWASP Delhi
 
Test Execution Infrastructure for IoT Quality analysis
Test Execution Infrastructure for IoT Quality analysisTest Execution Infrastructure for IoT Quality analysis
Test Execution Infrastructure for IoT Quality analysisAxel Rennoch
 
Industrial Pioneers Days - Machine Learning
Industrial Pioneers Days - Machine LearningIndustrial Pioneers Days - Machine Learning
Industrial Pioneers Days - Machine LearningVEDLIoT Project
 
Introduction to embedded System.pptx
Introduction to embedded System.pptxIntroduction to embedded System.pptx
Introduction to embedded System.pptxPratik Gohel
 

Semelhante a Virtual Twins: Modeling Trends and Challenges Ahead (20)

Virtual Twins: Modeling Trends and Challenges Ahead
Virtual Twins: Modeling Trends and Challenges AheadVirtual Twins: Modeling Trends and Challenges Ahead
Virtual Twins: Modeling Trends and Challenges Ahead
 
ritesh (3)
ritesh (3)ritesh (3)
ritesh (3)
 
Embedded
EmbeddedEmbedded
Embedded
 
Embedded
EmbeddedEmbedded
Embedded
 
Portfolio
PortfolioPortfolio
Portfolio
 
Tos tutorial
Tos tutorialTos tutorial
Tos tutorial
 
Embedded training report(mcs 51)
Embedded training report(mcs 51)Embedded training report(mcs 51)
Embedded training report(mcs 51)
 
Emb Sys Rev Ver1
Emb Sys   Rev Ver1Emb Sys   Rev Ver1
Emb Sys Rev Ver1
 
Casp report
Casp reportCasp report
Casp report
 
Brochure (2016-01-30)
Brochure (2016-01-30)Brochure (2016-01-30)
Brochure (2016-01-30)
 
Sigfox Makers Tour - Bratislava
Sigfox Makers Tour - BratislavaSigfox Makers Tour - Bratislava
Sigfox Makers Tour - Bratislava
 
Design & Implementation Of Fault Identification In Underground Cables Using IOT
Design & Implementation Of Fault Identification In Underground Cables Using IOTDesign & Implementation Of Fault Identification In Underground Cables Using IOT
Design & Implementation Of Fault Identification In Underground Cables Using IOT
 
ICS Security 101 by Sandeep Singh
ICS Security 101 by Sandeep SinghICS Security 101 by Sandeep Singh
ICS Security 101 by Sandeep Singh
 
Test Execution Infrastructure for IoT Quality analysis
Test Execution Infrastructure for IoT Quality analysisTest Execution Infrastructure for IoT Quality analysis
Test Execution Infrastructure for IoT Quality analysis
 
Embedded System Basics
Embedded System BasicsEmbedded System Basics
Embedded System Basics
 
Industrial Pioneers Days - Machine Learning
Industrial Pioneers Days - Machine LearningIndustrial Pioneers Days - Machine Learning
Industrial Pioneers Days - Machine Learning
 
Embedded system
Embedded systemEmbedded system
Embedded system
 
Embeddedsystem
EmbeddedsystemEmbeddedsystem
Embeddedsystem
 
Introduction to embedded System.pptx
Introduction to embedded System.pptxIntroduction to embedded System.pptx
Introduction to embedded System.pptx
 
Ankit sarin
Ankit sarinAnkit sarin
Ankit sarin
 

Mais de Brain IoT Project

Statistical model checking bip tool
Statistical model checking bip toolStatistical model checking bip tool
Statistical model checking bip toolBrain IoT Project
 
Rigorous system design the bip framework
Rigorous system design the bip frameworkRigorous system design the bip framework
Rigorous system design the bip frameworkBrain IoT Project
 
SAM-IoT: A Cross-Platform Communication Mechanism for ROS-Based Cyber-Physica...
SAM-IoT: A Cross-Platform Communication Mechanism for ROS-Based Cyber-Physica...SAM-IoT: A Cross-Platform Communication Mechanism for ROS-Based Cyber-Physica...
SAM-IoT: A Cross-Platform Communication Mechanism for ROS-Based Cyber-Physica...Brain IoT Project
 
SAM-IoT: Model Based Methodology and Framework for Design and Management of N...
SAM-IoT: Model Based Methodology and Framework for Design and Management of N...SAM-IoT: Model Based Methodology and Framework for Design and Management of N...
SAM-IoT: Model Based Methodology and Framework for Design and Management of N...Brain IoT Project
 
SAM-IoT: Risk Assessment in IoT Case Study: Collaborative Robots System
SAM-IoT: Risk Assessment in IoT Case Study: Collaborative Robots SystemSAM-IoT: Risk Assessment in IoT Case Study: Collaborative Robots System
SAM-IoT: Risk Assessment in IoT Case Study: Collaborative Robots SystemBrain IoT Project
 
SAM-IoT: Securing low power device communication in critical infrastructure m...
SAM-IoT: Securing low power device communication in critical infrastructure m...SAM-IoT: Securing low power device communication in critical infrastructure m...
SAM-IoT: Securing low power device communication in critical infrastructure m...Brain IoT Project
 
IMB Brokerage day - EMALCSA: SICA platform and BRAIN-IoT
IMB Brokerage day -  EMALCSA: SICA platform and BRAIN-IoTIMB Brokerage day -  EMALCSA: SICA platform and BRAIN-IoT
IMB Brokerage day - EMALCSA: SICA platform and BRAIN-IoTBrain IoT Project
 
ROBOT PATH FINDER Case Study
ROBOT PATH FINDER Case StudyROBOT PATH FINDER Case Study
ROBOT PATH FINDER Case StudyBrain IoT Project
 
Overview of the WP4 of BRAIN-IoT
Overview of the WP4 of BRAIN-IoTOverview of the WP4 of BRAIN-IoT
Overview of the WP4 of BRAIN-IoTBrain IoT Project
 
Using Eclipse technologies to develop the BRAIN-IoT model-based framework for...
Using Eclipse technologies to develop the BRAIN-IoT model-based framework for...Using Eclipse technologies to develop the BRAIN-IoT model-based framework for...
Using Eclipse technologies to develop the BRAIN-IoT model-based framework for...Brain IoT Project
 
Brain-IoT Project: Security Cluster activities overview
Brain-IoT Project: Security Cluster activities overviewBrain-IoT Project: Security Cluster activities overview
Brain-IoT Project: Security Cluster activities overviewBrain IoT Project
 

Mais de Brain IoT Project (11)

Statistical model checking bip tool
Statistical model checking bip toolStatistical model checking bip tool
Statistical model checking bip tool
 
Rigorous system design the bip framework
Rigorous system design the bip frameworkRigorous system design the bip framework
Rigorous system design the bip framework
 
SAM-IoT: A Cross-Platform Communication Mechanism for ROS-Based Cyber-Physica...
SAM-IoT: A Cross-Platform Communication Mechanism for ROS-Based Cyber-Physica...SAM-IoT: A Cross-Platform Communication Mechanism for ROS-Based Cyber-Physica...
SAM-IoT: A Cross-Platform Communication Mechanism for ROS-Based Cyber-Physica...
 
SAM-IoT: Model Based Methodology and Framework for Design and Management of N...
SAM-IoT: Model Based Methodology and Framework for Design and Management of N...SAM-IoT: Model Based Methodology and Framework for Design and Management of N...
SAM-IoT: Model Based Methodology and Framework for Design and Management of N...
 
SAM-IoT: Risk Assessment in IoT Case Study: Collaborative Robots System
SAM-IoT: Risk Assessment in IoT Case Study: Collaborative Robots SystemSAM-IoT: Risk Assessment in IoT Case Study: Collaborative Robots System
SAM-IoT: Risk Assessment in IoT Case Study: Collaborative Robots System
 
SAM-IoT: Securing low power device communication in critical infrastructure m...
SAM-IoT: Securing low power device communication in critical infrastructure m...SAM-IoT: Securing low power device communication in critical infrastructure m...
SAM-IoT: Securing low power device communication in critical infrastructure m...
 
IMB Brokerage day - EMALCSA: SICA platform and BRAIN-IoT
IMB Brokerage day -  EMALCSA: SICA platform and BRAIN-IoTIMB Brokerage day -  EMALCSA: SICA platform and BRAIN-IoT
IMB Brokerage day - EMALCSA: SICA platform and BRAIN-IoT
 
ROBOT PATH FINDER Case Study
ROBOT PATH FINDER Case StudyROBOT PATH FINDER Case Study
ROBOT PATH FINDER Case Study
 
Overview of the WP4 of BRAIN-IoT
Overview of the WP4 of BRAIN-IoTOverview of the WP4 of BRAIN-IoT
Overview of the WP4 of BRAIN-IoT
 
Using Eclipse technologies to develop the BRAIN-IoT model-based framework for...
Using Eclipse technologies to develop the BRAIN-IoT model-based framework for...Using Eclipse technologies to develop the BRAIN-IoT model-based framework for...
Using Eclipse technologies to develop the BRAIN-IoT model-based framework for...
 
Brain-IoT Project: Security Cluster activities overview
Brain-IoT Project: Security Cluster activities overviewBrain-IoT Project: Security Cluster activities overview
Brain-IoT Project: Security Cluster activities overview
 

Último

AKTU Computer Networks notes --- Unit 3.pdf
AKTU Computer Networks notes ---  Unit 3.pdfAKTU Computer Networks notes ---  Unit 3.pdf
AKTU Computer Networks notes --- Unit 3.pdfankushspencer015
 
Online banking management system project.pdf
Online banking management system project.pdfOnline banking management system project.pdf
Online banking management system project.pdfKamal Acharya
 
Unleashing the Power of the SORA AI lastest leap
Unleashing the Power of the SORA AI lastest leapUnleashing the Power of the SORA AI lastest leap
Unleashing the Power of the SORA AI lastest leapRishantSharmaFr
 
data_management_and _data_science_cheat_sheet.pdf
data_management_and _data_science_cheat_sheet.pdfdata_management_and _data_science_cheat_sheet.pdf
data_management_and _data_science_cheat_sheet.pdfJiananWang21
 
Thermal Engineering-R & A / C - unit - V
Thermal Engineering-R & A / C - unit - VThermal Engineering-R & A / C - unit - V
Thermal Engineering-R & A / C - unit - VDineshKumar4165
 
Call Girls Wakad Call Me 7737669865 Budget Friendly No Advance Booking
Call Girls Wakad Call Me 7737669865 Budget Friendly No Advance BookingCall Girls Wakad Call Me 7737669865 Budget Friendly No Advance Booking
Call Girls Wakad Call Me 7737669865 Budget Friendly No Advance Bookingroncy bisnoi
 
The Most Attractive Pune Call Girls Manchar 8250192130 Will You Miss This Cha...
The Most Attractive Pune Call Girls Manchar 8250192130 Will You Miss This Cha...The Most Attractive Pune Call Girls Manchar 8250192130 Will You Miss This Cha...
The Most Attractive Pune Call Girls Manchar 8250192130 Will You Miss This Cha...ranjana rawat
 
Call Girls Walvekar Nagar Call Me 7737669865 Budget Friendly No Advance Booking
Call Girls Walvekar Nagar Call Me 7737669865 Budget Friendly No Advance BookingCall Girls Walvekar Nagar Call Me 7737669865 Budget Friendly No Advance Booking
Call Girls Walvekar Nagar Call Me 7737669865 Budget Friendly No Advance Bookingroncy bisnoi
 
Call Girls Pimpri Chinchwad Call Me 7737669865 Budget Friendly No Advance Boo...
Call Girls Pimpri Chinchwad Call Me 7737669865 Budget Friendly No Advance Boo...Call Girls Pimpri Chinchwad Call Me 7737669865 Budget Friendly No Advance Boo...
Call Girls Pimpri Chinchwad Call Me 7737669865 Budget Friendly No Advance Boo...roncy bisnoi
 
Call for Papers - International Journal of Intelligent Systems and Applicatio...
Call for Papers - International Journal of Intelligent Systems and Applicatio...Call for Papers - International Journal of Intelligent Systems and Applicatio...
Call for Papers - International Journal of Intelligent Systems and Applicatio...Christo Ananth
 
VIP Call Girls Ankleshwar 7001035870 Whatsapp Number, 24/07 Booking
VIP Call Girls Ankleshwar 7001035870 Whatsapp Number, 24/07 BookingVIP Call Girls Ankleshwar 7001035870 Whatsapp Number, 24/07 Booking
VIP Call Girls Ankleshwar 7001035870 Whatsapp Number, 24/07 Bookingdharasingh5698
 
Thermal Engineering -unit - III & IV.ppt
Thermal Engineering -unit - III & IV.pptThermal Engineering -unit - III & IV.ppt
Thermal Engineering -unit - III & IV.pptDineshKumar4165
 
Double Revolving field theory-how the rotor develops torque
Double Revolving field theory-how the rotor develops torqueDouble Revolving field theory-how the rotor develops torque
Double Revolving field theory-how the rotor develops torqueBhangaleSonal
 
Double rodded leveling 1 pdf activity 01
Double rodded leveling 1 pdf activity 01Double rodded leveling 1 pdf activity 01
Double rodded leveling 1 pdf activity 01KreezheaRecto
 
Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...
Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...
Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...Christo Ananth
 
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756dollysharma2066
 
KubeKraft presentation @CloudNativeHooghly
KubeKraft presentation @CloudNativeHooghlyKubeKraft presentation @CloudNativeHooghly
KubeKraft presentation @CloudNativeHooghlysanyuktamishra911
 
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXssuser89054b
 

Último (20)

AKTU Computer Networks notes --- Unit 3.pdf
AKTU Computer Networks notes ---  Unit 3.pdfAKTU Computer Networks notes ---  Unit 3.pdf
AKTU Computer Networks notes --- Unit 3.pdf
 
Online banking management system project.pdf
Online banking management system project.pdfOnline banking management system project.pdf
Online banking management system project.pdf
 
Unleashing the Power of the SORA AI lastest leap
Unleashing the Power of the SORA AI lastest leapUnleashing the Power of the SORA AI lastest leap
Unleashing the Power of the SORA AI lastest leap
 
data_management_and _data_science_cheat_sheet.pdf
data_management_and _data_science_cheat_sheet.pdfdata_management_and _data_science_cheat_sheet.pdf
data_management_and _data_science_cheat_sheet.pdf
 
Thermal Engineering-R & A / C - unit - V
Thermal Engineering-R & A / C - unit - VThermal Engineering-R & A / C - unit - V
Thermal Engineering-R & A / C - unit - V
 
Call Girls Wakad Call Me 7737669865 Budget Friendly No Advance Booking
Call Girls Wakad Call Me 7737669865 Budget Friendly No Advance BookingCall Girls Wakad Call Me 7737669865 Budget Friendly No Advance Booking
Call Girls Wakad Call Me 7737669865 Budget Friendly No Advance Booking
 
The Most Attractive Pune Call Girls Manchar 8250192130 Will You Miss This Cha...
The Most Attractive Pune Call Girls Manchar 8250192130 Will You Miss This Cha...The Most Attractive Pune Call Girls Manchar 8250192130 Will You Miss This Cha...
The Most Attractive Pune Call Girls Manchar 8250192130 Will You Miss This Cha...
 
Call Girls Walvekar Nagar Call Me 7737669865 Budget Friendly No Advance Booking
Call Girls Walvekar Nagar Call Me 7737669865 Budget Friendly No Advance BookingCall Girls Walvekar Nagar Call Me 7737669865 Budget Friendly No Advance Booking
Call Girls Walvekar Nagar Call Me 7737669865 Budget Friendly No Advance Booking
 
Call Girls Pimpri Chinchwad Call Me 7737669865 Budget Friendly No Advance Boo...
Call Girls Pimpri Chinchwad Call Me 7737669865 Budget Friendly No Advance Boo...Call Girls Pimpri Chinchwad Call Me 7737669865 Budget Friendly No Advance Boo...
Call Girls Pimpri Chinchwad Call Me 7737669865 Budget Friendly No Advance Boo...
 
Call for Papers - International Journal of Intelligent Systems and Applicatio...
Call for Papers - International Journal of Intelligent Systems and Applicatio...Call for Papers - International Journal of Intelligent Systems and Applicatio...
Call for Papers - International Journal of Intelligent Systems and Applicatio...
 
VIP Call Girls Ankleshwar 7001035870 Whatsapp Number, 24/07 Booking
VIP Call Girls Ankleshwar 7001035870 Whatsapp Number, 24/07 BookingVIP Call Girls Ankleshwar 7001035870 Whatsapp Number, 24/07 Booking
VIP Call Girls Ankleshwar 7001035870 Whatsapp Number, 24/07 Booking
 
Thermal Engineering -unit - III & IV.ppt
Thermal Engineering -unit - III & IV.pptThermal Engineering -unit - III & IV.ppt
Thermal Engineering -unit - III & IV.ppt
 
Double Revolving field theory-how the rotor develops torque
Double Revolving field theory-how the rotor develops torqueDouble Revolving field theory-how the rotor develops torque
Double Revolving field theory-how the rotor develops torque
 
Roadmap to Membership of RICS - Pathways and Routes
Roadmap to Membership of RICS - Pathways and RoutesRoadmap to Membership of RICS - Pathways and Routes
Roadmap to Membership of RICS - Pathways and Routes
 
Double rodded leveling 1 pdf activity 01
Double rodded leveling 1 pdf activity 01Double rodded leveling 1 pdf activity 01
Double rodded leveling 1 pdf activity 01
 
Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...
Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...
Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...
 
(INDIRA) Call Girl Bhosari Call Now 8617697112 Bhosari Escorts 24x7
(INDIRA) Call Girl Bhosari Call Now 8617697112 Bhosari Escorts 24x7(INDIRA) Call Girl Bhosari Call Now 8617697112 Bhosari Escorts 24x7
(INDIRA) Call Girl Bhosari Call Now 8617697112 Bhosari Escorts 24x7
 
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756
 
KubeKraft presentation @CloudNativeHooghly
KubeKraft presentation @CloudNativeHooghlyKubeKraft presentation @CloudNativeHooghly
KubeKraft presentation @CloudNativeHooghly
 
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
 

Virtual Twins: Modeling Trends and Challenges Ahead

  • 1. Laurent Maillet-Contoz, STMicroelectronics, France Virtual Twins: Modeling Trends and Challenges Ahead
  • 2. Outline • Flavours of Digital Twins • Evolution of the modeling trends over the last decade • Illustration on two examples • Upcoming challenges • Conclusion 2
  • 3. Flavours of Digital Twins IP IP IPSOCSystem System of systems Digital Twin, model of: • Product • Production line • Manufacturing process Digital Twin, model of: • System architecture • Interaction between system components Virtual Twin, model of: • SoC architecture • Interactions between hardware and software 3
  • 4. Evolution of Design Flow: the Old Days Shift-left paradigm Architecture Implementation DebugArchitecture Implementation Debug Software design Architecture Design Verification Silicon Board Hardware design Specification Integration/Validation Functionality, safety, security Performance Virtual prototype / Twin Savings 2000’s 2010’s 1666-2011 1685-2014 4
  • 5. Usage of Virtual Twins Nowadays • Before development of embedded software • Find ambiguities and contradictions in specifications • Prototype certain aspects of the specification (performance, low-power…) • Development of embedded software / Validation • Implement and test maximum number of aspects of the software and system • Mature software • Bringup • Tool to understand “final” software execution and remaining bugs • Customer own developments • Develop user parts of the embedded software • Integrate in bigger system Pre Si Post Si 5
  • 6. Spec to Silicon Product = Continuum of SoC Virtual Twins Project lifetime SOC SoC Black box model SoC SystemC architecture model 1666-2011 1685-2014 SoC systemC / HDL co-simulation SOC Specification HW & SW Specifications CPU IP IP IPSOC CPU IP IP IPSOC CPU IP (TLM) IPSOC IP (RTL) CPU IP (TLM) IPSOC IP (RTL) =Transactor SoC systemC / HDL Co-emulation / Co-protoyping = SystemC model = RTL = HW emulator = SW 6
  • 7. Typical Profile for Complex SoC • Processing intensive • CPU, GPU, Neural PE, Image processing • Many I/Os • Sensors: LIDAR, Camera, GPS, etc. • Electronic Control Units • Safety and security constraints! • Unexpected behaviours • Hardware failures 7
  • 8. Platform Case #1: Complex SoC • Multi-core CPU • DDR 3 or 4 • Clusters • Processing (Video encode/decode, Image) • Security (dedicated processor) • I/O (SATA, USB, PCIe, Wifi, Ethernet, CAN, SPI, I2C, FlexRay, MiPHY …) • Actuation/Sampling (PWM, ADC, etc.) • “Raw” complexity • 20+M lines of code for software (Linux, proprietary RTOS, etc.) • 1 M lines of code for the models • Complex IPs (P10) (P11) IP (P4) Processor (P1) Processor (P2) IP (P3) memory Interconnect Eth Wifi CAN USB (P12) 8
  • 9. Smart Objects & IoT • Many Applications domains • Consumer • Industrial • Medical • … • Connectivity • Ethernet, Industrial buses • Bluetooth, Wi-Fi, LoRa • Security • Distributed systems • Low-power 9
  • 10. Platform Case #2: Proliferation of Small SoCs • MCU/MPU: Few embedded cores • SRAM • “Offloading” IPs (DMA, Graphics) • I/Os: GPIO (with some PWM), I2C, SPI... • Connectivity: USB, Bluetooth, Ethernet • Energy efficiency • Security • Complexity in the distributed system “Locally simple, Globally complex” Sensor 1 Sensor 2 Actuator M7 STM32 Sensor 1 Sensor 2 Actuator M7 STM32 Sensor 1 Sensor 2 Actuator M7 STM32 Sensor 1 Sensor 2 Actuator M7 STM32 Sensor 1 Sensor 2 Actuator M7 STM32 Sensor 1 Sensor 2 Actuator M7 STM32 Sensor 1 Sensor 2 Actuator M7 STM32 Sensor 1 Sensor 2 Actuator M7 STM32 10
  • 11. Modeling Trends • Anticipation of functional embedded software development and validation • Introspection and diagnosis capabilities in virtual twins • Running « untestable » scenarios • Validation of dynamic power management strategies • Reset and clock controller, clock trees • Wake-up, low-power modes • Integration of security features • Validation of the (system-of-) system • Sensor inputs and environmental effects • From 10+ to 1000+ node instances • Physical/virtual device unification • Mixing actual devices and virtual twins in a single execution 11
  • 13. STM32 Bluetooth Low Energy (BLE) Virtual Twins BLE USART I/O USART Window USART I/O Bluetooth RF channel BLE Node 0 GPIOs Cortex M4 STM32 subsystem Nucleo Panel Cortex M0 BlueTooth Node 1 GPIOs Cortex M4 STM32 subsystem Nucleo Panel Cortex M0 BlueTooth 13
  • 14. STM32 BLE Virtual Twin • Abstract Hardware + Firmware: executable specification • BLE state machine & BLE I/F • STM32 subsystem • ARM Cortex M4 Instruction Set Simulator • GPIO, SPI, USART (core functionality needed) • RCC, EXTI, SYSCFG (partial) • Flash Interface, PWR (stub) • Benefits • Early availability of Virtual Twin: low effort thanks to high abstraction level • Scalable to tens of nodes • Corner case software bugs identified Ex: illegal values programmed in clock controller GPIO sNucleo Panel BLE I/FGATT Cortex M0 BlueTooth Cortex M4 STM32 subsystem 14
  • 15. Example: Sensor Node Model for Critical Water Management Infrastructure
  • 16. IoT Device Model Typical Architecture MCU Connectivity Sensor Embedded software Open (%) Flow (m3/s) Satur. (%) m Benefits: 1. System validation without constraints of physical devices 2. Manage complexity 3. Increase flexibility and productivity 4. Increase the system reliability 16
  • 17. Sensor Node Black Box Model • A simple service-oriented model • Black-box • No detail on internal architecture • Embedded firmware is abstracted • Measures obtained from a file • Early availability • Fast execution • Generation of data communication to the gateway • Used as the functional contract of the sensor node specification Fecha;EMALCSA/00 PRESA CECEBRE/02 Válvulas/Compuerta 3/Apertura (%);EMALCSA/00 PRESA CECEBRE/02 Válvulas/Compuerta 3/Caudal (m3/s);EMALCSA/00 PRESA CECEBRE/02 Válvulas/Compuerta 3/Desague (%) 08/04/2019 00:25:21.871;10.11571;2.615295;9.07122 08/04/2019 00:35:21.879;10.11571;2.616884;9.061384 08/04/2019 00:45:21.887;10.11571;2.616821;9.061776 08/04/2019 00:55:21.911;10.11571;2.617014;9.060584 08/04/2019 01:05:21.920;10.11571;2.618574;9.050963 08/04/2019 01:15:21.928;10.11571;2.618614;9.050715 Post data towards gateway 17
  • 18. Sensor Node SystemC Architecture Model • Sensor node architectural model includes • Microcontroller Instruction Accurate model • Register accurate model of peripherals • Embedded software • Running on STM32 model • Using STM32 HAL • Collects data from sensor model through I2C bus • Programs connectivity IP model to issue communication • Generation of data communication to the gateway • Conform to the functional contract of the sensor node Fecha;EMALCSA/00 PRESA CECEBRE/02 Válvulas/Compuerta 3/Apertura (%);EMALCSA/00 PRESA CECEBRE/02 Válvulas/Compuerta 3/Caudal (m3/s);EMALCSA/00 PRESA CECEBRE/02 Válvulas/Compuerta 3/Desague (%) 08/04/2019 00:25:21.871;10.11571;2.615295;9.07122 08/04/2019 00:35:21.879;10.11571;2.616884;9.061384 08/04/2019 00:45:21.887;10.11571;2.616821;9.061776 08/04/2019 00:55:21.911;10.11571;2.617014;9.060584 08/04/2019 01:05:21.920;10.11571;2.618574;9.050963 08/04/2019 01:15:21.928;10.11571;2.618614;9.050715 Post data towards the gateway Cortex M4 STM32 Connectivity Flow Meter sensor i2c registers Payload (registers values) Embedded software STM32 F411 ARM CM4 I C N Flash RCC SPI GPIO EXTI Mem PWR I2C SCI SYS CFG 1666-2011 18
  • 20. Extending the Virtual Twin at the Next Level • Automotive domain: the whole system is a big network! • CAN, LIN, FlexRay, Ethernet AVB, MOST… • How to model inter-components protocols? • Which abstraction for the “blocks”? • Interoperability concern for virtual twins integration • Standardization effort still to be undertaken https://www.hyundai.news/eu/brand/hyundai-and-cisco-to-bring-vehicle-with-next-generation-network-technology-in-2019/ 20
  • 21. Multi-system Integration Computing farm System address map TLM IP model Process or model AMS model TLM IP model Memor y model I/O Interconnect model • Models in different technical states • OS, Compiler, Simulation kernel • Heterogeneous domains • Digital, AMS, Multi-physics • Code sharing constraints vs flexibility required by customers • Replace IP X by Y • Add customer-specific IP • Idea: each domain in separate simulation • Challenges: performance, semantics • Opportunity: exploiting multi-cores? 21
  • 22. Multi-level Twins Integration • Address simulation speed concern • Manage several levels of abstraction • Guaranty functional equivalence • Mitigate the modeling costs • Ensure seamless integration / substitution of twins • Interfaces interoperability • Heterogeneous modeling languages & frameworks 22
  • 23. Takeaways • Usage of virtual twins for different categories of circuits • Complex SoCs • Smart objects • Trends and benefits • Early validation of embedded software & power management strategies • Testing “untestable“ scenarios • Integration of security features • Manage connectivity • Scalable validation of the (system-of-) system • Physical/virtual device unification • Upcoming challenges • Expand to the next level • Heterogeneous models integration • Management of multi-abstraction twins 23