In safety-critical systems such as nuclear power plants, medical devices, and avionics systems which are closely related with our living, the usage of software in the controlling part is growing rapidly. Since software errors in safety-critical systems may cause serious accidents leading to financial or human damages, software safety should be ensured during and after development of a system.
A backward safety analysis technique defines system hazards and then tries to trace backward their causes by analyzing system states. In this thesis, we propose a backward analysis method for Statecharts and implement the safety analyzer which is integrated with STATEMATE, a tool for Statecharts.
To demonstrate the feasibility of the tool, we analyze the central locking system for cars. Finally, we present difficulties in adopting backward analysis of Statecharts.
