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 C...
Le monde technologiqueLa technologie fait partie intégrante de nos vies !
Le monde technologiqueLa technologie fait partie intégrante de nos vies !
Le monde technologiqueLa technologie fait partie intégrante de nos vies !
Le monde technologiqueLa technologie fait partie intégrante de nos vies !
Le monde technologiqueLa technologie fait partie intégrante de nos vies !
Le monde technologiqueLa technologie fait partie intégrante de nos vies !
Accidents et incidents remarquables ITherac-251985–1987
Accidents et incidents remarquables ITherac-251985–1987X ↑ E B
Accidents et incidents remarquables IIKAL 0071983
Accidents et incidents remarquables IIKAL 0071983
Vous avez dit bug ?
Vous avez dit bug ?
Interactions Homme-MachineIHMComputerEngineeringPsychologyHumanFactorsErgonomicsCognitiveScienceSystemsEngineeringSoftware...
Méthodes formellesAG (¬closed=⇒ EF alarm)ModelCheckerModèle PropriétéOUI NON+contre-exempleSpécification, développement et ...
Modéliser le monde qui nous entoureSimplifie les analysesValidation des modèlesFaux positifs et négatifs
Modèle du systèmepush push pushpushCe modèle ne reflète pas le comportement réel du système !
Modèle réel du systèmepush push pushpushpushτττDes changements automatiques se produisent dans le système !
Modèle de l’interactionpushpushpushpushModèle mentalpushpushpushpushpushτττModèle du système
Modèle de l’interactionpushpushpushpushModèle mentalpushpushpushpushpushτττModèle du système
Modèle de l’interactionpushpushpushpushModèle mentalpushpushpushpushpushτττModèle du système
Modèle de l’interactionpushpushpushpushModèle mentalpushpushpushpushpushτττModèle du système
Modèle de l’interactionpushpushpushpushModèle mentalpushpushpushpushpushτττModèle du système
Confusion de modepushOpérateurpushMachinepushInteractionL’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éditshttp://www.flickr.com/photos/40928097@N07/8010490396/http://www.flickr.com/photos/technocruze/7160616423/http://www.fl...
Prochain SlideShare
Chargement dans…5
×

Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote...

498 vues

Publié le

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.

Publié dans : Technologie
0 commentaire
0 j’aime
Statistiques
Remarques
  • Soyez le premier à commenter

  • Soyez le premier à aimer ceci

Aucun téléchargement
Vues
Nombre de vues
498
Sur SlideShare
0
Issues des intégrations
0
Intégrations
112
Actions
Partages
0
Téléchargements
5
Commentaires
0
J’aime
0
Intégrations 0
Aucune incorporation

Aucune remarque pour cette diapositive

Y a-t-il un pilote à bord ? Quand le pilote ne comprend plus son autopilote...

  1. 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. 2. Le monde technologiqueLa technologie fait partie intégrante de nos vies !
  3. 3. Le monde technologiqueLa technologie fait partie intégrante de nos vies !
  4. 4. Le monde technologiqueLa technologie fait partie intégrante de nos vies !
  5. 5. Le monde technologiqueLa technologie fait partie intégrante de nos vies !
  6. 6. Le monde technologiqueLa technologie fait partie intégrante de nos vies !
  7. 7. Le monde technologiqueLa technologie fait partie intégrante de nos vies !
  8. 8. Accidents et incidents remarquables ITherac-251985–1987
  9. 9. Accidents et incidents remarquables ITherac-251985–1987X ↑ E B
  10. 10. Accidents et incidents remarquables IIKAL 0071983
  11. 11. Accidents et incidents remarquables IIKAL 0071983
  12. 12. Vous avez dit bug ?
  13. 13. Vous avez dit bug ?
  14. 14. Interactions Homme-MachineIHMComputerEngineeringPsychologyHumanFactorsErgonomicsCognitiveScienceSystemsEngineeringSoftwareEngineeringSociologyConception, évaluation et implémentation de systèmesinteractifs destinés à être utilisés par des humains
  15. 15. Méthodes formellesAG (¬closed=⇒ EF alarm)ModelCheckerModèle PropriétéOUI NON+contre-exempleSpécification, développement et vérification de systèmeshardware et software en utilisant des techniques mathématiques
  16. 16. Modéliser le monde qui nous entoureSimplifie les analysesValidation des modèlesFaux positifs et négatifs
  17. 17. Modèle du systèmepush push pushpushCe modèle ne reflète pas le comportement réel du système !
  18. 18. Modèle réel du systèmepush push pushpushpushτττDes changements automatiques se produisent dans le système !
  19. 19. Modèle de l’interactionpushpushpushpushModèle mentalpushpushpushpushpushτττModèle du système
  20. 20. Modèle de l’interactionpushpushpushpushModèle mentalpushpushpushpushpushτττModèle du système
  21. 21. Modèle de l’interactionpushpushpushpushModèle mentalpushpushpushpushpushτττModèle du système
  22. 22. Modèle de l’interactionpushpushpushpushModèle mentalpushpushpushpushpushτττModèle du système
  23. 23. Modèle de l’interactionpushpushpushpushModèle mentalpushpushpushpushpushτττModèle du système
  24. 24. Confusion de modepushOpérateurpushMachinepushInteractionL’opérateur ne comprend plus la machine !
  25. 25. « La civilisation a pour but, non pas le progrès de la scienceet des machines, mais celui de l’homme. » — Alexis Carrel
  26. 26. Créditshttp://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)

×