Computer Science

Computer Science Colloquium

Prof. Dr. Tomas Bures
Department of Distributed and Dependable Systems Charles University, Prague

Software Aspects of Smart Cyber-Physical Systems

Fri 05.12.2014, 13:30, 60 minutes
S3 218 (Science Park 3)


In smart cyber-physical systems (sCPS) the interplay of software control with the physical environment has a prominent role. Nowadays, sCPS are expected to (i) effectively deal with the issues of distribution, scalability, and environment dynamicity, (ii) control their emergent behavior, and, at the same time, (iii) be versatile and tolerant in face of changes and threats. Although approaches that individually meet the above requirements of sCPS already exist, their synergy in a comprehensive software engineering framework is far from trivial. In this talk, we will pinpoint the important characteristics of engineering sCPS in an attempt to show that they introduce distinct challenges to traditional software engineering. We argue that this can be addressed by a synergy and adaptation of existing models and abstractions and describe the DEECo component model as our proposal towards such a synergy.


Tomas Bures is an associate professor at the Department of Distributed and Dependable Systems. He received his Ph.D. degree in 2006 also from Charles University. In the meantime, he held 1 year postdoctoral researcher position at Mälardalen University, Sweden. Currently, he is also a visiting professor at Institut für Informatik, Ludwig-Maximilians-Universität München, Germany. He specializes in component-based development, cyber-physical systems and generative programming. He co-authored over 40 referred articles and served as program committee chair and/or member of numerous international conferences.
Invited by o.Univ.-Prof. Dr. Dr. h.c. Hanspeter Mössenböck

The Computer Science Colloquium is organized by the Department of Coputer Science at JKU, the Österreichische Gesellschaft für Informatik (ÖGI) and the Österreichische Computergesellschaft (OCG).
List of all talks
Last modified on Thursday, 01-Jan-1970 01:00:00 CET