商品情報にスキップ
1 1

形式手法を用いたSysMLシステム要求仕様に対する制約解析

形式手法を用いたSysMLシステム要求仕様に対する制約解析

通常価格 ¥770 JPY
通常価格 セール価格 ¥770 JPY
セール 売り切れ
税込

カテゴリ: 論文誌(論文単位)

グループ名: 【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/

販売タイプ
書籍サイズ
ページ数
詳細を表示する