- Compact style
- Indico style
- Indico style - inline minutes
- Indico style - numbered
- Indico style - numbered + minutes
- Indico Weeks View
Meeting at the CERN reception and goto the meeting room
Including:
- UNICOS introduction and different packages
- UNICOS CPC Functional Analysis
- Database generation (e.g cryo tunnel), naming conventions
- Hardware selection, maintenance, stock, etc.
Including:
- PLC code & time-stamp data
- UAB generation tool, SCADA (visualization, archiving)
- LHC logging database (Post Morten analysis)
Two different kind of CERN industrial installations to help us to explain the Funtial Safety activities.
Including:
- Risk analysis and risk assessment
- SIF specification
- SIF implementation: Process control and Safety (UNICOS and SIFs)
Including:
- Quantify random hardware failures
- Comply with the requeriments for Architectural Constrains
Focussing in the software requirements:
- Testing activities (FAT and SAT)
- Formal verification
Including:
- Access concepts
- Safety lifecycle approach
- Implementation
- Testing and commissioning
- Maintenance
- Evolution management
Including:
- Risk analysis examples
- Safety functions specification – possible approaches
- Translation of SIF into a PLC program
- SIL and FTA computations – some hints
- Safety testing
Including:
- Configurability
- Scalability