John Baras gives invited lectures at NATO's Marktoberdorf International Summer School

Distinguished University Professor John Baras (ECE/ISR) gave a series of five lectures on Formal Methods and Tool-suites for CPS Security, Safety and Verification at the prestigious 2018 Marktoberdorf International Summer School. The event is sponsored by the Advanced Study Institute of the North Atlantic Treaty Organization’s (NATO) Science and Peace for Security Programme. It was held July31–Aug. 11, 2018 in Marktoberdorf, Germany, with the theme “Engineering Secure and Dependable Software Systems.”

Almost all modern technical systems rely crucially on software and require software systems that are both safe and secure. Because violations potentially cause considerable economic, political, and physical damage, improving the understanding of safety and security and constructing these kinds of systems is a vital societal challenge.

Lectures at this summer school gave an overview of the state of the art in constructing and analyzing safe and secure systems.

Baras was invited to lecture on complex systems, including cyber-physical systems (CPS). “My role was to make computer scientists aware of the broad opportunities opened up for formal methods and logic by the rapid expansion of cyber-physical systems and associated technologies,” Baras says.

His five-lecture series on Formal Methods and Toolsuites for CPS Security, Safety and Verification presented a general rigorous methodology for model-based systems engineering for CPS, which uses in several key steps traditional and novel formal methods, and more specialized applications and deeper results in several areas.

| View the slides from the lectures and Dr. Baras’s article in the NATO book that summarizes the event |

Published August 12, 2018