| Item type |
SIG Technical Reports(1) |
| 公開日 |
2018-03-02 |
| タイトル |
|
|
タイトル |
安全性分析の結果を補完したドメインモデルに基づくコード変換の実現 |
| タイトル |
|
|
言語 |
en |
|
タイトル |
Code Generation based on Domain Model compensated for Safety Requirements |
| 言語 |
|
|
言語 |
jpn |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
モデル検査 |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_18gh |
|
資源タイプ |
technical report |
| 著者所属 |
|
|
|
九州大学 |
| 著者所属 |
|
|
|
九州大学 |
| 著者所属 |
|
|
|
九州大学 |
| 著者所属(英) |
|
|
|
en |
|
|
Kyushu University |
| 著者所属(英) |
|
|
|
en |
|
|
Kyushu University |
| 著者所属(英) |
|
|
|
en |
|
|
Kyushu University |
| 著者名 |
岩田, 紘成
大森洋, 一
荒木, 啓二郎
|
| 著者名(英) |
Hironari, Iwata
Yoichi, Omori
Keijiro, Araki
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
ドメイン分析において安全性要求を明確にし，ドメインモデルを構築し利活用する事で，ソフトウェアの品質や再利用性の向上が期待できる．しかし，安全性分析は実施者の技量に左右されるという問題や，分析結果が自然言語で表されることにより解釈の齟齬が生じるといった問題がある．本研究ではこのような問題に対し，顧客の要求からハザード分析手法である STAMP / STPA により安全性要求を抽出し，形式仕様言語である VDM-SL を用いてドメインモデルに反映させた後，Python によるトランスレーターを用いてコード生成を行うことで，分析で得た安全性要求を下流の開発工程の成果物に反映させる手法を提案する．本稿では，提案手法の事例への適用を通じて，分析により得られた安全制約を満たした VDM-SL モデルからトランスレーターによって生成されたプログラムが安全制約を満たしていることを確認する手順を示す． |
| 論文抄録(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
A domain model built by domain analysis with clean safety requirements is expected to help improving software quality and reusability. However, there were two problems. One was that safety analysis depend on the skill of the analysis. Another was that misinterpretation may occur from the ambiguities of a nature language. An effective use of domain models reflecting the result of safety analyses in order to solve these problems in this research. First, we extracted safety requirements from customer's requirements using a hazard analyses method STAMP / STPA and reflect the result to the domain model using a formal specification language VDM-SL. Next, the domain model was translated into the executable code by a code translation implemented in Python. We show procedure to confirm the generated code are satisfying the safe conditions with a case. |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AN10112981 |
| 書誌情報 |
研究報告ソフトウェア工学（SE）
巻 2018-SE-198,
号 10,
p. 1-8,
発行日 2018-03-02
|
| ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
2188-8825 |
| Notice |
|
|
|
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. |
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-SE18198010.pdf (2.4 MB)
