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

Nesrine Darragi, Simon Collart-Dutilleul, El-Miloudi El-Koursi


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.

Keywords: Requirements Modeling, Qualification Strategy, Knowledge Engineering, Ontology, Dependency Graph, Embedded System, ERTMS/ETCS

Full Text: PDF
Download the IISTE publication guideline!

To list your conference here. Please contact the administrator of this platform.

Paper submission email:

ISSN (Paper)2224-5758 ISSN (Online)2224-896X

Please add our address "" into your email contact list.

This journal follows ISO 9001 management standard and licensed under a Creative Commons Attribution 3.0 License.

Copyright ©