• 综合
  • 标题
  • 关键词
  • 摘要
  • 学者
  • 期刊-刊名
  • 期刊-ISSN
  • 会议名称
搜索

作者:

Zhao, He (Zhao, He.) | Fang, Bin (Fang, Bin.) | Li, Hui-jie (Li, Hui-jie.) | Wang, Pu (Wang, Pu.)

收录:

CPCI-S

摘要:

In order to ensure the safety of equipment and persons, the rigorous requirements on the correctness and reliability of control program are always needed in industrial control system. The traditional program design methods are based on the realization of the functions and verified by the simulations and tests. Errors can only be founded during the simulation and test phase. And some vital errors cannot be tested, because these errors may cause damages to the equipment and persons. So the correctness and reliability of control program cannot be ensured. For these problems, the formal design methods emerged as the times require. The errors can be found in design level by the formalized-model. In other word, formal methods could detect the errors earlier, reduce the cost of development, and are suitable for the occasions that require rigorous requirements on the correctness and reliability. This paper discussed a kind of Event-B based formal method, using Rodin Platform, to model, refine and verify the automated production line control system.

关键词:

Event-B modeling formal method PLC system

作者机构:

  • [ 1 ] [Zhao, He]Beijing Univ Technol, Coll Elect & Control Engn, Beijing 100124, Peoples R China
  • [ 2 ] [Fang, Bin]Beijing Univ Technol, Coll Elect & Control Engn, Beijing 100124, Peoples R China
  • [ 3 ] [Li, Hui-jie]Beijing Univ Technol, Coll Elect & Control Engn, Beijing 100124, Peoples R China
  • [ 4 ] [Wang, Pu]Beijing Univ Technol, Coll Elect & Control Engn, Beijing 100124, Peoples R China
  • [ 5 ] [Zhao, He]PRC Engn Res Ctr Digital Commun, Minist Educ, Beijing 100124, Peoples R China
  • [ 6 ] [Fang, Bin]PRC Engn Res Ctr Digital Commun, Minist Educ, Beijing 100124, Peoples R China
  • [ 7 ] [Li, Hui-jie]PRC Engn Res Ctr Digital Commun, Minist Educ, Beijing 100124, Peoples R China
  • [ 8 ] [Wang, Pu]PRC Engn Res Ctr Digital Commun, Minist Educ, Beijing 100124, Peoples R China

通讯作者信息:

  • [Zhao, He]Beijing Univ Technol, Coll Elect & Control Engn, Beijing 100124, Peoples R China

电子邮件地址:

查看成果更多字段

相关关键词:

相关文章:

来源 :

PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON INFORMATION SCIENCES, MACHINERY, MATERIALS AND ENERGY (ICISMME 2015)

ISSN: 1951-6851

年份: 2015

卷: 126

页码: 1341-1347

语种: 英文

被引次数:

WoS核心集被引频次: 0

SCOPUS被引频次:

ESI高被引论文在榜: 0 展开所有

万方被引频次:

中文被引频次:

近30日浏览量: 0

归属院系:

在线人数/总访问数:1053/3902416
地址:北京工业大学图书馆(北京市朝阳区平乐园100号 邮编:100124) 联系我们:010-67392185
版权所有:北京工业大学图书馆 站点建设与维护:北京爱琴海乐之技术有限公司