Metastability is not solved by the MTBF calculating failure problem. It is indeed an analog problem.

In pure synchronous systems are no metastable things:
The difference between asynchronous and synchronous logic is, that asynchronous logic is metastable all the time, while synchronous not is.
Metastable problems in asynchronous logic are handled with smithtriggers, and in synchronizers by replacing inverters with smithtriggers in DFF's data memory.



World is analog, digital is famous. (failmos)