Engineering Dependable Cyber-Physical Spaces
We increasingly live in spaces that are both physical and computational, and where these two aspects are intertwined. Such spaces are software-intensive: EDENSPACE advocates systematically engineering such systems by rethinking their design and operation from a software engineering perspective for obtaining assurances on their behavior – e.g., for security, reliability or safety. EDENSPACE is funded by the Austrian Science Foundation.
Publications
Edge-based Runtime Verification for the Internet of Things Christos Tsigkanos, Marcello M. Bersani, Pantelis A. Frangoudis, and Schahram Dustdar IEEE Transactions on Services Computing, 2021, and IEEE Services Journal First (invited), 2021.
Updating Service-based Software Systems in Air-Gapped Environments Oleksandr Shabelnyk, Pantelis A. Frangoudis, Schahram Dustdar, and Christos Tsigkanos European Conference on Software Architecture (ECSA), 2021 .
Resource Management for Latency-Sensitive IoT Applications with Satisfiability Cosmin Avasalcai, Christos Tsigkanos, and Schahram Dustdar IEEE Transactions on Services Computing, 2021.
On Provisioning Procedural Geometry Workloads on Edge Architectures I. Murturi, C. Jia, B. Kerbl, M. Wimmer, S. Dustdar, and C. Tsigkanos International Conference on Web Information Systems and Technologies, 2021.
Adaptive Management of Volatile Edge Systems at Runtime With Satisfiability Cosmin Avasalcai, Christos Tsigkanos, and Schahram Dustdar IEEE Transactions
DataOps for Cyber-Physical Systems Governance: The Airport Passenger Flow Case Martin Garriga, Koen Aarns, Christos Tsigkanos, Damian A. Tamburri and Willem-Jan Van Den Heuvel IEEE Transactions
RoboMAX: Robotic Mission Adaptation eXemplars M. Askarpour, C. Tsigkanos, C. Menghi, R. Calinescu, P. Pelliccione, S. Garcia, R. Caldas, T. Oertzen, M. Wimmer, L. Berardinelli, M. Rossi, M. Bersani, G. Rodrigues. IEEE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021.
Connectivity Technology Selection and Deployment Strategies for IoT Service Provision Over LPWAN. Pantelis A. Frangoudis, Christos Tsigkanos, Schahram Dustdar. IEEE Internet Computing, 2021.
Model-Driven Engineering City Spaces via Bidirectional Model Transformations. Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu and Carlo Ghezzi. Software and Systems Modelling, 2021.
Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations. Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, and Carlo Ghezzi. Automated Software Engineering, 2020. ACM/SIGSOFT Distinguished Paper Award
Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet-of-Things Systems. Christos Tsigkanos, Martin Garriga, Luciano Baresi, and Carlo Ghezzi. IEEE Transactions on Internet Computing, 2020.
POET: Privacy on the Edge with Bidirectional Data Transformations. Nianyu Li, Christos Tsigkanos, Zhi Jin, Schahram Dustdar, Zhenjiang Hu and Carlo Ghezzi. IEEE PERCOM, 2019.
Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration. Nianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu, and Carlo Ghezzi. Journal of Systems and Software, 2020.
Software & Artifacts
ScalableRS-BX
AMELIA
About
EDENSPACE is funded by the Austrian Science Foundation (2019-2022) at the Distributed Systems Group at the Faculty of Informatics of Technical University of Vienna (TU Wien), Austria.