Argumentation for Certification and Validation

I use argumentation theory, justification diagrams, in various projects (European FP7, with certification authorities, Airbus, etc.).

The aim of the justification diagram is to organize and visualize, in a synthetic way, all key elements proving the validity of a product's property. The justification diagram does not represent the process, but gives the rationale behind all Verification & Validation (V&V) documents. In fact, it lists and organizes necessary evidence in a development life cycle.

In these works, I just apply theories and more particularly the work of: Stephen Toulmin, Chaïm Perelman, Lucie Olbrechts-Tyteca, Philippe Besnard, Anthony Hunter, Douglas Walton, Phan Minh Dung. Thank's to them.


  • 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)


  • 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.