Distributed Just-Ahead-Of-Time Verification of Cyber-Physical Critical Infrastructures

Download

Abstract:

Trustworthy operation of next-generation complex power grid critical infrastructures requires mathematical and practical verification solutions to guarantee the correct infrastructural functionalities. This project develops the foundations of theoretical modeling, synthesis and real-world deployment of a formal and scalable controller code verifier for programmable logic controllers (PLCs) in cyber-physical settings. PLCs are widely used for control automation in industrial control systems.

  • CPS Safety
  • CPS Security
  • Just-Ahead-Of-Time Verification
  • programmable logic controllers
  • Rutgers University
  • University of Illinois at Urbana-Champaign
  • CPS Domains
  • Energy Sector
  • Control
  • Critical Infrastructure
  • Wireless Sensing and Actuation
  • Validation and Verification
  • CPS Technologies
  • Education
  • Foundations
  • National CPS PI Meeting 2014
  • 2014
  • Abstract
  • Poster
  • Academia
  • CPSPI MTG 2014 Posters, Videos and Abstracts
Submitted by Shamina Hossain on