MISSION CRITICAL
Somos especialista en soluciones de testing y de Misión crítica para aplicaciones de automoción, aeroespacial y ferroviaria, con amplia experiencia en soluciones de testing dinámico y estático.
En Exceltic ayudamos a las empresas a desarrollar sistemas embebidos robustos y eficientes a un coste competitivo. Podemos encargarnos de la gestión integral de un proyecto o colaborar de forma puntual en el desarrollo de cualquiera de las fases del ciclo de vida de un producto. Ofertamos tanto proyectos con un precio cerrado como soluciones a medida, manteniendo siempre diálogo y flexibilidad.
Nos encontramos a la vanguardia de la innovación tecnológica por ello nuestro compromiso y valores como compañía nos permiten ir más allá de las expectativas inicialmente trazadas por nuestros clientes.
Permitimos el desarrollo de productos finales más eficientes, reduciendo los costes de producción, time-to-market, y ayudando a nuestros clientes a obtener una ventaja competitiva sostenible.
SERVICIOS TECNOLÓGICOS
La misión de Exceltic es contribuir a la mejora de la competitividad de las empresas incorporando nuevas tecnologías e impulsando el desarrollo, la investigación y la innovación tecnológica. En esta línea Exceltic pone a disposición de las empresas de distintos sectores toda su experiencia y capacidades para asesorar y reforzar sus necesidades en actividades de I+D+i.
Como líneas principales de actuación cabe destacar las siguientes:
Ingeniería de requisitos de software
La Ingeniería de Requisitos es una parte esencial de todo proyecto software siendo su propósito hacer que los mismos alcancen un estado óptimo antes de alcanzar la fase de diseño, así como garantizar el cumplimiento de los estándares. No evitar errores durante esta etapa, implicará un proceso de desarrollo inadecuado, así como retrasos en los tiempos de entrega, lo cual se traducirá en un incremento sustancial del coste del proyecto.
Incluyendo una adecuada ingeniería de requisitos, como la que disponemos en Exceltic, minimizará la posibilidad de que esto ocurra, permitiendo llegar a obtener requisitos medibles, comprobables y sin ambigüedades o contradicciones.
Diseño de arquitectura y desarrollo de software
En Exceltic somos conscientes de que la arquitectura de software para sistemas embebidos es un proceso crítico en el desarrollo de dispositivos electrónicos. Se trata de un conjunto de decisiones de diseño y estructura que determinan cómo se organizan y relacionan los componentes de un software, con el objetivo de lograr un sistema funcional, eficiente, seguro, mantenible y escalable. Para ello, aplicamos desde el principio un enfoque cuidadoso en la arquitectura, para ahorrar tiempo y recursos a largo plazo.
Validación y Verificación (V&V)
La verificación y la validación son dos procesos complementarios y esenciales en el desarrollo de software. La verificación se enfoca en construir correctamente el software, mientras que la validación se enfoca en construir el software adecuado. Ambos contribuyen a la calidad, la satisfacción del usuario y la reducción de costos, y son prácticas esenciales en el ciclo de vida del desarrollo de software de un producto.
Por ello, añadimos valor a los productos de nuestros clientes centrándonos en nuestras capacidades principales de V&V o T&V. Nuestro laboratorio de pruebas y ensayos incorpora un equipo humano a la vanguardia de las pruebas de test, así como instrumental y equipos de última generación que permiten realizar ensayos y validaciones con un alto componente de calidad y fiabilidad.
Seguridad Funcional
La seguridad funcional se basa en la idea de que los sistemas y productos deben ser capaces de realizar sus funciones de manera segura, incluso cuando se enfrentan a fallos internos o externos. En Exceltic nos especializamos en las siguientes áreas:
Automoción (ISO26262), ferroviario (EN50126/8/9), aviación (DO-178C), industria de la energía (IEC61508) y dispositivos médicos (IEC62304).
Ciberseguridad para sistemas embebidos
Trabajamos para garantizar la integridad y la seguridad de los productos de nuestros clientes, desde el diseño inicial, implementando prácticas y medidas de seguridad específicas para proteger sus sistemas contra amenazas cibernéticas.
Procesos/auditoria de procesos
Los procesos y las auditorías de procesos son componentes esenciales en la gestión de calidad y la mejora continua de una organización. Los procesos bien definidos y controlados ayudan a establecer una base sólida para la mejora continua, mientras que las auditorías de procesos brindan una evaluación objetiva de cómo se están siguiendo los procesos y si se están cumpliendo los estándares y requisitos.
En nuestro compromiso por ofrecer las soluciones más avanzadas y de alta calidad, Exceltic se enorgullece de contar con un aliado estratégico clave: QA Systems.
Esta colaboración nos permite integrar en nuestros proyectos las herramientas líderes en el mercado, Cantata y QA-MISRA, elevando aún más el estándar de excelencia en la ingeniería de software y la seguridad funcional.
Las herramientas de prueba de software y análisis estático de QA Systems respaldan la verificación en el flujo lineal de desarrollo de software que se detalla a continuación. Recomendamos aplicar un enfoque secuencial a estas etapas de verificación con herramientas diseñadas y dirigidas a cada propósito.
CUMPLIR : Utilice QA-MISRA para cumplir con los estándares de codificación rápidamente en el escritorio del desarrollador primero.
PRUEBA : Utilice Cantata para la ejecución dinámica automatizada del software compatible con el estándar.
ANALIZAR : Utilice Astrée para demostrar la ausencia de errores de tiempo de ejecución en toda la aplicación.
PRODUCTOS
CANTATA es una herramienta de prueba de integración y unidad C/C++ automatizada, permitiendo que los desarrolladores puedan verificar el cumplimiento del estándar de misión crítica en las plataformas embebidas nativas e integradas en el host.
QA-MISRA es una herramienta de análisis estático que permite a los desarrolladores cumplir con los estándares de codificación C/C++ para seguridad funcional (MISRA, AUTOSAR, etc.) y seguridad (CERT y CWE, etc.). También proporciona información a través de métricas y visualizaciones sobre la calidad del código fuente.
CUMPLIMIENTO DE NORMAS DE SEGURIDAD DEL SOFTWARE
Los estándares internacionales de seguridad de software requieren evidencia de pruebas de bajo nivel (unitarias e integradas) para obtener la certificación del software del dispositivo.
Además, la mayoría de los estándares exigen que las herramientas de verificación utilizadas estén certificadas/calificadas o probadas mediante su uso. Cantata ha sido certificada de forma independiente por SGS-TÜV SAAR GmbH para los principales estándares de seguridad de software.
Los kits de certificación de herramientas Cantata específicos estándar se proporcionan de forma gratuita y contienen todo lo necesario listo para usar, así como una guía completa para ayudarlo a lograr la certificación para el software de su dispositivo.
Los kits de calificación de herramientas de Cantata también están disponibles cuando no se permite la certificación de herramientas según un estándar, ya que la herramienta debe calificarse por separado para cada proyecto (por ejemplo, para DO-178B/C).
Cantata se ha utilizado con éxito para cumplir con los requisitos de pruebas unitarias y de integración de:
ISO 26262 | Vehículos de carretera – Seguridad funcional
CEI 60880 | Centrales nucleares: aspectos de software para sistemas informáticos (categoría de seguridad A)
CEI 62304 | Software de dispositivos médicos: procesos del ciclo de vida del software
CEI 61508 | Seguridad funcional de sistemas eléctricos/electrónicos/electrónicos programables relacionados con la seguridad
EN 50128/ 50657|Aplicaciones ferroviarias – Sistemas de comunicación, señalización y procesamiento y software a bordo del material rodante
DO-178C |Consideraciones de software en la certificación de sistemas y equipos aerotransportados
¿QUIERES SABER MÁS?
Información básica sobre Protección de Datos
Responsable
EXCELTIC S.L.
Finalidad
La finalidad es el tratamiento de sus datos personales para gestionar nuestra relación comercial y aquellas peticiones enviada a través del formulario de contacto que nos haga llegar a través de la página web.
Enviarle comunicaciones comerciales sobre nuestros productos o servicios.
Legitimación
En base a la gestión, desarrollo y cumplimiento de la relación comercial.
Interés legítimo o consentimiento del interesado en lo que respecta al envío de comunicaciones comerciales.
Destinatarios
Organismos oficiales cuando exista una obligación legal.
Personas que pueden acceder a sus datos personales como consecuencia de servicios prestados a EXCELTIC S.L
No se prevén transferencias internacionales.
Derechos
Acceder, rectificar y suprimir los datos, así como otros derechos, como se explica en la información adicional.
Información Adicional
Para consultar la Política de Privacidad completa, por favor pulsa Aquí
