SPINLINE 3 Digital Safety I&C Platform

41
© Rolls-Royce plc 2010 The information in this document is the property of Rolls-Royce plc and may not be copied or communicated to a third party, or used for any purpose other than that for which it is supplied without the express written consent of Rolls-Royce plc. This information is given in good faith based upon the latest information available to Rolls-Royce plc, no warranty or representation is given concerning such information, which must not be taken as establishing any contractual or other commitment binding upon Rolls-Royce plc or any of its subsidiary or associated companies. January 07, 2010 Non-proprietary Software Components • Software Tools • Software Development Process SPINLINE 3 Digital Safety I&C Platform

Transcript of SPINLINE 3 Digital Safety I&C Platform

Page 1: SPINLINE 3 Digital Safety I&C Platform

© Rolls-Royce plc 2010The information in this document is the property of Rolls-Royce plc and may not be copied or communicated to a third party, or used for any purpose other than that for which it is supplied without the express written consent of Rolls-Royce plc.This information is given in good faith based upon the latest information available to Rolls-Royce plc, no warranty or representation is given concerning such information, which must not be taken as establishing any contractual or other commitment binding upon Rolls-Royce plc or any of its subsidiary or associated companies.

January 07, 2010Non-proprietary

• Software Components• Software Tools• Software Development Process

SPINLINE 3 Digital Safety I&C Platform

Page 2: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

2

SPINLINE 3 Safety Software Components:Generic Platform SoftwarePlant-specific Application Software

Sofware Tools:SCADECLARISSE

Application Software Development Process

Topics

Page 3: SPINLINE 3 Digital Safety I&C Platform

© Rolls-Royce plc 2010The information in this document is the property of Rolls-Royce plc and may not be copied or communicated to a third party, or used for any purpose other than that for which it is supplied without the express written consent of Rolls-Royce plc.This information is given in good faith based upon the latest information available to Rolls-Royce plc, no warranty or representation is given concerning such information, which must not be taken as establishing any contractual or other commitment binding upon Rolls-Royce plc or any of its subsidiary or associated companies.

SPINLINE 3 Safety Software Components

Page 4: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

4Safety Software Components

Generic Platform Software, which is comprised of the following standard items:

Operational System Software (OSS)- Low complexity: single loop, no interrupts, dedicated to safety I&C needs- Category A qualified: designed and V&V according to IEC 60880- Application independent- Developed and maintained by RRCN- Fully available under confidentiality agreement for licensing purposes

Application-oriented librarySoftware Embedded in I/O boards

Plant-specific application softwareDedicated to the customers’ needsDeveloped using the CLARISSE System and Software Development Environment (SSDE) and the SCADE language

Page 5: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

5Safety Software Components Installed on a Processing Unit

SENSORS

NETWORKS

ACTUATORS

NETWORKS

INPUT

BOARDS

OUTPUT

BOARDS

APPLICATIONSOFTWARE

OPERATIONAL SYSTEM SOFTWARE

CPU BOARD

Processing Unit

Page 6: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

6

The SPINLINE 3 safety software installed on each processing unit (i.e., the OSS and application software) performs sequentially, deterministically and periodically a set of functions

Processing Unit Software Architecture

Initialization

Cyclicalprocessing

Cycle timemanagement

Local Display Unit

Test and Self tests

Applicationsoftware

Output boards and NerviaNetwork emission

Input boards and NerviaNetwork Acquisition

Input data acquisition

Nervia network acquistion

Page 7: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

7

“Operational System Software” versus “Operating System”Defined in IEC 60880 Ed2 as: “Software running on the target processor during operation, such as input/output drivers and services, interrupt management, scheduler, communication drivers, application-oriented libraries, on-line diagnostic, redundancy and graceful degradation management”It differs from an Operating System (OS) which provides far more complex sets of services for general purpose computers (i.e., support for file management, multi-users access, dynamic memory management, multi-threaded processes).

The SPINLINE 3 system software is a minimum and simple Operational System Software

It provides only the services needed for nuclear safety applications:- I/O and communication control- Interface between the software application and the equipment- hardware self-tests- Monitoring of cyclical execution of application software

It does not include functions recognized to be of unnecessary complexity for implementation of nuclear safety I&C functions.

Operational System Software (OSS)

Page 8: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

8

This library is a collection of re-usable software components that can be used by developers when designing application software using the SCADE tool. These re-usable components include:

- Logic functions- Numeric functions

The library components were developed and are maintained according to the same basic software life cycle processes and Quality Assurance Program applicable to the OSS.

Application-Oriented Library

Page 9: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

9

Embedded software is employed in the following SPINLINE 3 electronic boards:

Calibrated pulse acquisition board (ICTO board) where the processing is implemented using an Intel 8031 microprocessor

NERVIA+ communication board, installed on the CPU board, where the processing is implemented using a Motorola MPC860 communication controller

The Class 1E software embedded in I/O and communication boards was developed according to the RRCN life cycle process and Quality Assurance Program applicable to Class 1E software that was used for the development of the OSS

Software Embedded in I/O boards

Page 10: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

10

Programmable Logic Device (PLD) is employed in the following SPINLINE 3 electronic boards:

Antifuse FPGA used to implement hardware logic functions on the CPU25+ Board

Antifuse FPGA used to implement hardware logic function and acquisition processing on the analog 16EANA ISO input board

CPLD used to implement hardware logic functions on the NERVIA+ daughter board

These components perform functions that contribute to the performance of the safety functions. However, the logic in each of these component is standardized, and does not depends on the safety function being implemented in the SPINLINE 3 system.the function of the PLD is developed according to a specific development process which is part of the RRCN Electronic hardware design process and is not documented in this LTR

PLD embedded in electronic boards

Page 11: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

11

