Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: IEC 61499 is a standard architecture, based on function blocks, for developing distributed control and measurement applications. Hover, the standard has no formal semantics and different interpretations of the standard have emerged. As a consequence, the execution behavior of applications running on different platforms may exhibit different behavior, thus making it harder to transfer applications beten the platforms.  shows how three different execution semantics, buffered sequential execution model (BSEM), nonpreempted multithreaded (NPMTR), and cyclic buffered execution model (CBEM) can be mathematically defined. The mathematical definitions can be used to analyze an application's behavior when executed using those execution semantics. The mathematical definitions have been used as a basis for implementation of a runtime environment and a software tool that generates formal models suitable for formal verification. Formal verification can be used to help discover execution errors before the application is executed on the factory floor.
['Goran Cengic', 'Knut Åkesson']
I am writing a research paper on a idea On Formal Analysis of IEC 61499 Applications, Part B: Execution Semantics
[{"from": "human", "value": "I am writing a research paper on a idea On Formal Analysis of IEC 61499 Applications, Part B: Execution Semantics"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: IEC 61499 is a standard architecture, based on function blocks, for developing distributed control and measurement applications. Hover, the standard has no formal semantics and different interpretations of the standard have emerged. As a consequence, the execution behavior of applications running on different platforms may exhibit different behavior, thus making it harder to transfer applications beten the platforms.  shows how three different execution semantics, buffered sequential execution model (BSEM), nonpreempted multithreaded (NPMTR), and cyclic buffered execution model (CBEM) can be mathematically defined. The mathematical definitions can be used to analyze an application's behavior when executed using those execution semantics. The mathematical definitions have been used as a basis for implementation of a runtime environment and a software tool that generates formal models suitable for formal verification. Formal verification can be used to help discover execution errors before the application is executed on the factory floor."}]