Event-Driven Temporal Logic Pattern for Control Software Requirements Specification - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Event-Driven Temporal Logic Pattern for Control Software Requirements Specification

Résumé

This paper presents event-driven temporal logic (EDTL), a specification formalism that allows the users to describe the behavior of control software in terms of events (including timeouts) and logical operations over inputs and outputs, and therefore consider the control system as a “black box”. We propose the EDTL-based pattern that provides a simple but powerful and semantically rigorous conceptual framework oriented on industrial process plant developers in order to organize their effective interaction with the software developers and provide a seamless transition to the stages of requirement consistency checking and verification.
Fichier principal
Vignette du fichier
506725_1_En_7_Chapter.pdf (593.79 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04074526 , version 1 (19-04-2023)

Licence

Paternité

Identifiants

Citer

Vladimir Zyubin, Igor Anureev, Natalia Garanina, Sergey Staroletov, Andrei Rozov, et al.. Event-Driven Temporal Logic Pattern for Control Software Requirements Specification. 9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.92-107, ⟨10.1007/978-3-030-89247-0_7⟩. ⟨hal-04074526⟩
22 Consultations
13 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More