Supervision en ligne de propriétés temporelles dans les systèmes distribués temps-réel
Les systèmes actuels deviennent chaque jour de plus en plus complexe; à la distribution s’ajoutent les contraintes temps réel. Les méthodes classiques en charge de garantir la sûreté de fonctionnement, comme le test, l’injection de fautes ou les méthodes formelles ne sont plus suffisantes à elles se...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2014
|
| Online Access: | http://oatao.univ-toulouse.fr/13299/1/baldellon.pdf |