Requirements Verification Method for System Engineering Based on a RDF Logic View

Albéric Cornière (1, 2) , Virginie Fortineau (1, 2) , Thomas Paviot (1, 2) , Samir Lamouri (1, 2)

1 LAMIH - Laboratoire d'Automatique, de Mécanique et d'Informatique industrielles et Humaines - UMR 8201
2 Arts et Métiers ParisTech

Requirements Engineering (RE) is often seen as a preliminary phase to design, however in a PLM (Product Life-cycle Management) context its range widens to the whole life cycle of a product. Verification of requirements is one of the activities associated with RE, that consist in asserting the actual system complies to the requirements. This verification is usually performed manually, one requirement at a time, relying on the engineer’s expertise. In order to enable automatic verification of requirements on large and complex systems, we propose a semantic model of requirements based on business concepts and modelled with RDF (Resource Description Framework). This model joins the logical and the concrete views on the system in a twin network of RDF triples. The application domain is the nuclear industry.

Mots clés: Requirement Engineer; Resource Description Framework; Verification Process; Safety Function

Domaines: Automatique / Robotique

Albéric Cornière, Virginie Fortineau, Thomas Paviot, Samir Lamouri. Requirements Verification Method for System Engineering Based on a RDF Logic View. Service Orientation in Holonic and Multi-Agent Manufacturing, 640, Springer International Publishing, pp.135-143, 2016, Studies in Computational Intelligence, ⟨10.1007/978-3-319-30337-6_13⟩. ⟨hal-03406147⟩