Development of distributed re-configurable controllers following the IEC 61499 technology : Modeling, Verification and Implementation

申请人必须首先将他的博士研究中提出的关于基于FBS的应用程序的设计和验证的技术与主办方小组中提出的技术进行比较。其目的是优化分布式IEC 61499应用程序的验证。此外，申请者还必须学习可重构系统的技术。这项技术在当今的工业部门是必不可少的。公开书中提出的建模形式主义。Hanisch的团队将进行扩展，提出一种可重新配置系统的方法。首先，想法已经形成，并在一份将作为工作基础的内部报告中进行了描述。此外，申请者必须通过研究关于可重构系统的大量文献来丰富他的知识。可以开发几种有趣的技术来丰富研究贡献。

The applicant has first of all to compare the techniques, on design and verification of FBs based applications, proposed in his PhD researches with those proposed in the host group. The purpose is to optimize the validation of distributed IEC 61499 applications. In addition, the applicant has to study the technology of re-configurable systems. This technology is required nowadays in the industry sector. The modeling formalism proposed in the Pr. Hanisch's group will be extended to come up with a methodology for re-configurable systems. First ideas have already taken shape and are described in an internal report which will serve as a basis for the work. In addition, the applicant has to enrich his knowledge by studying the large literature on reconfigurable systems. Several interesting techniques can be exploited to enrich the researches contribution.