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
- Software de diseño 3D XYZmaker XYZprinting presenta el XYZmaker, su nueva solución de software para modelado en 3D. Concebido para poder ser usado por un principiante, este softw...
- CableApp, una aplicación móvil... Como novedad destacable, la CableApp de Prysmian incorpora los cables comercializados bajo el Reglamento Europeo CPR (el cual entra en vigor el 1 de Julio 2017)...
- Biblioteca TwinCAT PLC para IE... Para estandarizar las comunicaciones de equipos en parques eólicos, el software de automatización TwinCAT de Beckhoff es compatible con el protocolo de comunica...
- Automatización en varios nivel... OPEN MIND Technologies AG incluye en su última version de hyperMILL® 2011 una serie de posibilidades para automatizar aún más la programación de CN y aumentar s...
- 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...
- LabVIEW 2011 contribuye a incr... National Instruments ha presentado NI LabVIEW 2011, la versión correspondiente al 25 aniversario de su premiado software de diseño de sistemas. LabVIEW que acel...
- Nueva visualización interactiv... CD-adapco anuncia el lanzamiento de STAR-CCM®+ v11.02, su solución de simulación de ingeniería líder en la industria. Esta versi...
- COMSOL lanza la versión 6.1 de... COMSOL ha anunciado el lanzamiento de la última versión de su software de modelado y simulación, COMSOL Multiphysics® versión 6.1. Todos los aspectos del entorn...
- Software ADS 2014 de Agilent T... Agilent Technologies Inc. ha presentado una potente nueva versión del software de sistemas de diseño avanzado (ADS) de EEsof EDA de Agilent, el ADS 2014. Conceb...
- Modelos de simulación Microwav... Würth Elektronik eiSos y Modelithics presentan los resultados de su colaboración: Ya están disponibles modelos Microwave Global Models™...
- Modelos electrotérmicos que cu... Nexperia ha anunciado el lanzamiento de nuevos modelos electrotérmicos mejorados para sus dispositivos MOSFET. Los fabricantes de semiconductores suelen proporc...
- 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...