Increasing and Validating the Safety and Reliability of Cyber-Physical Systems

Abstract

Cyber-physical systems (CPS) like production facilities, medical devices, and modern cars play an increasingly significant role in the economic context but also in every-day life; catchphrases like “Industry 4.0” and “Mobility of the Future” are on everybody’s mind. Manufacturers and operators of such systems are highly interested in investigating and ensuring the safety and reliability of their systems.
The security researchers of AIT Austrian Institute of Technology’s research field “Dependable Systems Engineering” (DSE) deal with the challenge of increasing the safety and reliability of cyber-physical systems since many years. The team actively engages interesting problems in both, the scientific - and production domains together with key industry partners. In this way, they not only drive scientific progress in their field of study but also keep their eyes on the practical applicability of their solutions.
With this goal in mind, the DSE’s researchers and engineers develop tools and methodologies to address questions regarding Safe and Secure Co-Engineering. Examples include safe and secure reference architectures; methods for model-based analysis of safety-critical systems; automated test case generation; and real-time monitoring of complex systems. The group’s experts also contribute to the development of industry standards, e.g., ISO26262.
Keywords: cyber-physical systems; safety and security; verification and validation; dependable systems engineering; model-based; automated test case generation; real-time monitoring

Original document

The different versions of the original document can be found in:

• https://zenodo.org/record/1486560 under the license http://creativecommons.org/licenses/by-nc-nd/4.0/legalcode

• http://dx.doi.org/10.5281/zenodo.1486559,

https://zenodo.org/record/1486560 under the license http://creativecommons.org/licenses/by-nc-nd/4.0/legalcode

• https://zenodo.org/record/1486560,

http://dx.doi.org/10.5281/zenodo.1486560 under the license http://creativecommons.org/licenses/by-nc-nd/4.0/legalcode

DOIS: 10.5281/zenodo.1486559 10.5281/zenodo.1486560