Implements the application functions:“Application function” is defined in IEC 60880 Ed2 as: “Function of an I&C system that performs a task related to the process being controlled rather than to the functioning of the system itself”“Application functions” are specified in the requirements, using either:

- textual description- functional diagrams, or- implementation diagrams (for refurbishment)

RRCN describes the application using the SCADE tool.The application is translated into executable code by

CLARISSE production tools.

Plant-specific Application Software

Page 12: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

12

Operating safetyDefensive programmingWrite-protected softwarePhysical access to the CPU board is necessary for software modifications

"Transparency“All safety software components are reviewableNo Safety software «black boxes»

Characteristics of SPINLINE 3 Safety Software

Page 13: SPINLINE 3 Digital Safety I&C Platform

© Rolls-Royce plc 2010The information in this document is the property of Rolls-Royce plc and may not be copied or communicated to a third party, or used for any purpose other than that for which it is supplied without the express written consent of Rolls-Royce plc.This information is given in good faith based upon the latest information available to Rolls-Royce plc, no warranty or representation is given concerning such information, which must not be taken as establishing any contractual or other commitment binding upon Rolls-Royce plc or any of its subsidiary or associated companies.

Tool Description: SCADE - Safety Critical Application Development Environment

Page 14: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

14

A language and a set of tools dedicated to the development of Safety Critical Applications

Provides block diagram formalism with rigorous textual & graphical syntax and well defined semantic

User-friendly: it does not require specialized programming skills

SCADE Overview

Page 15: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

15

Synchronous and data-flow approaches

Graphical function block diagram (FBD) formalism with formal semantic

Support top-down design methodology

Automated syntactic & semantic verifications (deadlocks, types, completeness, consistency, variables initialization ...)

Support for reuse of components

SCADE Main Features

Page 16: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

16

SCADE History (1/2)

Before 1984

1984

1985

1986

1991

design & code were performed manually

first definition of a graphical dataflow language

formal semantic added by the Grenoble software engineering laboratory - (LGI) : subset of the LUSTRE synchronous language

development of the SAGA tool diagram editor, code generator used for experimental reactors and N4 plantshighly positive feedback of experience

contract with VERILOG to develop a Unix version of SAGA (Xwindows / motif editor, new code generator)

Page 17: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

17

1993

1996

1998

Now

AEROSPATIALE (Airbus consortium) chooses LUSTREto enhance his proprietary graphical specificationAEROSPATIALE / SCHNEIDER ELECTRIC/ VERILOG agreement

SCADE available on the market from VERILOG companyFirst use by Schneider Electric for the KOSLODUY contract

European ESPRIT project : CRISYS EDF: CP0 contract with FRAMATOME / SCHNEIDER ELECTRIC

SCADE is used for TIHANGE, QINSHAN, FESSENHEIM, BUGEY, DUKOVANY, IGNALINAA version of SCADE is used by Airbus Industries to develop the critical embedded software for A340 and A380 airplanes SCADE is now supported and distributed by ESTEREL Technologies

SCADE History (2/2)

Page 18: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

18

SCADE Example

Page 19: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

19SCADE Example: Functional diagramSCADE Example: Functional Diagram

Page 20: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

20

SCADE Operators Used in the Example (1/2)

Page 21: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

21

SCADE Operators Used in the Example (2/2)

Page 22: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

22

SCADE Diagram: Main View

Page 23: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

23

SCADE Diagram: Parameters

Page 24: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

24

SCADE Diagram: Network Output

Page 25: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

25

SCADE Diagram: Linear Conversion

Page 26: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

26

SCADE Diagram: Threshold Comparison

Page 27: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

27More on the THRESHOLD_COMP Component

Page 28: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

28SCADE Graphic Editor View

Page 29: SPINLINE 3 Digital Safety I&C Platform

© Rolls-Royce plc 2010The information in this document is the property of Rolls-Royce plc and may not be copied or communicated to a third party, or used for any purpose other than that for which it is supplied without the express written consent of Rolls-Royce plc.This information is given in good faith based upon the latest information available to Rolls-Royce plc, no warranty or representation is given concerning such information, which must not be taken as establishing any contractual or other commitment binding upon Rolls-Royce plc or any of its subsidiary or associated companies.

Tool Description: CLARISSE

Page 30: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

30

ObjectivesProduction of high quality software applications for safety systemsGuaranty of data consistencyIncrease of development productivity

Intended primarily for the development of SPINLINE 3safety I&C systems for nuclear plants

CLARISSE is a component of the SPINLINE 3 System Engineering Tool

CLARISSE Overview

Page 31: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

31CLARISSE Within the System Engineering Tools (SPEED)

Page 32: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

32

CLARISSE - Main Features

Page 33: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

33Plant-specific System & Software Development

Page 34: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

34CLARISSE - System Level Descriptions

Page 35: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

35

CLARISSE - Processing Units Descriptions

Page 36: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

36CLARISSE - Software Production

Page 37: SPINLINE 3 Digital Safety I&C Platform

© Rolls-Royce plc 2010The information in this document is the property of Rolls-Royce plc and may not be copied or communicated to a third party, or used for any purpose other than that for which it is supplied without the express written consent of Rolls-Royce plc.This information is given in good faith based upon the latest information available to Rolls-Royce plc, no warranty or representation is given concerning such information, which must not be taken as establishing any contractual or other commitment binding upon Rolls-Royce plc or any of its subsidiary or associated companies.

Software Development Processfor a Plant-Specific Application

Page 38: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

38

Application Software Project Plans Preparation

Page 39: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

39

Application Software Life Cycle Development Activities

Page 40: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

40Comments on the application software life cycle development chart

Page 41: SPINLINE 3 Digital Safety I&C Platform

January 07, 2010

41

Software Development Life Cycle with CLARISSE