y a-t-il un pilote à bord ? quand le pilote ne comprend plus son autopilote
DESCRIPTION
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.TRANSCRIPT
![Page 1: Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote](https://reader033.vdocuments.net/reader033/viewer/2022060111/55635bd1d8b42a734b8b4ae4/html5/thumbnails/1.jpg)
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
![Page 2: Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote](https://reader033.vdocuments.net/reader033/viewer/2022060111/55635bd1d8b42a734b8b4ae4/html5/thumbnails/2.jpg)
Le monde technologique
La technologie fait partie intégrante de nos vies !
![Page 3: Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote](https://reader033.vdocuments.net/reader033/viewer/2022060111/55635bd1d8b42a734b8b4ae4/html5/thumbnails/3.jpg)
Le monde technologique
La technologie fait partie intégrante de nos vies !
![Page 4: Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote](https://reader033.vdocuments.net/reader033/viewer/2022060111/55635bd1d8b42a734b8b4ae4/html5/thumbnails/4.jpg)
Le monde technologique
La technologie fait partie intégrante de nos vies !
![Page 5: Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote](https://reader033.vdocuments.net/reader033/viewer/2022060111/55635bd1d8b42a734b8b4ae4/html5/thumbnails/5.jpg)
Le monde technologique
La technologie fait partie intégrante de nos vies !
![Page 6: Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote](https://reader033.vdocuments.net/reader033/viewer/2022060111/55635bd1d8b42a734b8b4ae4/html5/thumbnails/6.jpg)
Le monde technologique
La technologie fait partie intégrante de nos vies !
![Page 7: Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote](https://reader033.vdocuments.net/reader033/viewer/2022060111/55635bd1d8b42a734b8b4ae4/html5/thumbnails/7.jpg)
Le monde technologique
La technologie fait partie intégrante de nos vies !
![Page 8: Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote](https://reader033.vdocuments.net/reader033/viewer/2022060111/55635bd1d8b42a734b8b4ae4/html5/thumbnails/8.jpg)
Accidents et incidents remarquables I
Therac-251985–1987
![Page 9: Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote](https://reader033.vdocuments.net/reader033/viewer/2022060111/55635bd1d8b42a734b8b4ae4/html5/thumbnails/9.jpg)
Accidents et incidents remarquables I
Therac-251985–1987
X ↑ E
�
B
![Page 10: Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote](https://reader033.vdocuments.net/reader033/viewer/2022060111/55635bd1d8b42a734b8b4ae4/html5/thumbnails/10.jpg)
Accidents et incidents remarquables II
KAL 0071983
![Page 11: Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote](https://reader033.vdocuments.net/reader033/viewer/2022060111/55635bd1d8b42a734b8b4ae4/html5/thumbnails/11.jpg)
Accidents et incidents remarquables II
KAL 0071983
![Page 12: Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote](https://reader033.vdocuments.net/reader033/viewer/2022060111/55635bd1d8b42a734b8b4ae4/html5/thumbnails/12.jpg)
Vous avez dit bug ?
![Page 13: Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote](https://reader033.vdocuments.net/reader033/viewer/2022060111/55635bd1d8b42a734b8b4ae4/html5/thumbnails/13.jpg)
Vous avez dit bug ?
![Page 14: Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote](https://reader033.vdocuments.net/reader033/viewer/2022060111/55635bd1d8b42a734b8b4ae4/html5/thumbnails/14.jpg)
Interactions Homme-Machine
IHM
ComputerEngineering
Psychology HumanFactors
ErgonomicsCognitiveScience
SystemsEngineering
SoftwareEngineering
Sociology
Conception, évaluation et implémentation de systèmesinteractifs destinés à être utilisés par des humains
![Page 15: Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote](https://reader033.vdocuments.net/reader033/viewer/2022060111/55635bd1d8b42a734b8b4ae4/html5/thumbnails/15.jpg)
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èmeshardware et software en utilisant des techniques mathématiques
![Page 16: Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote](https://reader033.vdocuments.net/reader033/viewer/2022060111/55635bd1d8b42a734b8b4ae4/html5/thumbnails/16.jpg)
Modéliser le monde qui nous entoure
Simplifie les analyses
Validation des modèles
Faux positifs et négatifs
![Page 17: Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote](https://reader033.vdocuments.net/reader033/viewer/2022060111/55635bd1d8b42a734b8b4ae4/html5/thumbnails/17.jpg)
Modèle du système
push push push
push
Ce modèle ne reflète pas le comportement réel du système !
![Page 18: Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote](https://reader033.vdocuments.net/reader033/viewer/2022060111/55635bd1d8b42a734b8b4ae4/html5/thumbnails/18.jpg)
Modèle réel du système
push push push
push
push
τ
τ
τ
Des changements automatiques se produisent dans le système !
![Page 19: Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote](https://reader033.vdocuments.net/reader033/viewer/2022060111/55635bd1d8b42a734b8b4ae4/html5/thumbnails/19.jpg)
Modèle de l’interaction
push
push
push
push
Modèle mental
push
push
push
push
push
τ
τ
τ
Modèle du système
![Page 20: Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote](https://reader033.vdocuments.net/reader033/viewer/2022060111/55635bd1d8b42a734b8b4ae4/html5/thumbnails/20.jpg)
Modèle de l’interaction
push
push
push
push
Modèle mental
push
push
push
push
push
τ
τ
τ
Modèle du système
![Page 21: Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote](https://reader033.vdocuments.net/reader033/viewer/2022060111/55635bd1d8b42a734b8b4ae4/html5/thumbnails/21.jpg)
Modèle de l’interaction
push
push
push
push
Modèle mental
push
push
push
push
push
τ
τ
τ
Modèle du système
![Page 22: Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote](https://reader033.vdocuments.net/reader033/viewer/2022060111/55635bd1d8b42a734b8b4ae4/html5/thumbnails/22.jpg)
Modèle de l’interaction
push
push
push
push
Modèle mental
push
push
push
push
push
τ
τ
τ
Modèle du système
![Page 23: Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote](https://reader033.vdocuments.net/reader033/viewer/2022060111/55635bd1d8b42a734b8b4ae4/html5/thumbnails/23.jpg)
Modèle de l’interaction
push
push
push
push
Modèle mental
push
push
push
push
push
τ
τ
τ
Modèle du système
![Page 24: Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote](https://reader033.vdocuments.net/reader033/viewer/2022060111/55635bd1d8b42a734b8b4ae4/html5/thumbnails/24.jpg)
Confusion de mode
push
Opérateur
push
Machine
push
Interaction
L’opérateur ne comprend plus la machine !
![Page 25: Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote](https://reader033.vdocuments.net/reader033/viewer/2022060111/55635bd1d8b42a734b8b4ae4/html5/thumbnails/25.jpg)
« La civilisation a pour but, non pas le progrès de la scienceet des machines, mais celui de l’homme. » — Alexis Carrel
![Page 26: Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote](https://reader033.vdocuments.net/reader033/viewer/2022060111/55635bd1d8b42a734b8b4ae4/html5/thumbnails/26.jpg)
Crédits
http://www.flickr.com/photos/40928097@N07/8010490396/http://www.flickr.com/photos/technocruze/7160616423/http://www.flickr.com/photos/10nl/5488167982/http://www.flickr.com/photos/yum9me/2652549976/http://www.flickr.com/photos/deeknow/7293270982/http://www.flickr.com/photos/taken_by_tom/931401890/c© Sébastien Combéfis (Slides 1, 5, 8, 12)