Reverse Engineering Physical Semantics of PLC Program Variables Using Control Invariants.
Zeyu YangLiang HeHua YuChengcheng ZhaoPeng ChengJiming ChenPublished in: SenSys (2022)
Keyphrases
- reverse engineering
- program understanding
- conceptual schema
- dynamic analysis
- control system
- software engineering
- control program
- software maintenance
- program slicing
- object oriented
- gene regulatory networks
- programmable logic controller
- program comprehension
- software evolution
- logic programming
- computer aided design
- platform independent
- hardware and software
- control strategy
- software systems
- imperative programs
- software design
- static analysis
- software engineers
- business rules
- control method
- database systems
- case study