Specification-centered robustness

Roderick Paul Bloem; Krishnendu Chatterjee; Karin Greimel; Thomas A. Henzinger; Barbara Jobstmann

doi:10.1109/SIES.2011.5953660

Specification-centered robustness

Roderick Paul Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann

Institute of Applied Information Processing and Communications (7050)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Abstract

In addition to being correct, a system should be robust, that is, it should behave reasonably even after receiving unexpected inputs. In this paper, we summarize two formal notions of robustness that we have introduced previously for reactive systems. One of the notions is based on assigning costs for failures on a user-provided notion of incorrect transitions in a specification. Here, we define a system to be robust if a finite number of incorrect inputs does not lead to an infinite number of incorrect outputs. We also give a more refined notion of robustness that aims to minimize the ratio of output failures to input failures. The second notion is aimed at liveness. In contrast to the previous notion, it has no concept of recovery from an error. Instead, it compares the ratio of the number of liveness constraints that the system violates to the number of liveness constraints that the environment violates.

Original language	English
Title of host publication	2011 6th International Symposium on Industrial Embedded Systems
Place of Publication	Piscataway, NJ
Publisher	Institute of Electrical and Electronics Engineers
Pages	176-185
ISBN (Print)	978-1-612-84818-1
DOIs	https://doi.org/10.1109/SIES.2011.5953660
Publication status	Published - 14 Jul 2011
Event	IEEE International Symposium on Industrial Embedded Systems - Västeràs, Sweden Duration: 15 Jun 2011 → 17 Jun 2011

Conference

Conference	IEEE International Symposium on Industrial Embedded Systems
Country/Territory	Sweden
City	Västeràs
Period	15/06/11 → 17/06/11

Fields of Expertise

Information, Communication & Computing

Access to Document

10.1109/SIES.2011.5953660

specification_centered_robustnessFinal published version, 764 KBLicence: CC BY 3.0

Cite this

Bloem, RP, Chatterjee, K, Greimel, K, Henzinger, TA & Jobstmann, B 2011, Specification-centered robustness. in 2011 6th International Symposium on Industrial Embedded Systems. Institute of Electrical and Electronics Engineers, Piscataway, NJ, pp. 176-185, IEEE International Symposium on Industrial Embedded Systems, Västeràs, Sweden, 15/06/11. https://doi.org/10.1109/SIES.2011.5953660

@inproceedings{8d58748f033b43ff968b0e97e4c5baf4,

title = "Specification-centered robustness",

abstract = "In addition to being correct, a system should be robust, that is, it should behave reasonably even after receiving unexpected inputs. In this paper, we summarize two formal notions of robustness that we have introduced previously for reactive systems. One of the notions is based on assigning costs for failures on a user-provided notion of incorrect transitions in a specification. Here, we define a system to be robust if a finite number of incorrect inputs does not lead to an infinite number of incorrect outputs. We also give a more refined notion of robustness that aims to minimize the ratio of output failures to input failures. The second notion is aimed at liveness. In contrast to the previous notion, it has no concept of recovery from an error. Instead, it compares the ratio of the number of liveness constraints that the system violates to the number of liveness constraints that the environment violates.",

author = "Bloem, {Roderick Paul} and Krishnendu Chatterjee and Karin Greimel and Henzinger, {Thomas A.} and Barbara Jobstmann",

year = "2011",

month = jul,

day = "14",

doi = "10.1109/SIES.2011.5953660",

language = "English",

isbn = "978-1-612-84818-1",

pages = "176--185",

booktitle = "2011 6th International Symposium on Industrial Embedded Systems",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

note = "IEEE International Symposium on Industrial Embedded Systems ; Conference date: 15-06-2011 Through 17-06-2011",

}

TY - GEN

T1 - Specification-centered robustness

AU - Bloem, Roderick Paul

AU - Chatterjee, Krishnendu

AU - Greimel, Karin

AU - Henzinger, Thomas A.

AU - Jobstmann, Barbara

PY - 2011/7/14

Y1 - 2011/7/14

N2 - In addition to being correct, a system should be robust, that is, it should behave reasonably even after receiving unexpected inputs. In this paper, we summarize two formal notions of robustness that we have introduced previously for reactive systems. One of the notions is based on assigning costs for failures on a user-provided notion of incorrect transitions in a specification. Here, we define a system to be robust if a finite number of incorrect inputs does not lead to an infinite number of incorrect outputs. We also give a more refined notion of robustness that aims to minimize the ratio of output failures to input failures. The second notion is aimed at liveness. In contrast to the previous notion, it has no concept of recovery from an error. Instead, it compares the ratio of the number of liveness constraints that the system violates to the number of liveness constraints that the environment violates.

AB - In addition to being correct, a system should be robust, that is, it should behave reasonably even after receiving unexpected inputs. In this paper, we summarize two formal notions of robustness that we have introduced previously for reactive systems. One of the notions is based on assigning costs for failures on a user-provided notion of incorrect transitions in a specification. Here, we define a system to be robust if a finite number of incorrect inputs does not lead to an infinite number of incorrect outputs. We also give a more refined notion of robustness that aims to minimize the ratio of output failures to input failures. The second notion is aimed at liveness. In contrast to the previous notion, it has no concept of recovery from an error. Instead, it compares the ratio of the number of liveness constraints that the system violates to the number of liveness constraints that the environment violates.

UR - http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5953660

U2 - 10.1109/SIES.2011.5953660

DO - 10.1109/SIES.2011.5953660

M3 - Conference paper

SN - 978-1-612-84818-1

SP - 176

EP - 185

BT - 2011 6th International Symposium on Industrial Embedded Systems

PB - Institute of Electrical and Electronics Engineers

CY - Piscataway, NJ

T2 - IEEE International Symposium on Industrial Embedded Systems

Y2 - 15 June 2011 through 17 June 2011

ER -

Specification-centered robustness

Abstract

Conference

Fields of Expertise

Access to Document

Other files and links

Fingerprint

RiSE - Rigorous Systems Engineering

Formal Methods for Design & Verification

Cite this

Specification-centered robustness

Abstract

Conference

Fields of Expertise

Access to Document

Other files and links

Fingerprint

Projects

RiSE - Rigorous Systems Engineering

Formal Methods for Design & Verification

Cite this