Embed Size (px)
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.
Citation preview
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
Le monde technologique
La technologie fait partie intégrante de nos vies !
Le monde technologique
La technologie fait partie intégrante de nos vies !
Le monde technologique
La technologie fait partie intégrante de nos vies !
Le monde technologique
La technologie fait partie intégrante de nos vies !
Le monde technologique
La technologie fait partie intégrante de nos vies !
Le monde technologique
La technologie fait partie intégrante de nos vies !
Accidents et incidents remarquables I
Therac-251985–1987
Accidents et incidents remarquables I
Therac-251985–1987
X ↑ E
�
B
Accidents et incidents remarquables II
KAL 0071983
Accidents et incidents remarquables II
KAL 0071983
Vous avez dit bug ?
Vous avez dit bug ?
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
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
Modéliser le monde qui nous entoure
Simplifie les analyses
Validation des modèles
Faux positifs et négatifs
Modèle du système
push push push
push
Ce modèle ne reflète pas le comportement réel du système !
Modèle réel du système
push push push
push
push
τ
τ
τ
Des changements automatiques se produisent dans le système !
Modèle de l’interaction
push
push
push
push
Modèle mental
push
push
push
push
push
τ
τ
τ
Modèle du système
Modèle de l’interaction
push
push
push
push
Modèle mental
push
push
push
push
push
τ
τ
τ
Modèle du système
Modèle de l’interaction
push
push
push
push
Modèle mental
push
push
push
push
push
τ
τ
τ
Modèle du système
Modèle de l’interaction
push
push
push
push
Modèle mental
push
push
push
push
push
τ
τ
τ
Modèle du système
Modèle de l’interaction
push
push
push
push
Modèle mental
push
push
push
push
push
τ
τ
τ
Modèle du système
Confusion de mode
push
Opérateur
push
Machine
push
Interaction
L’opérateur ne comprend plus la machine !
« La civilisation a pour but, non pas le progrès de la scienceet des machines, mais celui de l’homme. » — Alexis Carrel
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)
