Leveraging Event-B Theories for Handling Domain Knowledge in Design Models - Fiabilité des Systèmes et des Logiciels Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Leveraging Event-B Theories for Handling Domain Knowledge in Design Models

Résumé

Formal system modelling languages lack explicit constructs to model domain knowledge, hindering clear separation of this knowledge from system design models. Indeed, in many cases, this knowledge is hardcoded in the system formal specification or is simply overlooked. Providing explicit domain knowledge constructs and properties would yield a significant improvement in the robustness and confidence of the system design models. Therefore, it speeds up formal verification of safety properties and advances system certification since certification standards and requirements rely on domain knowledge models. The purpose of this paper is to show how formal system design models can benefit from explicit handling of domain knowledge, represented as ontologies. To this end, state-based Event-B modelling language and theories are used to model system models and domain knowledge ontologies, respectively. Our proposition is exemplified by the TCAS (Traffic Collision Avoidance System) system, a critical airborne avionic component. Finally, we provide an assessment highlighting the overall approach.
Fichier principal
Vignette du fichier
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models.pdf (502.91 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03857803 , version 1 (17-12-2021)
hal-03857803 , version 2 (22-11-2022)

Identifiants

Citer

Ismail Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe Palanque. Leveraging Event-B Theories for Handling Domain Knowledge in Design Models. 7th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA 2021), Nov 2021, Beijing, China. pp.40-58, ⟨10.1007/978-3-030-91265-9_3⟩. ⟨hal-03857803v2⟩
223 Consultations
100 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More