System analysis and robustness
2019 (English)In: CEUR Workshop Proceedings: Volume 2504, CEUR-WS , 2019, p. 1-7Conference paper, Published paper (Refereed)
Abstract [en]
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. Copyright © 2019 for this paper by its authors.
Place, publisher, year, edition, pages
CEUR-WS , 2019. p. 1-7
Series
CEUR Workshop Proceedings, ISSN 1613-0073 ; 2504
Keywords [en]
Analyses, Domain theory, Robustness, Blending, Robustness (control systems), Static analysis, Abstract interpretations, Cyber physical systems (CPSs), Design and analysis, Discrete mathematics, Mathematical frameworks, Physical components, Embedded systems
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:hh:diva-41543Scopus ID: 2-s2.0-85076003651OAI: oai:DiVA.org:hh-41543DiVA, id: diva2:1391313
Conference
20th Italian Conference on Theoretical Computer Science (ICTCS 2019), September 9-11, 2019
2020-02-042020-02-042020-03-20Bibliographically approved