Detecting races in Relay Ladder Logic programs

摘要

Relay Ladder Logic(RLL)〔5〕is a program- ming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL programs is extremely high, often measured in millions of dollars (for shutting down a factory )or human safety(for rides). In this paper, we describe our experience in applying constraint-based program analysis techniques to analyze production RLL programs.