Thu 26 Aug 2021 16:25 - 16:30 - Dependability—Dependability Chair(s): Eunsuk Kang
Fri 27 Aug 2021 04:25 - 04:30 - Dependability—Dependability Chair(s): Eunsuk Kang
Fri 27 Aug 2021 04:25 - 04:30 - Dependability—Dependability Chair(s): Eunsuk Kang
Software is a core component of \emph{smart ecosystems}, large 'system communities' that emerge from the composition of autonomous, independent, and highly heterogeneous systems, like smart cities, smart grids, smart buildings.
The systems that comprise smart ecosystems are not centrally owned, and mutually interact both explicitly and implicitly, leading to unavoidable contradictions and failures.
The distinctive characteristics of smart ecosystems challenge software engineers with problems never addressed so far.
In this paper we discuss the big challenge of defining a new concept of 'dependability' and new approaches to reveal smart ecosystem failures.
Thu 26 AugDisplayed time zone: Athens change
Thu 26 Aug
Displayed time zone: Athens change
16:00 - 17:00 | Dependability—DependabilityIdeas, Visions and Reflections / Research Papers +12h Chair(s): Eunsuk Kang Carnegie Mellon University | ||
16:00 10mPaper | Lightweight and Modular Resource Leak Verification Research Papers Martin Kellogg University of Washington, Narges Shadab University of California at Riverside, Manu Sridharan University of California at Riverside, Michael D. Ernst University of Washington DOI | ||
16:10 10mPaper | JSISOLATE: Lightweight In-Browser JavaScript Isolation Research Papers DOI | ||
16:20 5mPaper | Software Robustness: A Survey, a Theory, and Prospects Ideas, Visions and Reflections Justyna Petke University College London, David Clark University College London, William B. Langdon University College London DOI | ||
16:25 5mPaper | Health of Smart Ecosystems Ideas, Visions and Reflections Noura El Moussa USI Lugano; Schaffhausen Institute of Technology, Davide Molinelli USI Lugano; Schaffhausen Institute of Technology, Mauro Pezze USI Lugano; Schaffhausen Institute of Technology, Martin Tappler TU Graz; Silicon Austria Labs DOI | ||
16:30 30mLive Q&A | Q&A (Dependability—Dependability) Research Papers |
Fri 27 AugDisplayed time zone: Athens change
Fri 27 Aug
Displayed time zone: Athens change
04:00 - 05:00 | Dependability—DependabilityIdeas, Visions and Reflections / Research Papers Chair(s): Eunsuk Kang Carnegie Mellon University | ||
04:00 10mPaper | Lightweight and Modular Resource Leak Verification Research Papers Martin Kellogg University of Washington, Narges Shadab University of California at Riverside, Manu Sridharan University of California at Riverside, Michael D. Ernst University of Washington DOI | ||
04:10 10mPaper | JSISOLATE: Lightweight In-Browser JavaScript Isolation Research Papers DOI | ||
04:20 5mPaper | Software Robustness: A Survey, a Theory, and Prospects Ideas, Visions and Reflections Justyna Petke University College London, David Clark University College London, William B. Langdon University College London DOI | ||
04:25 5mPaper | Health of Smart Ecosystems Ideas, Visions and Reflections Noura El Moussa USI Lugano; Schaffhausen Institute of Technology, Davide Molinelli USI Lugano; Schaffhausen Institute of Technology, Mauro Pezze USI Lugano; Schaffhausen Institute of Technology, Martin Tappler TU Graz; Silicon Austria Labs DOI | ||
04:30 30mLive Q&A | Q&A (Dependability—Dependability) Research Papers |