Automatic translation form requirements model into use cases modeling on UML

Given the investment organizations are making in use cases and the increasing use of computers to control safety-critical applications, the research on integrating use cases and safety consideration is highly demanded. However, currently the approaches for incorporating safety analysis into use case modeling are scarce. In this paper, we present an approach to integrating safety requirements into use case modeling. We demonstrate how deductive and inductive safety techniques can be used hand-in-hand with use cases. An application of the proposed approach facilitates early hazard identification and assessment, as well as elicitation and tracing of safety requirement though the entire development process. The proposed approach is illustrated by a realistic case study a liquid handling workstation.