Systems Correctness Practices at Amazon Web Services.
This article provides an overview of the current practices, both formal and semi-formal, employed at Amazon Web Services (AWS) for ensuring system correctness. Topics include the use of the formal specification language TLA+ as well as the incorporation of another language, P, a state-machine-based...
| Publicado en: | Communications of the ACM Vol. 68; no. 6; pp. 38 - 43 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Jun2025
|
| 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=185687583&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 185687583 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Jun2025 vid: 68 iid: 6 pid: 68 pub: Association for Computing Machinery artinfo: ui: 185687583 10.1145/3729175 ppf: 38 ppct: 5 formats: tig: atl: Systems Correctness Practices at Amazon Web Services. aug: au: Brooker, Marc Desai, Ankush affil: Amazon Web Services, Seattle, WA, USA su: Amazon Web Services Inc. Computer software correctness Software reliability Programming languages Simulation methods & models Virtual machine systems sug: subj: Amazon Web Services Inc. Computer software correctness Software reliability Programming languages Simulation methods & models Virtual machine systems ab: This article provides an overview of the current practices, both formal and semi-formal, employed at Amazon Web Services (AWS) for ensuring system correctness. Topics include the use of the formal specification language TLA+ as well as the incorporation of another language, P, a state-machine-based language at AWS, as well as methods including property-based testing, fault-injection testing and event-based simulation. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2025 holdings: @attributes: islocal: N |
|---|