Description method and formal verification method with section behavior model based on software architecture

基于软件体系结构的分段行为模型描述方法和形式化验证方法

• 批准号: 19K11911
• 负责人: Chang Han-Myung
• 金额: $ 2.75万
• 依托单位: Nanzan University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2019
• 资助国家: 日本
• 起止时间: 2019-04-01 至 2022-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-19K11911/
• 关键词: 形式手法; 形式仕様; 形式仕様言語; モデル検査; ソフトウェアアーキテクチャ; 並列システム; イベントの同時性; プロセス代数; CSP; 同時性; 振る舞い検証; 詳細化検証; UML; 組み込みシステム; 並列・並行システム; アーキテクチャ; 並行システム

项目成果

ソフトウェアアーキテクチャに基づく組込みシステムの設計法に関する研究

基于软件体系结构的嵌入式系统设计方法研究

• 发表时间: 2019
• 期刊: ソフトウェア工学の基礎XXVI（日本ソフトウェア科学会FOSE2019）
• 作者: Akira Mizutani;Masami Noro;Atsushi Sawada;江坂篤侍，野呂昌満，繁田雅信，沢田篤史
• 通讯作者: 江坂篤侍，野呂昌満，繁田雅信，沢田篤史

Design of Software Architecture for Neural Network Cooperation: Case of Forgery Detection

神经网络协作的软件架构设计：伪造检测案例

• 发表时间: 2021
• 期刊: Proc. 28th Asia-Pacific Software Engineering Conference
• 作者: Akira Mizutani;Masami Noro;Atsushi Sawada
• 通讯作者: Atsushi Sawada

IoTの柔軟な相互運用性を実現するソフトウェアアーキテクチャの提案

实现物联网灵活互操作性的软件架构提案

• DOI: 10.20729/00210550
• 发表时间: 2021
• 期刊: 情報処理学会論文誌
• 作者: 名倉 正剛;薄井 駿;高田 眞吾;Taiki Iwao and Satoshi Fujita;更田 裕司;横山史明，沢田篤史，野呂昌満，江坂篤侍
• 通讯作者: 横山史明，沢田篤史，野呂昌満，江坂篤侍

Specifying Abstract user Interface in VDM-SL

在 VDM-SL 中指定抽象用户界面

• 发表时间: 2020
• 作者: Tomohiro Oda;Keijiro Araki;Yasuhiro Yamamoto;Kumiyo Nakakoji;Han-Myung Chang;Peter Gorm Larsen
• 通讯作者: Peter Gorm Larsen

並行システムデバッグ支援のためのフォールトパターンに関する考察

支持并发系统调试的故障模式考虑

• 发表时间: 2022
• 期刊: 情報処理学会研究報告（組込みシステム）
• 作者: 張漢明，高木裕也，沢田篤史，野呂昌満