Seminario web destacado: Presentación de la prueba CT de Parasoft C/C++ para pruebas continuas y excelencia en el cumplimiento | Vea ahora

Imagen de fondo de conectividad abstracta

IEC 61508

Cumplimiento de IEC 61508 con Parasoft

¿Qué es IEC 61508?

IEC 61508 se considera un estándar internacional básico o “paraguas” para la seguridad funcional. La IEC 61508 se puede aplicar a cualquier tipo de producto eléctrico / electrónico relacionado con la seguridad. Se supone que los sectores industriales deben proporcionar sus propios estándares, documentos y directrices específicos según sea necesario (por ejemplo, ISO 26262 en automoción). IEC 61508 abarca todo el ciclo de vida de seguridad de los sistemas críticos para la seguridad. Contiene 4 partes normativas (1-4) más 3 partes informativas o de “guía” (5-7). La certificación para IEC 61508 es opcional; el estándar no lo requiere específicamente.

La norma técnica IEC 61508 introduce el concepto de nivel de integridad de seguridad (SIL). SIL puede tomar uno de los cuatro niveles (SIL1-SIL4) correspondientes al rango de probabilidad objetivo de fallas peligrosas de una función de seguridad dada. Cada función de seguridad en un sistema relacionado con la seguridad debe tener asignado un nivel de integridad de seguridad apropiado. Un sistema relacionado con la seguridad E / E / PE generalmente implementará más de una función de seguridad. Si los requisitos de integridad de seguridad para estas funciones de seguridad difieren, a menos que exista suficiente independencia de implementación entre ellos, los requisitos aplicables al nivel más alto de integridad de seguridad relevante se aplican a todo el sistema relacionado con la seguridad E / E / PE.

Aplicación del cumplimiento de IEC 61508 con análisis de código fuente, pruebas unitarias, trazabilidad y más

Los usuarios de Parasoft pueden aprovechar Parasoft C / C ++test y CT de prueba C/C++ para reducir el costo de lograr el cumplimiento de IEC 61508 mediante la automatización de múltiples métodos de prueba requeridos por el estándar para ahorrar tiempo y esfuerzo. La prueba Parasoft C/C++ ayuda a los equipos de desarrollo de software de automatización industrial a satisfacer los requisitos del proceso de verificación y desarrollo de software definidos por el estándar IEC 61508. Cuando los resultados de la amplia gama de tipos de pruebas y análisis de código se automatizan a través de Parasoft C / C ++test y se procesan las pruebas CT C/C++, se informan análisis inteligentes que reducen significativamente el trabajo requerido para la verificación del software.

Cómo los servicios de Parasoft ayudan a lograr el cumplimiento de IEC 61508

La prueba Parasoft C / C ++ es una solución de prueba de desarrollo integrada para automatizar una amplia gama de mejores prácticas probadas para mejorar la productividad y la calidad del software del equipo de desarrollo de software, que incluyen:

  • Análisis estático: supervise el cumplimiento de los estándares de codificación y evite defectos en las primeras etapas del SDLC, incluida la eliminación de las construcciones de software que plantean amenazas a la seguridad
  • Prueba unitaria: cree y ejecute pruebas en el host o destino
  • Análisis de métricas de cobertura: identifique pruebas de brechas, requisitos y cobertura de código
  • Detección de errores en tiempo de ejecución: detecta errores de acceso a la memoria, fugas, corrupciones y más

Estas tecnologías brindan a los equipos una forma práctica de prevenir, exponer y corregir errores para garantizar que su código C y C++ funcione como se espera y cumpla con los requisitos. Para promover una solución rápida, cada problema detectado se prioriza en función de asignaciones de gravedad configurables, se asigna automáticamente al desarrollador que escribió el código relacionado y se distribuye a su IDE con enlaces directos al código problemático y una descripción de cómo solucionarlo. Para el desarrollo integrado y multiplataforma, la prueba Parasoft C/C++ se puede utilizar en flujos de prueba y análisis de código basados ​​en host y en destino.

Texto a la izquierda en fuente blanca sobre fondo azul oscuro: Guía para lograr la seguridad funcional en la automatización industrial: cómo satisfacer los requisitos SIL de IEC 61508. A la derecha hay una imagen de brazos robóticos mirando hacia abajo y soldando metal con chispas que vuelan como una bengala extra grande.
whitepaper

Guía para lograr la seguridad funcional en la automatización industrial: cómo satisfacer los requisitos SIL de IEC 61508

Los estándares funcionales IEC 61508 reducen los riesgos de software. Lea este documento para saber cómo Parasoft puede ayudar a los equipos de desarrollo de software a cumplir con los requisitos para niveles de SIL particulares. Le ayuda a comprender el SIL según lo define el estándar IEC 61508 y demuestra cómo se puede utilizar Parasoft para satisfacer los requisitos del proceso de desarrollo de software para niveles de SIL particulares.

Descargar