Security in IoT

2 Robustness Analysis of PLC Programs With Respect to Sensor Interaction in IoT

MANALI CHAKRABORTY, AGOSTINO CORTESI, PIETRO FERRARA AND SARA FERRO

Università Ca' Foscari, Venezia VE, Italy

DOI: 10.1201/9781003149507-2

Contents

• 2.1Introduction
  • 2.1.1PLC & IoT
  • 2.1.2Motivation
  • 2.1.3Contribution
  • 2.1.4Structure of the Chapter
• 2.2Related Work
  • 2.2.1Vulnerabilities of PLC Programs
  • 2.2.2Model Checking of PLC Programs
• 2.3Proposed Methodology
  • 2.3.1Methodology Overview
  • 2.3.2Syntax and Semantics of SCL
    • 2.3.2.1Syntax of SCL
  • 2.3.3Syntax and Semantics of TA
    • 2.3.3.1Syntax of TA
  • 2.3.4Transforming SCL to TA
  • 2.3.5Transformation Rules Correctness
    • 2.3.5.1Basic Case: Begin
    • 2.3.5.2Assignment
    • 2.3.5.3Conditional Statement
    • 2.3.5.4While Loop Statement
    • 2.3.5.5 ...