Sunteți pe pagina 1din 34

MAESTRIA OPERACIONES PETROLERAS.

1VERS. 6ED. & DIPLOMADO


INSTRUMENTACIN Y CONTROL EN
PLANTAS DE PROCESOS. 2VERS. 1ED.
Sistemas Instrumentados de Seguridad

13.- Diseo de Software

www.inegas.edu.bo

Docente: Ing. Nelson Yaez


Correo: nelson@cotas.com.bo

La IEC 61508-3
Se aplica a cualquier software que forma parte de un
sistema de seguridad o se utiliza para desarrollar alguna
aplicacin relacionada con un sistema de seguridad
dentro del alcance de las partes 1 y 2 de la norma, Este
tipo de software se denomina software relacionado con la
seguridad.

Software de seguridad incluye sistemas operativos,


software de sistema, software de redes de
comunicacin, las funciones de interfaz hombremquina, herramientas de soporte y firmware, as como
los programas de aplicacin.

Los programas de aplicacin incluyen los programas de


alto nivel, los programas de bajo nivel y los de propsito
especial programas en lenguajes de variabilidad
limitada.

Ciclo de Vida del Software

Relacin Hardware - Software

Relacin entre las


arquitecturas de
hardware y
software de
sistemas
electrnicos
programables

Se requiere Software Seguro


Lo que necesitamos conseguir es software seguro
El software es seguro si:
El sistema de seguridad puede ejecutar la funcin
de seguridad an bajo condiciones de falla
Puede manejar fallas del software as como del
hardware
Ha sido desarrollado de acuerdo con las normas de
seguridad funcional
Las caractersticas para conseguir software seguro
estn principalmente incorporadas a nivel del software
"embebido" en el equipamiento (mundo de la lEC
61508)
Al nivel de la aplicacin tratamos principalmente con
lgica de software relativamente simple (mundo de la
lEC 61511)
6

Software Embebido, de Aplicacin y


Utilitario

Tres Tipos de Software de Desarrollo


lEC 61508 trata con Lenguajes de Variabilidad
Total (FVL)
C, C++, Assembler, Etc.
"Buenas prcticas de ingeniera
Medidas para evitar fal las - Tablas en lEC
61508-3
lEC 6151 1 trata con Lenguajes de Variabilidad
Limitada (LVL)
Diagrama de Bloques (FBD), lgica escalera
(Iadder), etc.
Lenguajes de Programacin Fija (FPL)
Un sensor con slo un botn subir/bajar para
ajustar un lmite
8

Software en lEC 61511


No diferencia el software por el
nivel de SIL
Lista los requerimientos que son
apropiados para llegar a SIL 3
No permite software SIL 4 sino
que en ese caso refiere a la lEC
61508
El software necesita ser
desarrollado de acuerdo con el
modelo "V"
9

Gestin por medio del Modelo "V"

10

Medidas para Evitar y Controlar Fallas


Las medidas
Se agrupan de acuerdo a las fases
del Ciclo de Vida
La efectividad de las medidas est
determinada por el SIL
Podemos tratar de controlar slo las
fallas que ya han ocurrido
Ver tablas en parte 3 de lEC 61508

11

Gua para la seleccin de tcnicas y


medidas
Con cada tcnica o medida en las tablas
existe una recomendacin para los niveles de
integridad de seguridad de 1 a 4.
Estas recomendaciones son las siguientes:
HR: la tcnica o la medida es altamente
recomendable para este nivel de integridad
de seguridad. Si esta tcnica o medida no se
utiliza entonces la razn de no utilizarla debe
ser detallada en la planificacin de seguridad
y acordada con el asesor.
12

Gua para la seleccin de tcnicas y


medidas (Cont.)
R: la tcnica o medida se recomienda para
este nivel de integridad de seguridad como
recomendacin inferior a HR.
---: La tcnica o medida no tiene ninguna
recomendacin a favor o en contra de que
se utilice.
NR: la tcnica o medida es positivamente
no recomendable para este nivel de
integridad de seguridad. Si este tcnica o
medida se utiliza entonces debe ser
detallada en la planificacin de seguridad
y acordada con el asesor.
13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

Medidas para Controlar Fallas


Por ejemplo
Arquitectura de hardware
Medidas de auto-diagnstico para los
sub-sistemas

CPU
Bus y seales
RAM, EEPROM, ROM, flash
"Watch-dog" del sistema con base de tiempo
independiente

Monitoreo del flujo del programa


Protocolos de seguridad para las vas de
transmisin de datos
Almacenamiento de datos redundante
y/o inverso
33

www.inegas.edu.bo

34