Formally Verified Software in the Real World.

The article discusses the use of formally verified software to protect an autonomous helicopter against cyber attacks. Topics include the testing of vehicles by the U.S. Defense Advanced Research Projects Agency (DARPA) through its High-Assurance Cyber Military Systems (HACMS) program, the role of a...

Descripción completa

Detalles Bibliográficos
Publicado en:	Communications of the ACM Vol. 61; no. 10; pp. 68 - 78
Autores principales:	KLEIN, GERWIN, ANDRONICK, JUNE, FERNANDEZ, MATTHEW, KUZ, IHOR, MURRAY, TOBY, HEISER, GERNOT
Formato:	Artículo
Publicado:	Association for Computing Machinery Oct2018
Materias:	Autonomous vehicles Computer software security United States. Defense Advanced Research Projects Agency Computer architecture Computer security
Acceso en línea:	Ver este registro en EBSCOhost

Descripción
Sumario:	The article discusses the use of formally verified software to protect an autonomous helicopter against cyber attacks. Topics include the testing of vehicles by the U.S. Defense Advanced Research Projects Agency (DARPA) through its High-Assurance Cyber Military Systems (HACMS) program, the role of a trusted computing base (TCB) in computer architecture for security, and the componentization of systems.