Synchronous Execution

26 Oct 2014
by admin
Comments are closed

Based on mathematically sound synchronous execution semantics, BlokIDE generates codeĀ thatĀ is deterministic and guaranteed to be causal-by-construction. The resultant systems and free from ambiguities, deadlocks and race conditions.

Related Publications

  • L. H. Yoong, “Modelling and synthesis of safety-critical software with iec 61499,” PhD Thesis, 2010.
    [Bibtex]
    @phdthesis{LiHsienPhD,
    author = {Yoong, Li Hsien},
    interhash = {7aacf1d157a70573148e20ea01713487},
    intrahash = {208113d469a1459cceaa5caff1ed745b},
    publisher = [email protected]},
    school = {The University of Auckland},
    title = {Modelling and Synthesis of Safety-critical Software with IEC 61499},
    year = 2010
    }
  • [DOI] G. D. Shaw, P. S. Roop, and Z. Salcic, “A hierarchical and concurrent approach for IEC 61499 function blocks,” in Emerging technologies factory automation, 2009. etfa 2009. ieee conference on, 2009, pp. 1-8.
    [Bibtex]
    @inproceedings{GarethHCECC,
    author = {Shaw, G.D. and Roop, P.S. and Salcic, Z.},
    booktitle = {Emerging Technologies Factory Automation, 2009. ETFA 2009. IEEE Conference on},
    doi = {10.1109/ETFA.2009.5347020},
    interhash = {e5a2b4a660e796b11e30fbd5e5bede7b},
    intrahash = {18842a14711c5e9af50e55d147dd75c1},
    issn = {1946-0759},
    month = {Septmber},
    pages = {1 -8},
    title = {A hierarchical and concurrent approach for {IEC} 61499 function blocks},
    year = 2009
    }
  • [DOI] L. H. Yoong, P. S. Roop, V. Vyatkin, and Z. Salcic, “A synchronous approach for IEC 61499 function block implementation,” Computers, ieee transactions on, vol. 58, iss. 12, pp. 1599-1614, 2009.
    [Bibtex]
    @article{LiHsienCompiler,
    author = {Yoong, Li Hsien and Roop, P.S. and Vyatkin, V. and Salcic, Z.},
    doi = {10.1109/TC.2009.128},
    interhash = {7701d7926a99dfc6dd92c55cf31f7ed6},
    intrahash = {7319a5e0629c4d7db6198d3831c8cc32},
    issn = {0018-9340},
    journal = {Computers, IEEE Transactions on},
    month = {December},
    number = 12,
    pages = {1599 -1614},
    title = {A Synchronous Approach for {IEC} 61499 Function Block Implementation},
    volume = 58,
    year = 2009
    }
  • [DOI] L. H. Yoong, P. S. Roop, V. Vyatkin, and Z. Salcic, “Synchronous execution of IEC 61499 function blocks using Esterel,” in Industrial informatics, 2007 5th ieee international conference on, 2007, pp. 1189-1194.
    [Bibtex]
    @inproceedings{LiHsienSync,
    author = {Yoong, Li Hsien and Roop, P.S. and Vyatkin, V. and Salcic, Z.},
    booktitle = {Industrial Informatics, 2007 5th IEEE International Conference on},
    doi = {10.1109/INDIN.2007.4384944},
    interhash = {baa2f785b4404e4d1b3c3187a5019c09},
    intrahash = {d8777a82ff28574b77d4c077cb848890},
    issn = {1935-4576},
    month = {June},
    pages = {1189 -1194},
    title = {Synchronous Execution of {IEC} 61499 Function Blocks Using {E}sterel},
    volume = 2,
    year = 2007
    }
TimeMe © 2017