Login

PBCS: PLC based control systems Workshop

15 October 2021
Shanghai (China) [Virtual]
Europe/Paris timezone
ZOOM link: https://us02web.zoom.us/j/81926033579?pwd=RVJKWTR2R0VPekl1Vm1Ball1eXBydz09

Support

Session

Testing & verification

15 Oct 2021, 16:20
Virtual workshop (Shanghai (China) [Virtual])

Virtual workshop

Shanghai (China) [Virtual]

ICALEPCS 2021

Conveners

Testing & verification: Testing & Verification techniques

  • Jeronimo Ortola Vidal (CERN)

Presentation materials

There are no materials yet.

  1. 3. CI/CD techniques for quality assurance
    Brad Schofield (CERN)
    15/10/2021, 16:20
    (3) Testing and verification

    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. ...

    Go to contribution page
  2. 4. Formal verification of PLC programs with PLCVerif
    Borja Fernandez Adiego (CERN)
    15/10/2021, 16:40
    (3) Testing and verification

    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...

    Go to contribution page
Building timetable...