Yes, this is one of its capabilities. IBITEK can produce functional analysis (functional design specification, FDS), which describe the expected behaviour of the installation down to each sequence before programming. When included, they serve as a shared reference between client, developers and commissioning, and de-risk the project.