confiables
-
Noticias
Advantech MIC-770 V2 certificado en Ubuntu 20.04 LTS para garantizar aplicaciones AIoT confiables
Advantech, un proveedor global líder de sistemas inteligentes y computadoras de borde industrial, se complace en anunciar que su IPC de borde modular sin ventilador MIC-770 V2 está certificado en Ubuntu 20.04 LTS. MIC-770-V2 está alimentado por un procesador Intel®…
-
Descargas
Muen 1.0 lanzado, un microkernel de código abierto para construir sistemas altamente confiables
Después de ocho años de desarrollo Muen 1.0 El proyecto fue Aprobado, Desarrollo de Núcleo de separacióncuya corrección en el código fuente ha sido confirmada utilizando métodos matemáticos para la verificación formal de la confiabilidad. El kernel está disponible para…
