A graph based semantics for Logical Functional Diagrams - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2022

A graph based semantics for Logical Functional Diagrams

, (1) ,
1
Aziz Sfar
Madalina Croitoru

Résumé

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
myPaper.pdf (516.73 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03870015 , version 1 (24-11-2022)

Identifiants

Citer

Aziz Sfar, Dina Irofti, Madalina Croitoru. A graph based semantics for Logical Functional Diagrams. Foundations of Information and Knowledge Systems, Springer International Publishing, pp.55-74, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-11321-5_4⟩. ⟨hal-03870015⟩

Collections

TDS-MACS EDF
0 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook Twitter LinkedIn More