Article (Scientific journals)
Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization
Boufaied, Chaima; Jukss, Maris; Bianculli, Domenico et al.
2021In Journal of Systems and Software, 174, p. 110881
Peer Reviewed verified by ORBi
 

Files


Full Text
main.pdf
Author postprint (533.4 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
signals; signal-based properties; temporal logic; taxonomy; cyber-physical systems
Abstract :
[en] The behavior of a cyber-physical system (CPS) is usually defined in terms of the input and output signals processed by sensors and actuators. Requirements specifications of CPSs are typically expressed using signal-based temporal properties. Expressing such requirements is challenging, because of (1) the many features that can be used to characterize a signal behavior; (2) the broad variation in expressiveness of the specification languages (i.e., temporal logics) used for defining signal-based temporal properties. Thus, system and software engineers need effective guidance on selecting appropriate signal behavior types and an adequate specification language, based on the type of requirements they have to define. In this paper, we present a taxonomy of the various types of signal-based properties and provide, for each type, a comprehensive and detailed description as well as a formalization in a temporal logic. Furthermore, we review the expressiveness of state-of-the-art signal-based temporal logics in terms of the property types identified in the taxonomy. Moreover, we report on the application of our taxonomy to classify the requirements specifications of an industrial case study in the aerospace domain, in order to assess the feasibility of using the property types included in our taxonomy and the completeness of the latter.
Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Computer science
Author, co-author :
Boufaied, Chaima ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV
Jukss, Maris
Bianculli, Domenico  ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV
Briand, Lionel ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV
Yago, Isasi Parache
External co-authors :
no
Language :
English
Title :
Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization
Publication date :
April 2021
Journal title :
Journal of Systems and Software
ISSN :
0164-1212
eISSN :
1873-1228
Publisher :
Elsevier, Netherlands
Special issue title :
Software Engineering for Trustworthy Cyber-Physical Systems
Volume :
174
Pages :
110881
Peer reviewed :
Peer Reviewed verified by ORBi
Focus Area :
Security, Reliability and Trust
European Projects :
H2020 - 694277 - TUNE - Testing the Untestable: Model Testing of Complex Software-Intensive Systems
Name of the research project :
Movida
Funders :
CE - Commission Européenne [BE]
University of Luxembourg - UL
Available on ORBilu :
since 02 December 2020

Statistics


Number of views
471 (74 by Unilu)
Number of downloads
50 (11 by Unilu)

Scopus citations®
 
4
Scopus citations®
without self-citations
3
OpenCitations
 
2
WoS citations
 
3

Bibliography


Similar publications



Contact ORBilu