Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Specifying Source Code and Signal-based Behaviour of CPS Components
Dawes, Joshua; Bianculli, Domenico
2022In Proceedings of the 18th International Conference on Formal Aspects of Component Software
Peer reviewed
 

Files


Full Text
camera-ready.pdf
Author postprint (300.99 kB)
Camera-ready
Download
Annexes
extended.pdf
(329.99 kB)
Extended version, with appendices.
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
specification language; temporal logic; cyber-physical systems
Abstract :
[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.
Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Computer science
Author, co-author :
Dawes, Joshua ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV
Bianculli, Domenico  ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV
External co-authors :
no
Language :
English
Title :
Specifying Source Code and Signal-based Behaviour of CPS Components
Publication date :
November 2022
Event name :
18th International Conference on Formal Aspects of Component Software
Event date :
from 10-11-2022 to 11-11-2022
Audience :
International
Main work title :
Proceedings of the 18th International Conference on Formal Aspects of Component Software
Publisher :
Springer
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
European Projects :
H2020 - 957254 - COSMOS - DevOps for Complex Cyber-physical Systems
Funders :
CE - Commission Européenne [BE]
Union Européenne [BE]
Available on ORBilu :
since 22 September 2022

Statistics


Number of views
201 (74 by Unilu)
Number of downloads
94 (7 by Unilu)

Bibliography


Similar publications



Contact ORBilu