El documento con la propuesta explica:
La verificación formal del software es demasiado costosa para que el Departamento de Defensa lo pueda aplicar en códigos largos y requieren mucho talento especializado. Este método no se puede escalar al complejo software disponible en el armamento actual.Entre las investigaciones de DARPA podemos encontrar un repertorio bastante variado, desde el vehículo volador llamado Transformer hasta el Falcon HTV 2 que tuvo su segundo vuelo fallido el año pasado.
El desarrollo que se presenta en la publicación se conoce como Crowdsourced Formal Verification busca tener juegos disponibles para disfrutar a partir del tercer año de actividad, para ello gastarán más de 30 millones de dólares. No es el primer caso donde se utilizan videojuegos para realizar parte de una investigación, aunque en anteriores casos respondía a otros fines, Fold.IT y EteRNA son dos ejemplos recientes de trabajos científicos encarados con crowdsourcing. Habrá que ver cuántos usuarios están dispuestos a dedicar tiempo a un juego cuando saben que el mismo será utilizado por el ejército de los Estados Unidos.
No hay comentarios.:
Publicar un comentario