Argumentation pour la certification et la validation

J'utilise la théorie de l'argumentation, et plus précisément les diagrammes de justification, dans divers projets (Européen FP7, avec les autorités de certification DGAC et DGA-TA, Airbus, etc.).

L'objectif des diagrammes de justification est d'organiser et de visualiser, de manière synthétique, tous les éléments clés prouvant la validité d’une propriété pour un produit. Le diagramme de justification ne représente pas le processus, mais permet de modéliser la rationalité, la raison qui sous-tend les documents et les opérations de Vérification et Validation (V&V). En fait, il organise l’ensemble des éléments de preuves nécessaires à un développement.

Ces travaux sont largement inspirés des théories de l’argumentation et plus particulièrement des travaux de : Stephen Toulmin, Chaïm Perelman, Lucie Olbrechts-Tyteca, Philippe Besnard, Anthony Hunter, Douglas Walton, Phan Minh Dung. Merci à eux.

Publications

  • Thomas Polacsek, Sanjiv Sharma, Claude Cuiller and Vincent Tuloup, The need of diagrams based on Toulmin schema application: an aeronautical case study EURO Journal on Decision Processes (EJDP), 6:257, 2018.
  • Frédéric Boniol, Youcef Bouchebaba, Julien Brunel, Kevin Delmas, Claire Pagetti, Thomas Polacsek and Nathanaël Sensfelder. PHYLOG: a model-based certification framework. In 37th Digital Avionics Systems Conference (DASC), 2018.
  • Clément Duffau , Thomas Polacsek and Mireille Blay-Fornarino, Support of Justification Elicitation: Two Industrial Reports 30th International Conference on Advanced Information Systems Engineering (CAISE'18), 2018.
  • Pierre Bieber, Frédéric Boniol, Youcef Bouchebaba, Julien Brunel, Claire Pagetti, Olivier Poitou, Thomas Polacsek, Luca Santinelli, Nathanaël Sensfelder, A model based certification approach for multi/many-core embedded systems. 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018) 2018
  • Clément Duffau, Thomas Polacsek and Mireille Blay-Fornarino, Une sémantique pour les patrons de justification. Inforsid 2018
  • Thomas Polacsek, Diagramme de justification. Un outil pour la validation, la certification et l'accréditation. Ingénierie des Systèmes d'Information 22(2): 95-119 (2017)
  • Thomas Polacsek. Validation, Accreditation or Certification: a New Kind of Diagram to Provide Confidence IEEE Tenth International Conference on Research Challenges in Information Science (RCIS'16), 2016.
  • Pierre Bieber, Frédéric Boniol, Guy Durrieu, Olivier Poitou, Thomas Polacsek, Virginie Wiels, Ghilaine Martinez MIMOSA: Towards a model driven certification process, 8th European Congress Embedded Real Time Software and Systems (ERTS2’16), 2016.
  • Thomas Polacsek. A Process to Support and to Report Collaborative Decision 19th IEEE International Conference on Computer Supported Cooperative Work in Design (CSCWD'15), 2015.
  • Thomas Polacsek and Laurence Cholvy. A Framework to Report and to Analyse a Debate. Proc. IEEE 15th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2011, 2011. (best paper award) (IEEE website)

Keynotes

  • Invited by NATO to speak on using argumentation theory in a V&V context at the Lecture Series on "Application of Verification and Validation of Models, Simulations and Data" (MSG-123). September 2014 at the NATO M&S COE Facility Caserma De Cicco Piaz in Rome, Italy / April 2014 in Stockholm, Sweden, and May in Ottawa, Canada.