%0 Conference Proceedings
%T Event-Driven Temporal Logic Pattern for Control Software Requirements Specification
%+ Institute of Automation and Electrometry of the Siberian Branch of the RAS (IA&E)
%A Zyubin, Vladimir
%A Anureev, Igor
%A Garanina, Natalia
%A Staroletov, Sergey
%A Rozov, Andrei
%A Liakh, Tatiana
%Z Part 2: Logic
%< avec comité de lecture
%@ 978-3-030-89246-3
%( Lecture Notes in Computer Science
%B 9th International Conference on Fundamentals of Software Engineering (FSEN)
%C Virtual, Iran
%Y Hossein Hojjat
%Y Mieke Massink
%I Springer International Publishing
%3 Fundamentals of Software Engineering
%V LNCS-12818
%P 92-107
%8 2021-05-19
%D 2021
%R 10.1007/978-3-030-89247-0_7
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 2
%Z WG 2.2
%2 https://inria.hal.science/hal-04074526/document
%2 https://inria.hal.science/hal-04074526/file/506725_1_En_7_Chapter.pdf
%L hal-04074526
%U https://inria.hal.science/hal-04074526
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC2
%~ IFIP-WG2-2
%~ IFIP-FSEN
%~ IFIP-LNCS-12818