Model-based validation for dealing with operator mistakes

Autor: Richard Martin, Thu D. Nguyen, Kiran Nagaraja, Ricardo Bianchini, Andrew Tjang, Fabio Oliveira
Rok vydání: 2005
Předmět:
Zdroj: Proceedings of the twentieth ACM symposium on Operating systems principles.
DOI: 10.1145/1095810.1118587
Popis: Online services are rapidly becoming the supporting infrastructure for numerous users' work and leisure, placing higher demands on their availability and correct functioning. Increasingly, these services are comprised of complex conglomerates of distributed hardware and software components. Added to this complexity, these services evolve quite frequently accumulating considerable heterogeneity within them, while allowing little time for their in-depth understanding by service personnel. Thus, it is not surprising that mistakes by service operators are common, and have been deemed to be the primary cause of service downtime.
Databáze: OpenAIRE