首页> 外国专利> Software generation method, software generation device and software execution device

Software generation method, software generation device and software execution device

机译:软件生成方法,软件生成装置和软件执行装置

摘要

PROBLEM TO BE SOLVED: To provide a software generation method capable of solving operation mismatch at the time of execution by upstream design.SOLUTION: In an interface definition process, an exclusive control flag is described in interface definition language (ST710). In a condition definition process, a condition under which synchronous use occurs is defined (ST720). In an exclusive control insertion determination process, whether to insert the exclusive control program is determined on the basis of the exclusive control flag described in the interface definition process and the condition defined in the condition definition process (ST740). In a source code generation process, the exclusive control program is inserted at the time of software generation on the basis of the determination result of the exclusive control insertion determination process (ST750).
机译:解决的问题:提供一种能够通过上游设计解决执行时操作失配的软件生成方法。解决方案:在接口定义过程中,以接口定义语言(ST710)描述排他控制标志。在条件定义处理中,定义了发生同步使用的条件(ST720)。在排他控制插入确定处理中,基于在接口定义处理中描述的排他控制标志和在条件定义处理中定义的条件来确定是否插入排他控制程序(ST740)。在源代码生成处理中,基于排他控制插入确定处理的确定结果,在软件生成时插入排他控制程序(ST750)。

著录项

  • 公开/公告号JP6289235B2

    专利类型

  • 公开/公告日2018-03-07

    原文格式PDF

  • 申请/专利权人 三菱電機株式会社;

    申请/专利号JP20140083634

  • 发明设计人 下谷 光生;田中 宏平;後藤 幸夫;

    申请日2014-04-15

  • 分类号G06F8/00;G06F8/51;G06F8/41;

  • 国家 JP

  • 入库时间 2022-08-21 13:06:43

相似文献

  • 专利
  • 外文文献
  • 中文文献
获取专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号