Analyse formelle d'exigences en langue naturelle pour la conception de systèmes cyber-physiques

Aurélien Lamercerie 1
1 HYCOMES - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
Inria Rennes – Bretagne Atlantique , IRISA_D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : This paper focuses on the construction of formal representations of natural language texts. The mapping from a natural language to a logical representation is realized with a grammatical formalism, linking the syntactic analysis of the text to a semantic representation. We target the behavioral aspect of the specifications for cyber-physical systems, ie any type of system in which software components interact closely with a physical environment. In this way, the challenge would be to provide assistance to the designer. So, we could simulate and verify, by automatic or assisted methods, "systems" specifications expressed in natural language. This paper presents some existing contributions that could enable progress on this issue.
Liste complète des métadonnées

https://hal.inria.fr/hal-01970134
Contributor : Aurélien Lamercerie <>
Submitted on : Friday, January 4, 2019 - 5:19:15 PM
Last modification on : Thursday, February 7, 2019 - 3:39:23 PM
Document(s) archivé(s) le : Friday, April 5, 2019 - 3:33:41 PM

Identifiers

  • HAL Id : hal-01970134, version 1

Citation

Aurélien Lamercerie. Analyse formelle d'exigences en langue naturelle pour la conception de systèmes cyber-physiques. TALN 2018 - Conférence sur le Traitement Automatique des Langues Naturelles, May 2018, Rennes, France. pp.1-13. ⟨hal-01970134⟩

Share

Metrics

Record views

181

Files downloads

42