|
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 |
Related Articles:
ENES 489P holds Spring 2023 undergraduate systems design competition
Mark Austin wins ISR Outstanding Faculty Award
Mark Austin is PI for new DoD Minerva Research Initiative project
Baras, Sadler part of large ARL DataDrivER project
Bioengineering Ph.D. Student Named to Aviation Week’s 20 Twenties
“Digital Twins” Could Help Streamline Urban Systems
Rance Cleaveland elevated to IEEE Fellow
NAE journal 'The Bridge' focuses on complex systems and systems thinking
Remembering NSF ERC architect and leader Lynn Preston
UMD developing COVID-19 decision making tools for colleges
August 12, 2018
|
