Recent content by jubnzv

  1. jubnzv

    Static code analysis and formal methods for PLC software

    oneye14, Thank you for your answer. It sounds reasonable that the customer wants to have a working system with no additional cost and no time required for verification. I also encountered this situation while I was working in the embedded area on software written in C. When the customer...
  2. jubnzv

    Static code analysis and formal methods for PLC software

    Does it make sense to apply static code analysis and formal methods to PLC software written in domain specific languages such as IEC61131-3? Is this common in the industry? What is your experience?
See more
Top