Cover Image
QR Code

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...

Full description

Published in:Communications of the ACM Vol. 58; no. 4; pp. 66 - 74
Main Authors: NEWCOMBE, CHRIS, RATH, TIM, FAN ZHANG, MUNTEANU, BOGDAN, BROOKER, MARC, DEARDEUFF, MICHAEL
Format: Article
Published: Association for Computing Machinery Apr2015
Subjects:
Computer specifications
Amazon Web Services Inc.
Algorithm software
Algorithms
Distributed operating systems (Computers)
Distributed computing
Information technology security
Online Access:View this record in EBSCOhost
Summary: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.