System analysis and robustness
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 cyber-physical systems needs to blend discrete mathematics, which is suitable for modeling digital componen...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Springer
2019
|
| Subjects: | |
| Online Access: | https://eprints.nottingham.ac.uk/57139/ |
| _version_ | 1848799439140945920 |
|---|---|
| author | Moggi, Eugenio Farjudian, Amin Taha, Walid |
| author_facet | Moggi, Eugenio Farjudian, Amin Taha, Walid |
| author_sort | Moggi, Eugenio |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | 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 cyber-physical 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. © 2019, Springer Nature Switzerland AG. |
| first_indexed | 2025-11-14T20:35:41Z |
| format | Article |
| id | nottingham-57139 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-14T20:35:41Z |
| publishDate | 2019 |
| publisher | Springer |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-571392019-07-29T11:03:01Z https://eprints.nottingham.ac.uk/57139/ System analysis and robustness Moggi, Eugenio Farjudian, Amin Taha, Walid 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 cyber-physical 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. © 2019, Springer Nature Switzerland AG. Springer 2019-06-26 Article PeerReviewed application/pdf en https://eprints.nottingham.ac.uk/57139/1/2019-Moggi_Farjudian_Taha-System_Analysis_and_Robustness.pdf Moggi, Eugenio, Farjudian, Amin and Taha, Walid (2019) System analysis and robustness. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11200 . pp. 36-44. ISSN 0302-9743 Analyses; Robustness; Domain theory http://dx.doi.org/10.1007/978-3-030-22348-9_4 doi:10.1007/978-3-030-22348-9_4 doi:10.1007/978-3-030-22348-9_4 |
| spellingShingle | Analyses; Robustness; Domain theory Moggi, Eugenio Farjudian, Amin Taha, Walid System analysis and robustness |
| title | System analysis and robustness |
| title_full | System analysis and robustness |
| title_fullStr | System analysis and robustness |
| title_full_unstemmed | System analysis and robustness |
| title_short | System analysis and robustness |
| title_sort | system analysis and robustness |
| topic | Analyses; Robustness; Domain theory |
| url | https://eprints.nottingham.ac.uk/57139/ https://eprints.nottingham.ac.uk/57139/ https://eprints.nottingham.ac.uk/57139/ |