*商品について |
|
表紙はついていません(本文のみ中綴じ製本です)。
号単位でも購入できます。
すべてモノクロ印刷です。
Extended Summaryはついていません。
|
|
・会員価格 ¥550 |
・一般価格 ¥770 |
|
こちらはBookPark「電気学会 電子図書館(IEEJ Electronic Library)」による文献紹介ページです。 |
|
|
|
電気学会会員の方はこちらから一旦ログインのうえ、マイページからお入りください。
会員価格で購入することができます。
|
|
非会員の方はログインの必要はありません。このまま お進みください。 |
|
|
■論文No. |
|
■ページ数 |
6ページ |
■発行日
|
2017/06/01 |
■タイトル |
形式手法を用いたSysMLシステム要求仕様に対する制約解析 |
■タイトル(英語) |
Constraint Analysis of System Requirement in SysML with Formal Methods |
■著者名 |
垣内 洋介(広島工業大学) |
■著者名(英語) |
Yosuke Kakiuchi (Hiroshima Institute of Technology) |
■価格 |
会員 ¥550 一般 ¥770 |
■書籍種類 |
論文誌(論文単位) |
■グループ名 |
【C】電子・情報・システム部門 |
■本誌 |
電気学会論文誌C(電子・情報・システム部門誌) Vol.137 No.6 (2017) 特集:産業志向の情報処理技術
|
■本誌掲載ページ |
809-814ページ |
■原稿種別 |
論文/日本語 |
■電子版へのリンク |
https://www.jstage.jst.go.jp/article/ieejeiss/137/6/137_809/_article/-char/ja/
|
■キーワード |
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. |
■版 型 |
A4 |
|
|
|