A method for formalizing requirements interoperation in complex systems engineering

Anderson Luis Szejka (1, 2) , Alexis Aubry (1) , Hervé Panetto (1) , Osiris Canciglieri Júnior (2) , Eduardo Rocha Loures (2)

1 CRAN - Centre de Recherche en Automatique de Nancy
2 PPGEPS - Graduate Program in Production Engineering and System

This article presents an ongoing research project that aims to define a conceptual method to formally model the system requirements and their relationships in terms of transformation (translation, conversion and sharing) and traceability, based on an ontological approach. In this way, we are considering two hypothesis: (H1) Multiple phases of System Life Cycle can be supported by system requirements in a semantically interoperable manner; and (H2) System requirements formalization can ensure the comprehensibility and verifiability, reducing inconsistencies between different domains across the phases of System Life Cycle.

Mots clés: Requirement Engineering; formal definition; interoperability; systems engineering

Domaines: Ingénierie assistée par ordinateur

Anderson Luis Szejka, Alexis Aubry, Hervé Panetto, Osiris Canciglieri Júnior, Eduardo Rocha Loures. A method for formalizing requirements interoperation in complex systems engineering. INSIGHT - International Council on Systems Engineering (INCOSE), 2015, 18 (4), pp.28-30. ⟨10.1002/inst.12058⟩. ⟨hal-01238407⟩