カテゴリ: 論文誌(論文単位)グループ名: 【C】電子・情報・システム部門発行日: 2017/06/01タイトル(英語): Constraint Analysis of System Requirement in SysML with Formal Methods著者名: 垣内 洋介（広島工業大学）著者名(英語): Yosuke Kakiuchi (Hiroshima Institute of Technology)キーワード: SysML，形式手法，要求仕様，制約解析 SysML，formal method，requirement，constraint analysis要約(英語): Systems of the internet of things (IoT) consist of various elements, such as devices, networks, or embedded systems, and become larger scale and more complex. When we find faults in these systems after designing or implementation, it costs a lot to roll back the process of developments. It is therefore important to modelize systems' requirement, constraints and behaviors, and check the model to estimate their correctness and their performance. In this paper, we propose a framework to analyze SysML block diagrams with some constraints. The diagrams originally are used to describe specifications, and cannot be used to perform automated searches of systems' architectures. We check them with formal method to estimate costs and performances before implementing systems.本誌: 電気学会論文誌C（電子・情報・システム部門誌） Vol.137 No.6 （2017） 特集：産業志向の情報処理技術本誌掲載ページ: 809-814 p原稿種別: 論文／日本語電子版へのリンク: https://www.jstage.jst.go.jp/article/ieejeiss/137/6/137_809/_article/-char/ja/
