The security and safety of cyber-physical systems (CPS) are vitally important in protecting people and society from harm. That’s why AIT experts are developing state-of-the-art Security procedures and technologies for these complex areas. In CPS it is not enough just to ensure that an environment is protected against a system malfunction (safety).
As open and networked systems, CPS are an obvious target for cyberattacks, which can also impair their operational security. Safety (reliable and safe operation) and security (protection of the system against hostile agents) should not be considered in isolation. The high level of CPS complexity, the exacting real-time standards, and the time-to-market pressures can very easily have a negative effect on the quality of the developed
AIT is developing a whole portfolio of tools and solutions in this area:
- Model-based design tools which help to develop systems that are both safe and secure from the outset.
- AIT guarantees this by offering runtime verification (monitoring) tools and
test case generation technologies for efficient CPS verification. AIT also actively contributes its expertise to the development of future security standards.