How Amazon Web Services Uses Formal Methods.

The article discusses the use of formal specification and model checking by engineers at Amazon Web Services (AWS), a cloud computing platform offered by electronic commerce company Amazon.com, Inc., to help solve design problems in critical systems. Topics include AWS's use of distributed systems a...

Descripción completa

Detalles Bibliográficos
Publicado en:	Communications of the ACM Vol. 58; no. 4; pp. 66 - 74
Autores principales:	NEWCOMBE, CHRIS, RATH, TIM, FAN ZHANG, MUNTEANU, BOGDAN, BROOKER, MARC, DEARDEUFF, MICHAEL
Formato:	Artículo
Publicado:	Association for Computing Machinery Apr2015
Materias:	Computer specifications Amazon Web Services Inc. Algorithm software Algorithms Distributed operating systems (Computers) Distributed computing Information technology security
Acceso en línea:	Ver este registro en EBSCOhost

Descripción
Sumario:	The article discusses the use of formal specification and model checking by engineers at Amazon Web Services (AWS), a cloud computing platform offered by electronic commerce company Amazon.com, Inc., to help solve design problems in critical systems. Topics include AWS's use of distributed systems and cost-efficient infrastructure; the growth of Amazon's cloud computing services; and methods used to safeguard users' data. The use and modifications of fault-tolerant distributed algorithms is also explored.