Speculative Computation in IEC 61499 Function Blocks Execution - Modeling and Simulation

被引：0
作者：
Drozdov, Dmitrii [1 ]
Dubinin, Victor [1 ]
Vyatkin, Valeriy [2 ,3 ]
机构：
[1] Penza State Univ, Penza, Russia
[2] Lulea Univ Technol, Lulea, Sweden
[3] Aalto Univ, Helsinki, Finland
来源：
2016 IEEE 14TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN) | 2016年
基金：
瑞典研究理事会; 俄罗斯科学基金会;
关键词：
ARCHITECTURE;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper a speculative computation method for IEC 61499 function block (FB) systems is proposed to increase the level of parallelism when executing the FB system and thus to increase system's performance and to reduce response time on input events. Data and control dependencies in FB systems are recognized and defined as a basis for organizing speculative execution of FB algorithms. A simulation model of FB systems with speculative execution based on timed stochastic Petri nets is considered. In addition, the paper discusses the results of simulation experiments conducted in CPN Tools.
引用
收藏
页码：748 / 755
页数：8
相关论文
共 23 条
  • [11] Fast Track: A Software System for Speculative Program Optimization
    Kelsey, Kirk
    Bai, Tongxin
    Ding, Chen
    Hang, Chengliang
    [J]. CGO 2009: INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, PROCEEDINGS, 2009, : 157 - +
  • [12] Li X.-F., P 10 AS PAC C ADV CO, P367
  • [13] Marsan M.A., 1995, MODELLING GEN STOCHA
  • [14] Patil S., 2015, 1 INT S DEP SOFTW EN, V9409, P300
  • [15] Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Modelling
    Patil, Sandeep
    Dubinin, Victor
    Vyatkin, Valeriy
    [J]. 2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, 2015, : 313 - 320
  • [16] A FORMAL MODEL OF PROGRAM DEPENDENCES AND ITS IMPLICATIONS FOR SOFTWARE TESTING, DEBUGGING, AND MAINTENANCE
    PODGURSKI, A
    CLARKE, LA
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (09) : 965 - 979
  • [17] Satoh K, 2005, IEICE T INF SYST, VE88D, P2031, DOI 10.1093/ietisy/e88-d.9.2031
  • [18] Architecture-level dependence analysis for software systems
    Stafford, JA
    Wolf, AL
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2001, 11 (04) : 431 - 451
  • [19] Tian C, 2010, ACM SIGPLAN NOTICES, V45, P63
  • [20] Vyatkin V., 2007, 61499 IEC
123