Une doc Autosar : " The use of a power of two for the number of failed verifications is only for obtaining a more succulent mathematical expression." !!!