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...
| Publicado en: | Communications of the ACM Vol. 58; no. 4; pp. 66 - 74 |
|---|---|
| Autores principales: | , , , , , |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Apr2015
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=101826044&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 101826044 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Apr2015 vid: 58 iid: 4 pid: 68 pub: Association for Computing Machinery artinfo: ui: 101826044 10.1145/2699417 ppf: 66 ppct: 8 formats: tig: atl: How Amazon Web Services Uses Formal Methods. aug: au: NEWCOMBE, CHRIS RATH, TIM FAN ZHANG MUNTEANU, BOGDAN BROOKER, MARC DEARDEUFF, MICHAEL affil: Architect, Oracle, Seattle, WA Principal engineer, AWS database services group, Amazon.com, Seattle, WA Software engineer and technical product and program manager, Cyanogen, Seattle, WA Software engineer, AWS S3, Amazon.com, Seattle, WA Software engineer, Dropbox Software engineer, AWS S3 Engines group, Amazon.com, Seattle, WA Principal engineer, AWS EC2, Amazon.com, Seattle, WA Software engineer, AWS database services group, Amazon.com, Seattle, WA su: Computer specifications Amazon Web Services Inc. Algorithm software Algorithms Distributed operating systems (Computers) Distributed computing Information technology security sug: subj: Computer specifications Amazon Web Services Inc. Algorithm software Algorithms Distributed operating systems (Computers) Distributed computing Information technology security ab: 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. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2015 holdings: @attributes: islocal: N |
|---|