Conveners
Testing & verification: Testing & Verification techniques
- Jeronimo Ortola Vidal (CERN)
Continuous Integration and Continuous Deployment (CI/CD) are concepts that have been widely adopted in the sphere of software engineering. Continuous Integration heavily emphasises frequent, small commits to a central version control system, after which a sequence of automated build and test steps are performed. Continuous Delivery focuses on the automation of the release procedures. ...
Formal verification techniques, in particular Model Checking, are powerful methods that can be used to guarantee that a PLC program is compliant with its specifications.
They are a good complement to the traditional testing techniques and they are recommended by the Functional Safety standards (e.g. IEC 61508 and IEC 61511).
The main advantage of Model Checking is that it checks all...