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

申请人必须首先将其博士研究中提出的基于FB的应用程序的设计和验证技术与主机组中提出的技术进行比较。目的是优化分布式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.