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

Descripción completa

Detalles Bibliográficos
Publicado en:	Communications of the ACM Vol. 68; no. 6; pp. 38 - 43
Autores principales:	Brooker, Marc, Desai, Ankush
Formato:	Artículo
Publicado:	Association for Computing Machinery Jun2025
Materias:	Amazon Web Services Inc. Computer software correctness Software reliability Programming languages Simulation methods & models Virtual machine systems
Acceso en línea:	Ver este registro en EBSCOhost

Descripción
Sumario:	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.