Towards Semantic Interpretation of Goal-Oriented Safety Decision based on Foundational Ontology
Résumé
Semantic interpretation of a knowledge domain is usually required to provide and formalize its common vocabulary. This task is challenging in the context of Safety Critical Systems (SCSs) development, since it involves both safety and design teams. In the railway domain, there is a lack of a common vocabulary to avoid ambiguities in the safety-related decision to satisfy goals. To cope with the complexity of this task, the aim of this study is to propose a semantic interpretation of the safety rules development process from a goal-oriented perspective. The safety rules development process is performed according to the Organization-Based Access Control (Or-BAC) model used for the information systems security. The proposed approach is based on a foundational ontology in order to interpret safety-related concepts in real-world semantics. It provides relations between safety-related concepts and foundational concepts. Furthermore, the matching between safety rules, Or-BAC and Goal-Oriented Requirements Engineering (GORE) concepts is considered and formalized in a structured way. The proposed interpretation in this paper is evaluated and progressively justified regarding the railway domain knowledge and current literature.