hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
System analysis and robustness
DIBRIS, Genova Univ., Genova, Italy.
Univ. of Nottingham, Ningbo, China.
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).ORCID iD: 0000-0003-3160-9188
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
Embedded Systems 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, 9 September 2019 through 11 September 2019
Available from: 2020-02-04 Created: 2020-02-04 Last updated: 2020-02-04Bibliographically approved

Open Access in DiVA

No full text in DiVA

Scopus

Authority records BETA

Taha, Walid

Search in DiVA

By author/editor
Taha, Walid
By organisation
Centre for Research on Embedded Systems (CERES)
Embedded SystemsComputer Systems

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 4 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf