no: 1 cemsis wp6_beg037_v0_2_fisa 2003 slides.ppt cemsis fiks-ct-2000-00109 cost-effective...

15
wp6_beg037_v0_2_fisa 2003 s lides.ppt no: 1 CEMSIS CEMSIS FIKS-CT-2000-00109 C C ost- ost- E E ffective ffective M M odernisation of odernisation of S S ystems ystems I I mportant to mportant to S S afety afety Deryk Pavey, Deryk Pavey,

Upload: darcy-ford

Post on 01-Jan-2016

213 views

Category:

Documents


1 download

TRANSCRIPT

Page 1: No: 1 CEMSIS wp6_beg037_v0_2_fisa 2003 slides.ppt CEMSIS FIKS-CT-2000-00109 Cost-Effective Modernisation of Systems Important to Safety Deryk Pavey, Deryk

wp6_beg037_v0_2_fisa 2003 slides.ppt

no: 1 CEMSIS

CEMSISFIKS-CT-2000-00109

CCost-ost-EEffective ffective MModernisation of odernisation of SSystems ystems IImportant to mportant to SSafetyafety

Deryk Pavey,Deryk Pavey,

Page 2: No: 1 CEMSIS wp6_beg037_v0_2_fisa 2003 slides.ppt CEMSIS FIKS-CT-2000-00109 Cost-Effective Modernisation of Systems Important to Safety Deryk Pavey, Deryk

wp6_beg037_v0_1_fisa 2003 slides.ppt

no: 2 CEMSIS

CEMSIS Objectives

Programmable Instrumentation and Control (I&C) safety systems (e.g. protection)

safety-related systems (e.g. control, data presentation)

Common approach to development and safety justification maximise safety

minimise cost

Modernisation/Refurbishment analogue/discrete logic replacement with computer-based systems

Page 3: No: 1 CEMSIS wp6_beg037_v0_2_fisa 2003 slides.ppt CEMSIS FIKS-CT-2000-00109 Cost-Effective Modernisation of Systems Important to Safety Deryk Pavey, Deryk

wp6_beg037_v0_1_fisa 2003 slides.ppt

no: 3 CEMSIS

‘Stakeholders’ in CEMSIS Nuclear Plant Operators

British Energy (co-ord.) UK electricity generationElectricite de France F electricity generationBritish Nuclear Fuels UK nuclear fuel processing

Suppliers & System IntegratorsFramatome ANP DE C&I supplierCarlBro (Sycon International) SE system developer

Safety Authorities & AssessorsAV Nuclear B inspection & licensingAdelard UK safety consultancySKI SE inspection & licensing

Academic: TU Lund SE research & education

Page 4: No: 1 CEMSIS wp6_beg037_v0_2_fisa 2003 slides.ppt CEMSIS FIKS-CT-2000-00109 Cost-Effective Modernisation of Systems Important to Safety Deryk Pavey, Deryk

wp6_beg037_v0_1_fisa 2003 slides.ppt

no: 4 CEMSIS

Key Issues

Harmonisation & Structuring of Safety Justification

approaches

Definition of Requirements for Systems Important to Safety

Use of Pre-Existing Software in Systems Important to Safety

potentially including class A systems

Use of Languages & Tools in Systems Important to Safety

Page 5: No: 1 CEMSIS wp6_beg037_v0_2_fisa 2003 slides.ppt CEMSIS FIKS-CT-2000-00109 Cost-Effective Modernisation of Systems Important to Safety Deryk Pavey, Deryk

wp6_beg037_v0_1_fisa 2003 slides.ppt

no: 5 CEMSIS

CEMSIS Modernisation Context

Utility

Supplier

Regulator

Project viability

Pre-qualification(independent assessor)

Key:

= Work Package Number

Final Licensing /Approval

Approval

Safety Justification

Regular communication and informed comment

User requirements

process

Requirementsdocument

SISrequirementsspecification

Tenderingprocess

Negotiation &Acceptance

Amended SISrequirements

Safety Justification

Plan

Discuss/Agree

Normal operation and maintenance

Acceptance &Phased

Introduction2

22

2

1 1

Test andVerification

SWDevelopment

SIS ImplementationDecomposition

& Design

ValidationInstallation

& Site Commissioning

4

4

4

4

4

4

4

4

3

3

Page 6: No: 1 CEMSIS wp6_beg037_v0_2_fisa 2003 slides.ppt CEMSIS FIKS-CT-2000-00109 Cost-Effective Modernisation of Systems Important to Safety Deryk Pavey, Deryk

wp6_beg037_v0_1_fisa 2003 slides.ppt

no: 6 CEMSIS

Work Packages and DeliverablesSafety Justification

Survey and FrameworkSafety Justification

FrameworkWP

1

Requirements CaptureSurvey and Lifecycle

Requirements CaptureGuidelinesW

P2

Pre-Existing S/WStrategy & Techniques

Pre-Existing S/WGuidelinesW

P3

Languages & ToolsReview and EvaluateW

P4

WP

0,6

Management and Dissemination

WP

5

Public Domain Example Report

Case Studies:UK: fuel reprocessing

F: PWR I&C replacementSE: safety monitoring

+ Public Domain Example

Page 7: No: 1 CEMSIS wp6_beg037_v0_2_fisa 2003 slides.ppt CEMSIS FIKS-CT-2000-00109 Cost-Effective Modernisation of Systems Important to Safety Deryk Pavey, Deryk

wp6_beg037_v0_1_fisa 2003 slides.ppt

no: 7 CEMSIS

Safety Justification Framework Take account of current EU experience

EC NRWG Task Force on Safety Critical Software (ARMONIA) Survey shows no systematic method used in Member States

Pragmatic framework for cost-effective safety justification Elicit and organise disparate claims and evidence Allow modularity and reuse of elements of previous cases Deal with system models at different levels:

— plant: hazards/threats identified in a valid manner

— architecture and design: SIS correctly implements safety function

— operation: SIS behaviour remains valid

Page 8: No: 1 CEMSIS wp6_beg037_v0_2_fisa 2003 slides.ppt CEMSIS FIKS-CT-2000-00109 Cost-Effective Modernisation of Systems Important to Safety Deryk Pavey, Deryk

wp6_beg037_v0_1_fisa 2003 slides.ppt

no: 8 CEMSIS

0: initial claim

1: plant-SIS interface

2: architecture

3: design

4: operation

claims

evidence

re-used justification

Page 9: No: 1 CEMSIS wp6_beg037_v0_2_fisa 2003 slides.ppt CEMSIS FIKS-CT-2000-00109 Cost-Effective Modernisation of Systems Important to Safety Deryk Pavey, Deryk

wp6_beg037_v0_1_fisa 2003 slides.ppt

no: 9 CEMSIS

Requirements Capture

Survey of requirements techniques, research and experience. 84 available techniques identified & classified in current use: interviews, documents, reviews, checklists

Requirements process for refurbishment guide requirements engineering process - ‘modernisation oriented’ claim-based view - link to safety justification framework set of stakeholders or viewpoints - completeness

Page 10: No: 1 CEMSIS wp6_beg037_v0_2_fisa 2003 slides.ppt CEMSIS FIKS-CT-2000-00109 Cost-Effective Modernisation of Systems Important to Safety Deryk Pavey, Deryk

wp6_beg037_v0_1_fisa 2003 slides.ppt

no: 10 CEMSIS

Requirements Process

New requirementsdiscovery

New requirementsanalysis &negotiation

Requirementsdefinition

Requirementsvalidation

Analysisfeedback

Definitionfeedback

Validationfeedback

Requirementsdocument for SIS

New requirements

Requirements beforemodernisationExisting

requirementsdiscovery

Existingrequirementsdefinition

Analysisfeedback

Definitionfeedback

Requirementsspecification

Existingrequirementsanalysis

ProjectViability

Plant designbasis

Tenderingprocess

Amended requirementsdocument for SIS

Requirementsnegotiation

SIS requirementsspecification

Page 11: No: 1 CEMSIS wp6_beg037_v0_2_fisa 2003 slides.ppt CEMSIS FIKS-CT-2000-00109 Cost-Effective Modernisation of Systems Important to Safety Deryk Pavey, Deryk

wp6_beg037_v0_1_fisa 2003 slides.ppt

no: 11 CEMSIS

Pre-existing Software Including “COTS” (Commercial Off The Shelf)

Strategy: Two phases “Pre-qualification” - reduce uncertainty and delay

— provide evidence in advance for all applications Application Qualification - some always needed

— provide evidence specific to one application

Types of assessment Functional - ensure features of product are adequate for safe use Dependability - evidence that the product is sufficiently reliable

— taking account of its safety class

Page 12: No: 1 CEMSIS wp6_beg037_v0_2_fisa 2003 slides.ppt CEMSIS FIKS-CT-2000-00109 Cost-Effective Modernisation of Systems Important to Safety Deryk Pavey, Deryk

wp6_beg037_v0_1_fisa 2003 slides.ppt

no: 12 CEMSIS

white-box grey-box black-box

experience in operationno yes no yes yes no

Class

AClass

B

criticality

highmedlow

highmedlow

complexity

A-WB

A-WB

A-BB A-BB

B-GB

B-GB B-BBB-BBB-BB

COTS taxonomy & strategies

Properties essential to safety: characterisation functional adequacy correctness robustness maintenance

Partially addressed during pre-qualification

Page 13: No: 1 CEMSIS wp6_beg037_v0_2_fisa 2003 slides.ppt CEMSIS FIKS-CT-2000-00109 Cost-Effective Modernisation of Systems Important to Safety Deryk Pavey, Deryk

wp6_beg037_v0_1_fisa 2003 slides.ppt

no: 13 CEMSIS

Application and Evaluation Case Studies:

UK Nuclear fuel reprocessing plant control BNFL I&C replacement on a French PWR EDF Safety monitoring system on a Swedish NPP CarlBro Public domain nuclear material transport example Adelard

Identify safety and cost-relevant aspects safety requirements implementation options example arguments for safety justification

Evaluate and refine guidance documents

Page 14: No: 1 CEMSIS wp6_beg037_v0_2_fisa 2003 slides.ppt CEMSIS FIKS-CT-2000-00109 Cost-Effective Modernisation of Systems Important to Safety Deryk Pavey, Deryk

wp6_beg037_v0_1_fisa 2003 slides.ppt

no: 14 CEMSIS

Continuing Influence

Public and Limited Circulation Deliverables Use within members organisations and member states Dissemination by web-site http://www.cemsis.org

Post-FISA workshop no.4, 13 November Members participation in international activities

International standards, e.g. IEC 60880 and 61508 revision European Nuclear Regulators Working Group Electric Power Research Institute (EPRI)

Continuing research, possibly under Framework VI

Page 15: No: 1 CEMSIS wp6_beg037_v0_2_fisa 2003 slides.ppt CEMSIS FIKS-CT-2000-00109 Cost-Effective Modernisation of Systems Important to Safety Deryk Pavey, Deryk

wp6_beg037_v0_1_fisa 2003 slides.ppt

no: 15 CEMSIS

Conclusion On target to provide practical guidance illustrated with

realistic examples. Key audience:

Senior I&C engineers and managers of refurbishment projects Development engineers and managers in the supply industry SMEs and service companies in the refurbishment market Regulators and policy makers

Impact on strategy: Accelerate inter working in member states

— between utilities, suppliers and regulators Help to focus national R&D efforts