Timed-LTS: a method of selecting test cases

Safety-related automation application is getting more and more attentions. This paper introduces a concept: safe-application for software applications in industrial automation area. Safe-application is based on FB paradigm, which is thought of representing automation engineering experiences. In verifying safe-applications based on FBs, integration testing is understood very essential. Timed-LTS, an extension of standard LTS is defined for test case selection in order to guarantee safety of an automation application and satisfy integration testing criteria.