SuperGuard C Library Safety Qualification Suite para facilitar la aprobación de software
Solid Sands ha anunciado hoy el lanzamiento de SuperGuard C Library Safety Qualification Suite. Dentro de SuperGuard, se documentan los requisitos y las especificaciones de las pruebas de la biblioteca C, como ya está disponible en SuperTest.
"Muchos de nuestros clientes, incluidos los de sectores que desarrollan aplicaciones críticas para la seguridad, nos han alertado de su necesidad de calificar las bibliotecas estándar. La librería se convierte en una parte integral de las aplicaciones, mientras que había una falta de herramientas profesionales para la cualificación de la librería en el mercado. Esta observación nos hizo decidirnos a desarrollar SuperGuard", explicó Marianne Damstra, CCO de Solid Sands. "Como empresa más destacada del mundo en la comprobación de compiladores para su uso en el ámbito de las aplicaciones críticas para la seguridad, combinada con nuestro profundo conocimiento de las pruebas y los requisitos, estábamos perfectamente capacitados y podíamos crear SuperGuard para que fuera la herramienta de cualificación de librerías más completa disponible en la actualidad."
SuperGuard proporciona una trazabilidad completa entre los requisitos derivados de la definición del lenguaje ISO C y el conjunto de pruebas. SuperGuard mantiene la documentación necesaria para ofrecer la información y la transparencia que exigen las autoridades de certificación internacionales.
"Todos los compiladores de C se utilizan con una biblioteca estándar. Las funciones de la biblioteca se vinculan a la aplicación y se ejecutan en el objetivo. Esto hace que los desarrolladores de aplicaciones críticas para la seguridad tengan que demostrar que el código de la biblioteca está tan rigurosamente probado como el código que ellos mismos escriben", dijo Marcel Beemster, CTO de Solid Sands. "Nuestro producto actual SuperTest no sólo valida el compilador, sino que también contiene un conjunto completo de pruebas para validar la biblioteca. Necesitábamos proporcionar a los desarrolladores la documentación necesaria para mostrar cómo esas pruebas de la biblioteca se basan en los requisitos y las especificaciones de las pruebas, al nivel exigido por las normas de seguridad funcional."
La especificación del lenguaje C no define explícitamente un conjunto de requisitos que puedan probarse para cada función de la biblioteca, y sin embargo esos requisitos son un componente esencial de las aprobaciones de normas de seguridad funcional como la ISO 26262. Por lo tanto, deben ser creados a partir de la especificación del lenguaje por el desarrollador de las pruebas, que en este caso es Solid Sands. Estos requisitos y la trazabilidad de las pruebas son lo que diferencia a SuperGuard.
Los productos de Solid Sands se están convirtiendo rápidamente en el "estándar de oro" para la calificación de compiladores y bibliotecas en aplicaciones de seguridad crítica.
SuperGuard C Library Safety Qualification Suite estará disponible en el verano de 2021, como producto independiente y como complemento para los usuarios de SuperTest. Actualmente se está desarrollando un paquete similar para la biblioteca estándar de C++.
Articulos Electrónica Relacionados
- IAR Embedded Workbench fortale... IAR Systems® anuncia su apoyo a la nueva serie STM32L0 de ultra-baja potencia basada en ARM® Cortex®- M0+ de STMicroelectronics®. El soporte está disponible uti...
- Software de diseño PCB EAGLE d... element14 ha anunciado el lanzamiento del nuevo EAGLE de Autodesk, el software de diseño PCB potente y fácil de usar es una herramienta de esquema...
- Compatibilidad con magnéticos ... Power Integrations ha lanzado hoy una nueva función en PI Expert™, la potente herramienta de diseño online que genera automáticamente diseños de fuentes de alim...
- Solid Edge ST10 incluye una he... La última versión del software Solid Edge de Siemens (Solid Edge ST10) incorpora nueva tecnología para el diseño, al nuevo aná...
- Software que simplifica el reg... National Instruments presenta Chameleon para NI CompactDAQ, un paquete de software desarrollado por PVI Systems, NI Gold Alliance Partner, y disponible en LabVI...
- Paquete de homologación DO-178... PRQA | Programming Research, proveedor de soluciones de conformidad para estándares de codificación, dispone de un paquete de homologación DO-178B para QA·C, di...
- Software de Toshiba para el de... Toshiba Electronics Europe ("Toshiba") ha actualizado y ampliado su marco de diseño para controladores de motor CC sin escobillas (BLDC) y motores síncronos de ...
- Software XM360 de Alpha Tecnol... bcSistemas ha iniciado la comercialización en nuestro país del nuevo sistema de gestión de mantenimiento XM360 de Alpha Technologies. Diseñada para extraer info...
- La versión 12.1 del software Q... Altera Corporation anuncia la disponibilidad de la versión 12.1 de su software Quartus® II, número uno de su segmento en cuanto a rendimiento y productividad pa...
- Software para creación de etiq... Brady presenta el nuevo Labelmark TM 6 Label Design Software. La nueva interfaz de LabelMark 6 se alinea con los sistemas operativos MS Windows 8 Metro Style an...
- Solución para el modelado de d... Agilent Technologies Inc. anuncia que ha mejorado su software IC-CAP (Integrated Circuits Characterization and Analysis Program, programa de análisis y caracter...
- Interfaz hyperCAD®-S para la c... OPEN MIND Technologies AG, en cooperación con la empresa francesa TFTLabs SAS, ha desarrollado una interfaz de conversión CAD que puede transformar de forma ráp...