-
主页 期刊销售 萨达纳 第49卷 所有文章
-
FMSG：智能电网建模和验证框架 RAHUL KARMAKAR公司 巴耶尔·贝拉 萨赫利·达塔 第49卷 发布日期：2024年4月4日 文章ID 0131
-
-
全文 永久链接： https://www.ias.ac.in/article/fulltext/sadh/049/0131 -
关键词 形式化方法 ; 事件B ; 电网 ; 统一建模语言 ; 智能电网 ; 块链 ; 罗丹。 -
摘要 系统需求有时可能定义不明确，也很难定义。 在这种情况下，使用半形式建模创建的系统的图形表示 是有利的。 例如，智能电网包括许多重要需求和功能点。 我们可以用图形更好地描述系统功能 在进行形式化定义之前，先掌握需求。 然而，像统一建模语言（UML）这样的图形模型在工作时存在歧义问题 基于预定义规则。 另一方面，形式化技术使用正确的构造方法来保证系统的可靠性。 形式技术基于 关于熟练的数学符号。 本文对基于区块链（BC）的智能电网（SG）系统进行了形式化建模和验证。 系统要求 使用形式化建模技术Event-B进行验证。为了说明该系统，我们首先建议使用各种图形符号。 然后，符号被翻译 转换为JSON（JavaScript对象表示法）格式。 生成Java可执行代码是为了验证JSON模式。 然后转换图形模型 进入Event-B规范，并使用标准工具支持RODIN进行验证。 -
第一作者单位 RAHUL KARMAKAR公司 1 巴耶尔·贝拉 萨赫利·达塔 印度伯德万伯德万大学计算机科学系
-
日期 出版 2024年4月4日 收到手稿 2022年9月30日 修改的手稿 2023年9月5日 认可的 2024年2月11日
-
