Synthesis of embedded systems satisfying quantitative constraints by formal methods

通过形式化方法综合满足定量约束的嵌入式系统

• 批准号: 16K00092
• 负责人: Hagihara Shigeki
• 金额: $ 2.83万
• 依托单位: Chitose Institute of Science and Technology (2019-2021)Tohoku University of Community Service and Science (2017-2018)Tokyo Institute of Technology (2016)
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2016
• 资助国家: 日本
• 起止时间: 2016-04-01 至 2022-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16K00092/
• 关键词: 形式手法; 組み込みシステム; 自動合成; 時間論理; 検証; 定量的制約; 組込みシステム; システム検証・合成; ソフトウェア工学; 高信頼ソフトウェア開発

项目成果

Towards Improvements of Bounded Realizability Checking

改进有界可实现性检查

• 发表时间: 2017
• 作者: Masaya Shimakawa;Shigeki Hagihara;Naoki Yonezaki
• 通讯作者: Naoki Yonezaki

Towards Interpretation of Abstract Instructions using Declarative Constraints in Temporal Logic

使用时序逻辑中的声明性约束来解释抽象指令

• 发表时间: 2020
• 作者: Masaya Shimakawa;Kentaro Hayashi;Shigeki Hagihara and Naoki Yonezaki
• 通讯作者: Shigeki Hagihara and Naoki Yonezaki

Combining Unification and Rewriting in Proofs for Modal Logics with First-order Undefinable Frames

模态逻辑证明中的统一和重写与一阶不可定义框架相结合

• DOI: 10.2991/icmmct-17.2017.140
• 发表时间: 2017
• 期刊: Advances in Engineering
• 作者: Shigeki Hagihara;Masahiko Tomoishi;Masaya Shimakawa;Naoki Yonezaki
• 通讯作者: Naoki Yonezaki

Verification of Verifiability of Voting Protocols by Strand Space Analysis

通过链空间分析验证投票协议的可验证性

• 发表时间: 2019
• 作者: Shigeki Hagihara;Masaya Shimakawa;Naoki Yonezaki
• 通讯作者: Naoki Yonezaki

Compositional Analysis of Homeostasis of Gene Networks by Clustering Algorithms

• DOI: 10.1007/978-3-319-94806-5_11
• 发表时间: 2017-02
• 作者: S. Ito;K. Osari;Shigeki Hagihara;N. Yonezaki