Analyse formelle d'exigences en langue naturelle pour la conception de syst\`emes cyber-physiques (Formal analysis of natural language requirements for the design of cyber-physical systems )

Abstract

Cet article explore la construction de repr\'esentations formelles d'\'enonc\'es en langue naturelle. Le passage d'un langage naturel \`a une repr\'esentation logique est r\'ealis\'e avec un formalisme grammatical, reliant l'analyse syntaxique de l'\'enonc\'e \`a une repr\'esentation s\'emantique. Nous ciblons l'aspect comportemental des cahiers des charges pour les syst\`emes cyber-physiques, c'est-\`a-dire tout type de syst\`emes dans lesquels des composants logiciels interagissent \'etroitement avec un environnement physique. Dans ce cadre, l'enjeu serait d'apporter une aide au concepteur. Il s'agit de permettre de simuler et v\'erifier, par des m\'ethodes automatiques ou assist\'ees, des cahiers des charges ``syst\`emes'' exprim\'es en langue naturelle. Cet article pr\'esente des solutions existantes qui pourraient \^etre combin\'ees en vue de la r\'esolution de la probl\'ematique expos\'ee.

Tasks

Reproductions