The paper discusses the benefits of system modelling for safety and fault analysis. It aims to show that by using a graphical approach, formal methods can be introduced into the design process along with other methods...
详细信息
The paper discusses the benefits of system modelling for safety and fault analysis. It aims to show that by using a graphical approach, formal methods can be introduced into the design process along with other methods and not require specialist software knowledge. Also, it discusses that once a system model has been developed not only can the design safety issues be studied but failure mode analysis be undertaken.
暂无评论