Model Based Safety and System Engineering Day

ANSYS et FlowCAD vous invitent cordialement à la Model Based Safety and System Engineering Day le 2 avril 2019 à Berne.

Au cours des dernières décennies, les logiciels sont devenus une partie dominante et critique de nombreux composants qui sont également utilisés dans des applications liées à la sécurité telles que les transports, l'énergie nucléaire, l'aérospatiale et la défense, la médecine et l'automobile. Cependant, la complexité croissante du logiciel a rendu l'architecture du système plus étendue et plus compliquée. Un flux de travail de conception basé sur un modèle (par exemple "V-Model") a été la réponse commune de l'industrie pour faciliter la conception et la vérification fonctionnelle au niveau de l'architecture et du modèle, suivie par la génération automatisée de code et le re-test à chaque étape du développement.

La conception et la vérification selon les normes de sécurité logicielle sont devenues indispensables pour répondre aux exigences de construction de systèmes sûrs et fiables pour les marchés susmentionnés. Une fois que les normes de sécurité logicielle telles que DO-178B/C, EN 50128, ISO 26262, IEC 61508 sont correctement respectées par le développeur, le risque de catastrophe peut être réduit, bien que pour des domaines tels que les véhicules autonomes des règles en dehors des lignes directrices doivent même être appliquées.

Functional Safety Day

Lors de cette journée de séminaire, les outils de sécurité fonctionnelle d'ANSYS seront présentés, qui réduisent considérablement l'effort de vérification dans les cycles de développement de la sécurité, notamment ANSYS SCADE, ANSYS Twin Builder et ANSYS Medini Analyze. Les outils seront discutés et démontrés dans le cadre des processus de sécurité. La connexion aux systèmes de gestion des exigences, l'importation de code existant ou de modèles à partir d'autres formats (par ex. Simulink) seront discutées lors des sessions. Des méthodes pour contrer les menaces à la cybersécurité seront également démontrées.

Le séminaire de langue anglaise s'adresse aux ingénieurs en sécurité, aux chefs de projet et à tous les développeurs de composants matériels et logiciels qui doivent se conformer aux normes de sécurité et aux directives de certification dans leur environnement de travail et souhaitent accroître l'efficacité de la conception et de la vérification.

Agenda


08:30 – 09:00	Welcome & Reception

09:00 – 09:15	Overview of the ANSYS platform From Model based System engineering to Code development Model based Safety System Verification and Digital Twin for Safety Applications

09:15 – 10:00	Model based system engineering in different safety market domains MBSE for Cars, Trains , Chips and Airplanes Support for AUTOSAR, AADL and FACE

10:00 – 10:30	Bio Break and Networking

10:30 – 11:15	From System Model to Functional Safety Concept Initial Architecture, HAZOP , Function Model HARA, Safety goals and Requirements management Reliability Analysis (according to IEC6230, SN29500, Mil 217+, FIDES, etc.) FMEDA, FTA, FMEA

11:15 – 12:00	Identifying Cyber Security Threats with medini analyze Attack Trees Thread Analysis Cyber Security Concept

12:00 – 13:00	Lunch and Networking

13:00 – 13:45	Embedded Code Creation for safety critical software Model in the loop Scade language C, C++ Requirements integration

13:45 – 14:30	Rapid Prototyping and Testing Connecting graphical elemts Test Coverage Test Verification Monkey Test

14:30 – 15:00	Bio Break and Networking

15:00 – 15:45	Human Machine Interface based on SCADE Model Designing graphical interface software for Safety Applications Model and interface connection

15:45 – 16:30	Digital Twin as catalyst for your safety development Predicitve maintence Sotftware and Hardware gap analysis Safety Verification based on simulation

16:30 – 16:45	Closing Remarks

Inscription