Abbiamo parlato in passato di galleggiamento e sifonamento, il sifonamento è leggermente più complesso ma si risolve abbastana agevolmente a mano, l'eventuale programma dovrebbe essere progettato secondo i requisiti dell'EC7, che sono molto precisi su queste 2 verifiche.
Esempi si trovano nel designer's guide to EC7 (tradotto in italiano da EPC libri) e su Harris & Bond, 2008, 'decoding eurocode 7' (non tradotto che io sappia).

"Data speak for themselves" -Reverend Thomas Bayes 1702-1761
P(Ai|E)=(P(E|Ai)P(Ai))/P(E)