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

Contribution List

10 out of 10 displayed
Export to PDF
  1. 10. Workshop introduction
    Dr Enrique Blanco Vinuela (CERN)
    15/10/2021, 14:00
  2. 2. IEC61499 standard and an industry implementation: 4DIAC
    Dr Alois Zoitl (JOHANNES KEPLER University (LINZ-AUSTRIA))
    15/10/2021, 14:10
    (2) Project development
    Technology trends

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

    Go to contribution page
  3. 6. ELETTRA, Trieste, Italy
    Massimo Trevi (Elettra - Sincrotone Trieste)
    15/10/2021, 15:00
  4. 8. CAS - Beijing, China
    Yongcheng He (CAS)
    15/10/2021, 15:05
  5. 9. NCBJ - Poland
    Jaroslaw Szewinski (NCBJ Swierk)
    15/10/2021, 15:10
  6. 11. SNS (ORNL), Tennessee, USA
    Karen White (ORNL)
    15/10/2021, 15:15
  7. 7. ALBA - Barcelona, Spain
    Jorge Villanueva (ALBA)
    15/10/2021, 15:20
  8. 5. PLC hardware upgrades: basics concepts
    Jeronimo Ortola Vidal (CERN)
    15/10/2021, 16:00

    Concepts and factors to take into account in an obsolescence study and a successful migration strategy

    Go to contribution page
  9. 3. CI/CD techniques for quality assurance
    Brad Schofield (CERN)
    15/10/2021, 16:20
    (3) Testing and verification
    Testing & 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
  10. 4. Formal verification of PLC programs with PLCVerif
    Borja Fernandez Adiego (CERN)
    15/10/2021, 16:40
    (3) Testing and verification
    Testing & 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