Reference : Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Character...
Scientific journals : Article
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/44916
Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization
English
Boufaied, Chaima mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV >]
Jukss, Maris []
Bianculli, Domenico mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV >]
Briand, Lionel mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV >]
Yago, Isasi Parache []
Apr-2021
Journal of Systems and Software
Elsevier
174
Software Engineering for Trustworthy Cyber-Physical Systems
110881
Yes
International
0164-1212
Netherlands
[en] signals ; signal-based properties ; temporal logic ; taxonomy ; cyber-physical systems
[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.
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
European Commission - EC ; University of Luxembourg - UL
Movida
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/44916
10.1016/j.jss.2020.110881
H2020 ; 694277 - TUNE - Testing the Untestable: Model Testing of Complex Software-Intensive Systems

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
main.pdfAuthor postprint520.9 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.