edenspace

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

Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations: tool support implementing synchronizations, specifications and models; ACM ASE20.

Paper Software

AMELIA

Models from Trajectories of Spatially-Distributed Internet-of-Things, analyzable with spatio-temporal model checking; SEAMS19@ICSE.

Paper Software

POET

Correct and well-behaved bidirectional transformations for privacy; PERCOM19; ref. Nianyu Li

Paper Software

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.

Research supported by the FWF Austria project M 2778-N ''EDENSPACE''. Copyright notice