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 :
- la Vérification, Validation et ceritification de systèmes à l'aide de schémas d'argumentation,
- l'utilisation de méthodes formelles pour la spécification de systèmes,
- concevoir conjointement l'avion et sa production (usine).
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.
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.).
Publications
Liste complète des publications
Divers
Pour un savoir plus sur mes recherches, vous pouvez consulter ma page personnelle : thomaspolacsek.net
Quand je ne suis pas l'Onera, il m'arrive de pratiquer du Yoga (notamment Iyenghar, du restorative yoga et de la méditation). Si vous cherchez un endroit à Toulouse : Yoga Samadhi
