Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote...
De nos jours, la technologie est omniprésente et fait partie intégrante de nos vies. On pense directement aux ordinateurs et aux smartphones, mais elle est également présente dans la plupart de l'électroménager, l'automobile, l'aviation, le nucléaire ou encore l'aérospatiale. De nombreux accidents se sont produits, impliquant de tels systèmes, dont de plus en plus sont liés à des mauvaises interactions entre l'homme et la machine. On peut par exemple repenser aux accidents suivants : Three Mile Island, Therac-25, le vol KAL007... Afin de pouvoir utiliser tous ces systèmes, de manière sûre et fiable afin d’éviter tout risque potentiel d'accidents, il faut pouvoir garantir certaines propriétés sur toutes les interactions possibles entre un système et son opérateur. Cette présentation présente une approche possible pour résoudre le problème de garanties à imposer sur les interactions homme-machine, basée sur les méthodes formelles, le tout illustré par des exemples concrets d'accidents.
Recommandé
Recommandé
Contenu connexe
En vedette
En vedette (16)
Plus de ECAM Brussels Engineering School
Plus de ECAM Brussels Engineering School (20)
Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote...
- 1. Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son auto-pilote... Ir. Sébastien Combéfis (SST/ICTM) Journée du CORSCI 2013 Louvain-la-Neuve, mercredi 15 mai 2013
- 2. Le monde technologique La technologie fait partie intégrante de nos vies !
- 3. Le monde technologique La technologie fait partie intégrante de nos vies !
- 4. Le monde technologique La technologie fait partie intégrante de nos vies !
- 5. Le monde technologique La technologie fait partie intégrante de nos vies !
- 6. Le monde technologique La technologie fait partie intégrante de nos vies !
- 7. Le monde technologique La technologie fait partie intégrante de nos vies !
- 8. Accidents et incidents remarquables I Therac-25 1985–1987
- 9. Accidents et incidents remarquables I Therac-25 1985–1987 X ↑ E B
- 10. Accidents et incidents remarquables II KAL 007 1983
- 11. Accidents et incidents remarquables II KAL 007 1983
- 12. Vous avez dit bug ?
- 13. Vous avez dit bug ?
- 14. Interactions Homme-Machine IHM Computer Engineering Psychology Human Factors Ergonomics Cognitive Science Systems Engineering Software Engineering Sociology Conception, évaluation et implémentation de systèmes interactifs destinés à être utilisés par des humains
- 15. Méthodes formelles AG (¬closed =⇒ EF alarm)Model Checker Modèle Propriété OUI NON +contre-exemple Spécification, développement et vérification de systèmes hardware et software en utilisant des techniques mathématiques
- 16. Modéliser le monde qui nous entoure Simplifie les analyses Validation des modèles Faux positifs et négatifs
- 17. Modèle du système push push push push Ce modèle ne reflète pas le comportement réel du système !
- 18. Modèle réel du système push push push push push τ τ τ Des changements automatiques se produisent dans le système !
- 19. Modèle de l’interaction push push push push Modèle mental push push push push push τ τ τ Modèle du système
- 20. Modèle de l’interaction push push push push Modèle mental push push push push push τ τ τ Modèle du système
- 21. Modèle de l’interaction push push push push Modèle mental push push push push push τ τ τ Modèle du système
- 22. Modèle de l’interaction push push push push Modèle mental push push push push push τ τ τ Modèle du système
- 23. Modèle de l’interaction push push push push Modèle mental push push push push push τ τ τ Modèle du système
- 24. Confusion de mode push Opérateur push Machine push Interaction L’opérateur ne comprend plus la machine !
- 25. « La civilisation a pour but, non pas le progrès de la science et des machines, mais celui de l’homme. » — Alexis Carrel