Thomas Polacsek

Thomas Polacsek

Chercheur à l'ONERA (Office National d'Etudes et de Recherches Aérospatiales) au sein du Département Traitement de l'Information et Modélisation (DTIM) de Toulouse depuis 2009. Thomas Polacsek mène des travaux sur la thématique de l’ingénierie des exigences et la VV&A de systèmes dans le cadre de projets internationaux (europe) et nationaux (DGA-TA, DGAC).

Il mène des travaux de recherches, notamment dans le cadre de projets nationaux et internationaux avec les acteurs du secteur aéronautique, mais aussi avec les autorités de certification (DGA-TA), sur :

  • les liens entre modèle et code source pour la vérification logicielle,
  • la Vérification et Validation de systèmes à l'aide de schémas d'argumentation,
  • l'utilisation de méthodes formelles pour la spécification de systèmes.

Argumentation

Argumentation pour la V&V, la VV&A et la certification de systèmes (dans le domaine aéronautique)

Les diagrammes d'argumentation ont pour but d'organiser et de visualiser, de manière synthétique, les principaux éléments prouvant la validité d'une propriété pour un produit. Un diagramme d'argumentation ne représente pas un processus, mais organise et donne à voir la rationalité sous-jacente à l'ensemble des documents de Vérification & Validation (V&V). En fait, un diagramme d'argumentation répertorie et structure tous les éléments de preuve nécessaires dans un cycle de développement.

La validation d'un diagramme d'argumentation passe nécessairement par la validation et l'identification des éléments de preuve de chaque étape unitaire, de chaque étape intermédiaire, incluse dans l'arbre. Par conséquent, nous avons développé un patron d'argumentation générique et des instances orientées métier qui permettent de structurer de façon logique tous les éléments de V&V. L’ensemble de ces patrons sont issus de travaux portant sur l’informatique embarqués, la simulation et l’architecture aéronautique.

Quelques Publications

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

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.

Ingénierie des exigences

Spécification de politique d'échange d'information

De la surveillance de la Terre et la gestion de risques aux relations inter-entreprises, il existe de plus de plus d'organisations interconnectées formant des systèmes décentralisés avec des échanges d'information. Dès lors, il devient crucial de disposer de règles qui régissent la diffusion de l'information entre les différents partenaires, c'est-à-dire de disposer d'une politique d'échange d'informations. Pour cela, nous proposons une approche formelle pour la spécification de politiques d'échange ainsi qu’un outil de vérifications automatique d'exigences génériques (relatives aux échanges, à la nécessité d’informer, la confidentialité, etc.).

Quelques Publications

  • Rémi Delmas and Thomas Polacsek. Need-to-share & non-diffusion requirements verification in exchange policies 27th International Conference on Advanced Information Systems Engineering (CAISE'15), 2015.
  • Rémi Delmas and Thomas Polacsek. Critical Information Diffusion Systems. ADBIS (Short Papers and Workshops) 2015, 2015.
  • Rémi Delmas and Thomas Polacsek. Formal methods for exchange policy specification. 25th International Conference on Advanced Information Systems Engineering (CAISE'2013), 2013.

Publications

Liste complète des publications

Divers

Pratique le yoga à Toulouse Yoga Samadhi.