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