Comparing controlled system synthesis and suppression enforcement

被引：4

作者：

Aceto, Luca ^{[1
,2
]}

Cassar, Ian ^{[2
,3
]}

Francalanza, Adrian ^{[3
]}

Ingolfsdottir, Anna ^{[2
]}

机构：

[1] Gran Sasso Sci Inst, Laquila, Italy

[2] Reykjavik Univ, Dept Comp Sci, Reykjavik, Iceland

[3] Univ Malta, Dept Comp Sci, Msida, Malta

来源：

INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER | 2021年 / 23卷 / 04期

基金：

欧盟地平线“2020”;

关键词：

Runtime enforcement; Controlled system synthesis; Modal mu-calculus; Process algebra;

D O I：

10.1007/s10009-021-00624-0

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Runtime enforcement and control system synthesis are two verification techniques that automate the process of transforming an erroneous system into a valid one. As both techniques can modify the behaviour of a system to prevent erroneous executions, they are both ideal for ensuring safety. In this paper, we investigate the interplay between these two techniques and identify control system synthesis as being the static counterpart to suppression-based runtime enforcement, in the context of safety properties.

引用

页码：601 / 614

页数：14

共 35 条

[1] OBSERVATION EQUIVALENCE AS A TESTING EQUIVALENCE
ABRAMSKY, S
[J]. THEORETICAL COMPUTER SCIENCE, 1987, 53 (2-3) : 225 - 241
[2] Aceto L, 1999, LECT NOTES COMPUT SC, V1578, P41
[3] Aceto L., 2007, REACTIVE SYSTEMS MOD, DOI DOI 10.1017/CBO9780511814105
[4] Aceto L., 2016, ABS161110212 CORR
[5] Aceto L., 2018, LIPICS, V118, DOI 10.4230/LIPIcs.CONCUR.2018.34
[6] Adventures in Monitorability: From Branching to Linear Time and Back Again
Aceto, Luca
Achilleos, Antonis
Francalanza, Adrian
Ingolfsdottir, Anna
Lehtinen, Karoliina
[J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (POPL):
[7] Comparing Controlled System Synthesis and Suppression Enforcement
Aceto, Luca
Cassar, Ian
Francalanza, Adrian
Ingolfsdottir, Anna
[J]. RUNTIME VERIFICATION, RV 2019, 2019, 11757 : 148 - 164
[8] A Framework for Parameterized Monitorability
Aceto, Luca
Achilleos, Antonis
Francalanza, Adrian
Ingolfsdottir, Anna
[J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2018, 2018, 10803 : 203 - 220
[9] Streaming Transducers for Algorithmic Verification of Single-pass List-processing Programs
Alur, Rajeev
Cerny, Pavol
[J]. POPL 11: PROCEEDINGS OF THE 38TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2011, : 599 - 610
[10] Arnold A, 2008, LOGIC AND AUTOMATA, P29

← 1 2 3 4 →