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.
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.
|
|
|
|
|
|
09:00 – 09:15 |
Overview of the ANSYS platform
|
|
|
09:15 – 10:00 |
Model based system engineering in different safety market domains
|
|
|
|
|
|
|
10:30 – 11:15 |
From System Model to Functional Safety Concept
|
|
|
11:15 – 12:00 |
Identifying Cyber Security Threats with medini analyze
|
|
|
|
|
|
|
13:00 – 13:45 |
Embedded Code Creation for safety critical software
|
|
|
13:45 – 14:30 |
Rapid Prototyping and Testing
|
|
|
|
|
|
|
15:00 – 15:45 |
Human Machine Interface based on SCADE Model
|
|
|
15:45 – 16:30 |
Digital Twin as catalyst for your safety development
|
|
|
|
|
|