Model Generation For Id-logic door