Applications of Specification and Design Language for Socs door