Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Adeline, Romain"'
Autor:
Adeline, Romain
Pour certifier un système aéronautique, des études de Sûreté de Fonctionnement (SdF) visent à démontrer qu’il répond à des exigences de sécurité de haut niveau. La complexité des systèmes étudiés ayant évolué, les exigences à dém
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=artemis___fr::c947ce23fc4ca69b832bfbe126e4d8ce
http://depozit.isae.fr/theses/2011/2011_Adeline_Romain.pdf
http://depozit.isae.fr/theses/2011/2011_Adeline_Romain.pdf
Numerous works deal with the use of the formal language AltaRica to improve the safety as-sessment process of industrial systems. In this context, the paper aims at describing and applying a common methodology to model physical systems. The example o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1390093e0e0d445a1cbf5f3bec99792a
https://oatao.univ-toulouse.fr/4684/
https://oatao.univ-toulouse.fr/4684/
Publikováno v:
7ème Conférence Internationale de MObilisation et SIMulation, MOSIM'08.
7ème Conférence Internationale de MObilisation et SIMulation, MOSIM'08., Mar 2008, Paris, France. 10 p
7ème Conférence Internationale de MObilisation et SIMulation, MOSIM'08., Mar 2008, Paris, France. 10 p
International audience; Le travail rapporté ici traite globalement de la spécification et du développement d'un système de pronostic de défaillances. De ce point de vue, beaucoup de développements visant la proposition de méthodes de prévisio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9875a54c1fed51b97afe3c8777d2b09b
https://hal.archives-ouvertes.fr/hal-00270725/document
https://hal.archives-ouvertes.fr/hal-00270725/document