Security and reliability of CPSare of utmost importance inthe digital society.
Cyber-physical systems are the basis for future developments in mobility,energy or medicine. Research at AIT makes these vital systems moresecure and reliable for the Internet of Things.
Increase and validation of the security andreliability of cyber-physical systems
Development and adaptation of state-of-the-artsafety procedures and technologies
Testing and verifying safety-critical andautonomous systems
As part of EU projects such as ARROWHEAD,EMC² and CARONTE, AIT is conducting researchwith its partners in various fields such as intercon-nected industrial systems, automotive, railway androad transport. One result is the „Failure Mode,Vulnerabilities and Effect Analysis“ (FMVEA), amethod for the combined analysis of the effects oferrors and attacks on the security and reliability ofcyber-physical systems.
MoMuT is a tool for the automated creation ofsoftware tests that was developed by AIT in coope-ration with the Graz University of Technology. Thecore technology is the mutation-based test casegeneration which allows the created tests to findcertain errors with certainty. MoMuT is availablefor various modelling languages in the industrialcontext and is already used in several EU projects(e.g. Enable-S3, EMBEET, AutoDrive).
AIT has developed the HARMONIA project (Hard-ware Monitoring for Automotive Applications) to-gether with Infineon Technologies and the ViennaUniversity of Technology. In this project, AIT tech-nology analyzes and evaluates cyber-physical sys-tems in the automotive industry according to qua-litative („correctness“) and quantitative („robust-ness“) criteria. One application area is in this casethe automatic monitoring of automotive designs.Testing time and costs in the design process arethus to be reduced.
Cyber-physical systems (CPS) consist of physical objects that are inter-connected via ICT systems and communicate with one another throughsoftware. Today, these systems already play a significant role in our dai-ly lives, for example, in the form of driver assistance systems for highlyautomated vehicles, intelligent energy networks or telemedicine for in-creasing the quality of life. In the near future, such integrated systemswill form the basis for solving major societal challenges – possible ap-plications include intelligent traffic systems, Smart Grids, modernhealth care (e-Health), environmental management, public safety, thehandling of natural disasters and globally competitive industrial pro-duction facilities, („Industry 4.0“).
PROTECTION FOR PEOPLE AND SOCIETY
The security and reliability of CPS are of the utmost importance for theprotection of people and society. It is not sufficient for CPS to just pro-tect the environment against the non-functioning of the system (“safe-ty“). As open and networked systems, CPS are the target of cyber at-tacks that can lead to an impairment of the safety of the CPS. For thisreason, „safety“ can not be considered in isolation from „security“, theprotection of the system from malicious players in its environment. TheAIT tool FMVEA helps to develop a system in such a way that it is both„safe“ and „secure“.
The high complexity of CPS, the hard real-time requirements and thetime to market pressure can very easily have a negative impact on thequality of the developed systems. To prevent this, AIT provides tools forruntime verification (monitoring) and test case generation technologiesfor the efficient verification of CPS. In addition, AIT is actively contribut-ing its knowledge to the creation of future security standards.
RELIABLE SYSTEMS TOMORROW TODAY
The great age of the CPS has only just begun. Developments such asthe „Internet of Things“ (IoT), car-to-X communication, autonomousdriving, intelligent production and self-learning systems require contin-uous work on existing and new strategies, methods and instruments forthe development of reliable systems.
AIT is well prepared for this future: Together with IST-Austria, the Vien-na University of Technology and TTTech, it is involved in the construc-tion of an IoT infrastructure in Vienna and has made a name for itselflast year as a co-organizer of the CPS week, the international top con-ference on the subject of CPS with more than 900 participants.