Fomentamos la colaboración
para la transformación digital
y la sostenibilidad.

Creamos un espacio de encuentro y colaboración entre empresas y entidades para el desarrollo de soluciones innovadoras que mejoren su competitividad en cualquier sector.

Transformación con propósito.

Sign in/up

¡Bienvenido a la Plataforma de Open Innovation del ecosistema Secartys!

Busca una
oportunidad

¿Quieres ser parte de un proyecto? Busca una oportunidad y aporta tu solución.

Express interest
A Theory of Reliable Hardware
created · Updated
Deadline: Jul 31, 2022
Received 0 expressions of interest

Summary

The complexity of computing hardware keeps increasing at a rapid pace, with no end in sight. With growing number of components and ongoing miniaturization, hardware engineers struggle with an increasing number and variety of faults, yet must guarantee correct operation of the...

Description

The complexity of computing hardware keeps increasing at a rapid pace, with no end in sight. With growing number of components and ongoing miniaturization, hardware engineers struggle with an increasing number and variety of faults, yet must guarantee correct operation of the system as a whole. This is hindered by a concurrent increase in design complexity, i.e. the trend of integrating ever more diverse circuits into larger systems, which results in a higher complexity of verifying the correctness of a given design - especially when providing for the possibility that some components may fail.<br/><br/>The goal of this project is to develop a holistic mathematical approach to modeling fault-tolerant circuits and demonstrate its usefulness in practice. Such a framework will exhibit several advantages over the present methods, which are largely based on simulation and experimentation: <br/><br/>(i) mathematical proofs offer parametrized guarantees, which implies that the derived building blocks can easily be re-used in varying configurations and translated to different technologies;<br/> <br/>(ii) it permits statements about general fault types, entailing that claimed properties do not rely on specific fault behavior (which depends on operational parameters and technology); and<br/> <br/>(iii) abstract, parametrized reasoning enables to design and optimize for long-term scalability.<br/><br/>While this approach to fault-tolerance has been successfully applied in the area of distributed computing for decades, transferring it to low-level hardware design introduces new obstacles, such as very limited computational capabilities of the basic components and the potential for metastability. Overcoming these challenges will pave the way for highly dependable and scalable systems, and thus help in further sustaining the exponential growth in available computing power commonly referred to as Moore's Law.

Related Keywords

Crea una
oportunidad

Publica tu proyecto, idea, reto o necesidad y genera el interés de potenciales colaboradores o proveedores.

Latest Opportunities

Oportunidad para proveedor tecnológico: implantación de nuevo ERP para...

published · Updated
Deadline: Jun 2, 2026
Es una micropyme editorial, con una fuerte actividad internacional y venta directa al consumidor final. Trabaja con multidivisa y cuenta con una cartera aproximada de 8.000 a 9.000 clientes. Actualmente 2 o 3 usuarios gestionan la operativa mediante SAP Business One. La empresa considera que SAP Business One es una solución demasiado robusta, compleja y costosa para su volumen actual, por lo que busca un nuevo ERP más ajustado a sus necesidades reales, que permita optimizar costes y simplificar la gestión diaria sin perder control operativo, fiscal y comercial. Requerimientos principales Sustitución de SAP Business One por una solución ERP más ligera, flexible y adecuada para una micropyme. Gestión multidivisa, dado que la empresa vende internacionalmente en múltiples mercados. Integración con WooCommerce, ya que su modelo de negocio se basa en venta online directa al consumidor. Gestión de clientes y pedidos internacionales, con una base de entre 8.000 y 9.000 clientes. Gestión de unas 200 referencias de libros/productos. Mantenimiento del sistema SII, ya actualmente implantado. Gestión fiscal adecuada, incluyendo declaración de IVA y necesidades vinculadas a operativa internacional. Soporte para fiscalidad europea/e-commerce, especialmente en relación con ventas B2C dentro de la UE. Migración ordenada de datos desde SAP, minimizando riesgos de pérdida, duplicidad o errores. Acompañamiento experto en la implantación, ya que la empresa quiere evitar errores en la gestión de datos y procesos. Situación actual Está explorando alternativas como Holded, pero tiene dudas sobre si la solución cubrirá correctamente sus necesidades fiscales, operativas y de integración. Su principal preocupación es cometer errores en la migración o en la gestión posterior de los datos, especialmente por su operativa internacional, el uso de SII y la gestión de IVA. Objetivo de la oportunidad Encontrar una solución ERP más económica, sencilla y adaptada al tamaño de la empresa, pero suficientemente sólida para gestionar una operativa editorial B2C internacional con multidivisa, WooCommerce, SII, clientes internacionales y obligaciones fiscales asociadas.

Únete y crea
tu ecosistema

Conoce, conecta e interactúa con expertos de todo el ecosistema Secartys gracias a las diferentes funcionalidades de Secartys INNOVA.

Podrás crear espacios privados, generar listas de oportunidades, publicar tus proyectos, conocer las propuestas de otros y activar alertas en función de tus intereses.

¡Crea tu perfil y da paso a la innovación!

Construye tu proyecto
con los mejores
profesionales del sector

Fomentamos la colaboración para la transformación digital y la sostenibilidad.

¡ÚNETE AHORA!