Post on 26-May-2015
description
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)