Model-driven Development Method for Building Safe and Useful Services in IoT / CPS Systems

在 IoT / CPS 系统中构建安全有用的服务的模型驱动开发方法

• 批准号: 18K11552
• 负责人: Matsuura Saeko
• 金额: $ 2.83万
• 依托单位: Shibaura Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2018
• 资助国家: 日本
• 起止时间: 2018-04-01 至 2021-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-18K11552/
• 关键词: モデル駆動開発; 検証; UML; 状態遷移モデル; モデル検査; サービスの安全性検証; サービスの満足度; IoT/CPS

项目成果

要求分析モデルと状態遷移モデルのクロスチェックによる要求検証ツールの開発

通过交叉检查需求分析模型和状态转换模型来开发需求验证工具

• 发表时间: 2020
• 作者: 菅谷 至寛，坂井 清士郎，宮崎 智，大町 真一郎;森田光，松浦佐江子
• 通讯作者: 森田光，松浦佐江子

Automatic Verification of Behavior of UML Requirements Specifications using Model Checking

• DOI: 10.5220/0009339001580166
• 发表时间: 2020
• 作者: Saeko Matsuura;Sae Ikeda;Kasumi Yokotae

Goal-Satisfaction Verification to Combination of Use Case Component,

用例组件组合的目标满意度验证，

• 发表时间: 2018
• 作者: Saeko Matsuura;Shinpei Ogata and Yoshitaka Aoki
• 通讯作者: Shinpei Ogata and Yoshitaka Aoki

要求分析モデルからの状態遷移抽出による振る舞いフローの妥当性確認支援

支持通过从需求分析模型中提取状态转换来验证行为流

• 发表时间: 2019
• 作者: 森田 光，松浦 佐江子

Validation Method To Improve Behavioral Flows On UML Requirements Analysis Model By Cross-Checking With State Transition Model

通过与状态转换模型交叉检查来改进 UML 需求分析模型行为流的验证方法

• DOI: 10.5121/csit.2021.110201
• 发表时间: 2021
• 期刊: 10th International Conference on Software Engineering and Applications
• 作者: Hikaru Morita;Saeko Matsuura
• 通讯作者: Saeko Matsuura