Dependable filtering : Philosophy and realizations