Verification of Replication Architectures in AADL.

Dionisio de Niz Peter H. Feiler

Published in: ICECCS (2009)

Keyphrases

fault tolerant
model checking
distributed databases
fault tolerance
verification method
wireless sensor networks
test case generation
signature verification
face verification
generation method
test cases
data replication
response time
replicated data
genetic algorithm
neural architectures
database replication