Requirements Verification Method for System Engineering Based on a RDF Logic View
Résumé
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.