INCREMENT an Hybrid approach for modeling and analyzing regulatory safety requirements in the large
type: Dataset
description: Instrumentation and Control (I&C) Systems important to safety must conform to their requirements, where regulatory requirements are first class entities, written by national safety authorities and completed using a set of national recommendation guides or standards. The global domain knowledge is scattered, not formalized and traceability links and the organization within the domain are implicit. Bridges between different national practices are not developed, whereas the understanding of requirements and practices variability concerns becomes a significant industrial issue. The thesis sets up in an industrial context with EDF R&D and the CONNEXION project that gathered the French nuclear I&C industry. Its contributions are defined around the INCREMENT approach (Instrumentation aNd Control Regulatory Requirement Modeling Environment) that addresses the two first challenges previously introduced. In particular, they consist in: (1) the domain formalization itself by the proposal of a metamodel that allows a high level capitalization of a requirements corpus as well as its organization, (2) a tool-support basis to gather partial knowledge from the textual documents, manipulate such models that conform to the proposed metamodel, and Information retrieval techniques to support better requirements traceability, (3) the proposal of an original hybrid approach, mixing both metamodeling and information retrieval, and combine them in a mutual beneficial joint use. The metamodel and its tool support are used in the industrial context of the CONNEXION project. Where information retrieval techniques for requirements traceability suffer from large sets of false positives limitations, our hybrid approach allowed us to reduce this noise and the size of the candidate links research space by a mean of 65% without decreasing their global quality.
landing page: https://theses.hal.science/tel-00941881
keyword: exigences-reglementaires
keyword: infoeu-reposemanticsdoctoralthesis
keyword: infoinfo-ircomputer-science-csinformation-retrieval-csir
keyword: infoinfo-secomputer-science-cssoftware-engineering-csse
keyword: information-retrieval
keyword: ingenierie-des-exigences
keyword: ingenierie-dirigee-par-les-modeles
keyword: model-driven-engineering
keyword: recherche-dinformation
keyword: regulatory-requirements
keyword: requirements-engineering
keyword: requirements-tracaeability
keyword: theses
keyword: tracabilite
issued: 2026-05-07T03:02:37.857784
modified: 2026-05-07T03:02:37.857789
language: fr
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

INCREMENT an Hybrid approach for modeling and analyzing regulatory safety requirements in the large
type: Distribution
format: HTML
access URL: https://theses.hal.science/tel-00941881
issued: 2026-05-07T03:02:37.860282
modified: 2026-05-07T03:02:37.843956