A Novel Approach to Maintain Traceability Between Safety Requirements and Model Design

Qian Wang,Jing Liu,John Zhang,Hui Dou,Haiying Sun,HongTao Chen,Xiaohong Chen,Jifeng He
DOI: https://doi.org/10.18293/seke2022-140
2022-01-01
Abstract:One of the major challenges confronting System Modeling Language(SysML) is that it cannot always provide verifiable guarantees of formalization and rigorousness.To verify model designs, the research of transformation from SysML to ontology emerges because of ontology's formal standards and verifiability obtained by ontology reasoners.However, existing transformation approaches are mostly limited to a single view without traceability or lack a clear process so that it can't be automated.In this paper, we propose a novel approach to maintain precious traceability between requirements and model multi-views design based on ontology.In addition, our approach contains a normative process of ontology building in support of an automated implementation.We use this approach to obtain the ontology of a safety-critical system and carry out the ontology evaluation experiment, whose results demonstrate the feasibility and efficiency of our approach.
What problem does this paper attempt to address?