As in many other areas, software is the function and innovation driver in industrial automation. The discussions around Industry 4.0 with the goal of networked and adaptable production have reinforced this. This leads to the fact that control software development is the main cost driver in industrial automation. In order to keep the complexity and the human effort manageable, a domain-specific...
Concepts and factors to take into account in an obsolescence study and a successful migration strategy
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...