This dissertation is motivated by the ever-increasing safety and security challenges arising in the analysis and synthesis of large-scale cyber-physical systems (CPS). CPS are the technological backbone of the increasingly interconnected and smart world where design fault or security vulnerability can be catastrophic. We advocate a paradigm shift in the development of safe and secure CPS by proposing a secure-by-construction controller synthesis scheme by considering privacy properties simultaneously to safety ones during the design phase.     «

This dissertation is motivated by the ever-increasing safety and security challenges arising in the analysis and synthesis of large-scale cyber-physical systems (CPS). CPS are the technological backbone of the increasingly interconnected and smart world where design fault or security vulnerability can be catastrophic. We advocate a paradigm shift in the development of safe and secure CPS by proposing a secure-by-construction controller synthesis scheme by considering privacy properties simultane...     »

Die vorliegende Dissertation ist motiviert durch die kontinuierlich wachsenden Herausforderungen in-puncto Sicherheit, die bei der Analyse und Synthese von großen cyber-physischen Systemen (CPS) auftreten. CPS sind das technologische Rückgrat einer zunehmend vernetzten und intelligenten Welt, in der Designfehler oder Sicherheitslücken katastrophale Folgen haben können. Indem wir ein Verfahren zur Synthese von Controllern nach dem Prinzip Sicherheit-durch-Konstruktion vorschlagen, plädieren wir für einen Paradigmenwechsel in der Entwicklung sicherer CPS. Das vorgeschlagenen Entwurfskonzept berücksichtig während der Entwurfsphase gleichermaßen Aspekte der Privatsphäre und Sicherheit.     «

Die vorliegende Dissertation ist motiviert durch die kontinuierlich wachsenden Herausforderungen in-puncto Sicherheit, die bei der Analyse und Synthese von großen cyber-physischen Systemen (CPS) auftreten. CPS sind das technologische Rückgrat einer zunehmend vernetzten und intelligenten Welt, in der Designfehler oder Sicherheitslücken katastrophale Folgen haben können. Indem wir ein Verfahren zur Synthese von Controllern nach dem Prinzip Sicherheit-durch-Konstruktion vorschlagen, plädieren wir f...     »