A graph based semantics for Logical Functional Diagrams in power plant controllers - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2022

A graph based semantics for Logical Functional Diagrams in power plant controllers

Abstract

In this paper we place ourselves in the setting of formal representation of functional specifications given in logical diagrams (LD) for verification and test purposes. Our contribution consists in defining a formal structure that explicitly encodes the semantics and behavior of a LD. We put in a complete transformation procedure of the non-formal LD specifications into a directed state graph such that properties like oscillatory behavior become formally verifiable on LDs. We motivate and illustrate our approach with a scenario inspired from a real world power plant specification.
Fichier principal
Vignette du fichier
A graph based semantics for Logical Functional Diagrams in power plant controllers.pdf (523.43 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

lirmm-03822964 , version 1 (20-10-2022)

Identifiers

Cite

Mohamed Aziz Sfar Gandoura, Dina Irofti, Madalina Croitoru. A graph based semantics for Logical Functional Diagrams in power plant controllers. FoIKS 2022 - 12th International Symposium on Foundations of Information and Knowledge Systems, Jun 2022, Helsinki, Finland. pp.55-74, ⟨10.1007/978-3-031-11321-5_4⟩. ⟨lirmm-03822964⟩
38 View
33 Download

Altmetric

Share

Gmail Facebook X LinkedIn More