|
Topic
|
Person
|
8:30 – 8:55
|
Welcome & Reception
|
8:55 – 9:05
|
Overview on Symkom – ANSYS Channel Partner
|
Anna Degler/ Leszek Rudniak
|
9:05– 9:30
|
Overview on the ANSYS platform for Digital Safety
• From Model Based System engineering to Code Development
• Model Based Safety
• System Verification and Digital Twin
|
Nikhil Kelkar – ANSYS
|
9:30 – 10:00
|
Model Based Functional Safety Analyzis for consistent and reilable results
• Initial Architecture, HAZOP , Function Model
• HARA, Safety goals and Requirements management
• Reliability Analysis (according to IEC6230, SN29500, Mil 217+, FIDES, etc.) FMEDA, FTA, FMEA
|
Joël Heinemann – ANSYS
|
10:00 – 10:30
|
Break
|
10:30 – 11:15
|
Identifying and preparing for Cyber Security Threats with medini analyze
• Cyber Security Thread Analysis – Thread Identification, Attack Trees and TARA
• Cyber Security Concept
|
Joël Heinemann – ANSYS
|
11:15 – 12:00
|
Model Based Approach for Safety Critical Software
• Modeling the System Requirements
• Modeling the Software Requirements
• From Model to Code (C, ADA)
• Traceability
|
Jair Gonzalez – ANSYS
|
12:00 – 13:00
|
Lunch
|
|
13:00 – 13:45
|
Model Based Approach for Safety Critical HMI
• Designing Graphical Interface
• Model and Interface Connection
|
Jair Gonzalez – ANSYS
|
|
13:45 – 14:30
|
Rapid Prototyping and Verification / Autonomous Vehicle (AV)
• Functional verification at model level
• Model Coverage
|
Jair Gonzalez – ANSYS
|
|
14:30 – 15:00
|
Break
|
|
15:00 – 15:45
|
From Systems to Digital Twin
• Predicitve maintenance
• Brilliant Asset
|
Jair Gonzalez – ANSYS
|
|
15:45 – 16:15
|
Open Discussion about the solutions
|
All experts
|
|
16:15 – 16:30
|
Closing Remarks
|
|