System analysis and robustness

Eugenio Moggi, Amin Farjudian, Walid Taha

Research output: Journal PublicationConference articlepeer-review

Abstract

Software is increasingly embedded in a variety of physical contexts. This imposes new requirements on tools that support the design and analysis of systems. For instance, modeling embedded and cyberphysical systems needs to blend discrete mathematics, which is suitable for modeling digital components, with continuous mathematics, used for modeling physical components. This blending of continuous and discrete creates challenges that are absent when the discrete or the continuous setting are considered in isolation. We consider robustness, that is, the ability of an analysis of a model to cope with small amounts of imprecision in the model. Formally, we identify analyses with monotonic maps between complete lattices (a mathematical framework used for abstract interpretation and static analysis) and define robustness for monotonic maps between complete lattices of closed subsets of a metric space.

Original languageEnglish
Pages (from-to)1-7
Number of pages7
JournalCEUR Workshop Proceedings
Volume2504
Publication statusPublished - 2019
Event20th Italian Conference on Theoretical Computer Science, ICTCS 2019 - Como, Italy
Duration: 9 Sep 201911 Sep 2019

Keywords

  • Analyses
  • Domain theory
  • Robustness

ASJC Scopus subject areas

  • Computer Science (all)

Fingerprint

Dive into the research topics of 'System analysis and robustness'. Together they form a unique fingerprint.

Cite this