Requirements Modeling Methodology Based On Knowledge Engineering: A Case Study of Railway Control System

The complexity of the verification and the validation of embedded systems is increasing. This paper explores the first requirements engineering processes in the solution domain, which are analysis and specification. In this work we present an architecture of a requirement specification system. We show how the requirements are analysed and structured to generate a dependency graph. This latter will serve to analyse requirements and to model specifications on goal model. In this paper we will focus on the analysis, and structuring processes. We will explain the requirement classification criteria.

Data and Resources

Additional Info

Field Value
Source Journal of Information and Knowledge
Author Darragi, Nesrine, Collart-Dutilleul, Simon, El Koursi, El Miloudi
Maintainer CCSD
Last Updated May 5, 2026, 10:01 (UTC)
Created May 5, 2026, 10:01 (UTC)
Identifier hal-00997699
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Évaluation des Systèmes de Transports Automatisés et de leur Sécurité (IFSTTAR/COSYS/ESTAS) ; Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux (IFSTTAR)-PRES Université Lille Nord de France
creator Darragi, Nesrine
date 2014-01-01T00:00:00
harvest_object_id db506ca5-754b-45a3-8813-bc811971024c
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2024-09-09T00:00:00
set_spec type:ART