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 (induced e.g., by pervasive technologies) 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

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 .

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.

Adaptive Management of Volatile Edge Systems at Runtime With Satisfiability Cosmin Avasalcai, Christos Tsigkanos, and Schahram Dustdar IEEE Transactions on Internet Technology, 2021. (pdf)

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 on Internet Technology, 2021. (pdf)

Resource Management for Latency-Sensitive IoT Applications with Satisfiability Cosmin Avasalcai, Christos Tsigkanos, and Schahram Dustdar IEEE Transactions on Services Computing, 2021. (pdf)

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.

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

About

EDENSPACE is funded by the Austrian Science Foundation (2019-2021) at the Distributed Systems Group at the Faculty of Informatics of Technical University of Vienna (TU Wien), Austria.