Formalization for Integrating Information Flow Diagram and Analysis Matrix to Analyze Unexpected Obstacles in Embedded Systems

IR IR (HANDLE) Web Site 6 References

Bibliographic Information

Other Title
  • 組込みシステム非正常系分析のためのIFDと分析マトリクスを統合した定式化
  • クミコミ システム ヒセイジョウケイ ブンセキ ノ タメノ IFD ト ブンセキ マトリクス オ トウゴウシタ テイシキカ

Search this article

Description

We can treat embedded systems as two aspects about unexpected obstacles such as the failure. One is a static side using IFD (Information Flow Diagram). Another is a dynamic side using analysis matrix. Therefore I formalize IFD and the analysis matrix to show the relations between both exactly. In addition, I investigate mechanism of the abstraction in the analysis matrix by formalization and help with the analysis that I used both for. In this paper, I discuss it about a definition and the effectiveness that formalized both.

Journal

References(6)*help

See more

Related Projects

See more

Keywords

Details 詳細情報について

Report a problem

Back to top