Reference : Specifying Source Code and Signal-based Behaviour of CPS Components
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/52185
Specifying Source Code and Signal-based Behaviour of CPS Components
English
Dawes, Joshua mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV >]
Bianculli, Domenico mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV >]
Nov-2022
Proceedings of the 18th International Conference on Formal Aspects of Component Software
Dawes, Joshua mailto
Bianculli, Domenico mailto
Springer
Yes
No
International
18th International Conference on Formal Aspects of Component Software
from 10-11-2022 to 11-11-2022
Virtual
[en] specification language ; temporal logic ; cyber-physical systems
[en] Specifying properties over the behaviour of components of Cyber-Physical Systems usually focuses on the behaviour of signals, i.e., the behaviour of the physical part of the system, leaving the behaviour of the cyber components implicit. There have been some attempts to provide specification languages that enable more explicit reference to the behaviour of cyber components, but it remains awkward to directly express the behaviour of both cyber and physical components in the same specification, using one formalism. In this paper, we introduce a new specification language, Source Code and Signal Logic (SCSL), that 1) provides syntax specific to both signals and events originating in source code; and 2) does not require source code events to be abstracted into signals. We introduce SCSL by giving its syntax and semantics, along with examples. We then provide a comparison between SCSL and existing specification languages, using an example property, to show the benefit of using SCSL
to capture certain types of properties.
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
European Commission - EC
Researchers ; Professionals
http://hdl.handle.net/10993/52185
H2020 ; 957254 - COSMOS - DevOps for Complex Cyber-Physical Systems

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
camera-ready.pdfCamera-readyAuthor postprint293.93 kBView/Open
Open access
extended.pdfExtended version, with appendices.Author postprint322.26 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.