-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 El 2008-11-16 a las 15:07 +0100, lluis escribió:
El dom, 16-11-2008 a las 14:11 +0100, Camaleón escribió:
Altamente fiable. Pasan más pruebas, lo certifican. El software, casi nunca.
Depende del software. Que yo sepa ni windows ni Linux tienen certificaciones ni validaciones en el aspecto de funcionalidad.
Como cosa curiosa esta UCos, un sistema de tiempo real para sistemas incrustados preparado para certificarse MIL..no se cuantos, equivalente a SIL3.
Recuerdo un arículo creo que en el Spectrum del IEEE sobre una empresa reinounidensa que certifica completamente el sfotware que hace. Si el proyecto es para dos años, se tiran año y medio diseñando, sin hacer una sola linea de código. En cuanto se ponen a escribir, funciona a la primera. Se usa para cosas críticas, como la comprobación de seguridad de las tarjetas de crédito. - -- Saludos Carlos E.R. -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.9 (GNU/Linux) iEYEARECAAYFAkkgN68ACgkQtTMYHG2NR9XSvgCfXahSEE1u17tWv1ZjLvbTBaXI /D4AoIW/IWgK/MGDmDTBKpmjfbRdR2AK =Mq2s -----END PGP SIGNATURE-----