Paper published in a book (Scientific congresses, symposiums and conference proceedings)
ThEodorE: a Trace Checker for CPS Properties
Menghi, Claudio; Vigano, Enrico; Bianculli, Domenico et al.
2021In Companion Proceedings of the 43rd International Conference on Software Engineering
Peer reviewed
 

Files


Full Text
ThEodorE.pdf
Author postprint (966.61 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Monitors; Languages; Specification; Validation; Formal methods
Abstract :
[en] ThEodorE is a trace checker for Cyber-Physical systems (CPS). It provides users with (i) a GUI editor for writing CPS requirements; (ii) an automatic procedure to check whether the requirements hold on execution traces of a CPS. ThEodorE enables writing requirements using the Hybrid Logic of Signals (HLS), a novel, logic-based specification language to express CPS requirements. The trace checking procedure of ThEodorE reduces the problem of checking if a requirement holds on an execution trace to a satisfiability problem, which can be solved using off-the-shelf Satisfiability Modulo Theories (SMT) solvers. This artifact paper presents the tool support provided by ThEodorE.
Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > SVV - Software Verification and Validation
Disciplines :
Computer science
Author, co-author :
Menghi, Claudio ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV
Vigano, Enrico ;  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
Briand, Lionel ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV
External co-authors :
no
Language :
English
Title :
ThEodorE: a Trace Checker for CPS Properties
Publication date :
May 2021
Event name :
International Conference on Software Engineering (ICSE 2021)
Event date :
from 23-05-2021 to 29-05-2021
Main work title :
Companion Proceedings of the 43rd International Conference on Software Engineering
Publisher :
IEEE
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
European Projects :
H2020 - 694277 - TUNE - Testing the Untestable: Model Testing of Complex Software-Intensive Systems
Funders :
CE - Commission Européenne [BE]
Union Européenne [BE]
Available on ORBilu :
since 14 April 2021

Statistics


Number of views
248 (41 by Unilu)
Number of downloads
266 (23 by Unilu)

Scopus citations®
 
1
Scopus citations®
without self-citations
1
OpenCitations
 
1

Bibliography


Similar publications



Contact ORBilu