Abstract
Computer system is widely used for controlling systems such as nuclear power plant, train speed control and air plane control. The failure of computerized controlling system can be arrived to catastrophic accident, so the safety ensuring of computerized controlling system is very important. This paper shows how to improve and ensure the safety of computerized systems. In this paper, we show how to identify, analyze hazards of the computerized system and to demonstrate risk of the system. Finally, we show how to adopt safety techniques for improving safety of the target system.