The Convergence of Safety and Security for Safety-critical Systems
Sprache des Titels:
For decades, safety was the dominating topic for cyber-physical systems. Safety of a system ensures that in the case of faults, the system is still highly unlikely to cause harm to users, capital infrastructure, or the environment. With the advent of connectivity, security is now becoming an equally important topic as connectivity creates scalable attacks. Unfortunately, the complexity of today's systems prevents engineers from gaining a deep understanding of systems and consequently new approaches for safety and security approaches are necessary. The talk presents ongoing development of a framework for machine-based safety and security monitoring. The framework is based on specification mining, runtime verification, and anomaly detection using known but also novel data sources. The utility of the framework includes, besides online safety and security monitoring, providing insights to engineers, delivering prognostics and diagnostics, and demonstrating compliance with safety specifications. The results are promising and are supported by demonstrations on autonomous vehicles and other case studies.