Event-Driven Temporal Logic Pattern for Control Software Requirements Specification - Fundamentals of Software Engineering Access content directly
Conference Papers Year : 2021

Event-Driven Temporal Logic Pattern for Control Software Requirements Specification

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Licence

Attribution

Identifiers

Cite

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 View
11 Download

Altmetric

Share

Gmail Facebook X LinkedIn More