Software Engineering Methodologies for Cyberphysical Systems

Cyperphysical systems (CPS) are on the horizon to challenge the way we see and develop computer systems. CPS provide the integration of embedded computing, real-time computing, distributed computing, parallel computing, mobile computing, and server/cloud systems, resulting in completely new application domains. On one side the arise of CPS is just the natural consequence of various incremental improvements of enabling technologies like the Internet of Things. But from the software engineering side it creates big challenges. CPS will result in significant rise of system complexities. At the same time there are serious security and safety challenges as it requires to combine subsystems with closed-world assumptions and those with open-world assumptions, requiring new interfacing solutions. In this talk we present the research towards the development of a programming model that is aimed to withstand the CPS challenge. This programming model will provide support for mixed-criticality systems and adaptability. Central to this model is the specification of different progress models for different service criticalities with adequate isolation between different criticality levels. We also discuss foundations for a structured coordination language for CPS.

About the Speaker

Raimund Kirner is a Reader in Cyberphysical Systems at the University of Hertfordshire. He has published more than 90 refereed journal and conference papers and received two patents.

He received his PhD in 2003 from the TU Vienna and his Habilitation in 2010. His research focus is on embedded computing, parallel computing, and system reliability. He currently works on adequate hardware and software architectures to bridge the gap between the many-core computing and embedded computing.

He also published excessively on worst-case execution time analysis and served as PC chair of WDES'06, WCET'08, and SEUS'13. He was the local principal investigator of the Artemis-JU project CRAFTERS and was local co-investigator of the FP7 project ADVANCE. Further, he has been the principal investigator of three research projects funded by the Austrian Science Foundation (COSTA, FORTAS, SECCO). He is a member of the IFIP Working Group 10.4 (Embedded Systems).