Design and verification of distributed industrial manufacturing control systems

Just now, there are numerous challenges in the automation technology sector, regarding such key words like distribution and easy reconfiguration of systems. But also other engineering areas, e.g. the traditional embedded systems domain, often suffer from malfunctions due to increasing distribution and therefore, increasing complexity. Malfunctions in these areas mostly occur because of suboptimal requirements engineering, including the usage of inconsistent specifications, and no verification of the control software. The conclusion is to optimize the requirements engineering/specifications along with adequate means and to apply formal verification methods with well fitting system description opportunities. Another aspect is to use means for generic higher level system description, which supports such features like distribution, reconfiguration, reusability and interoperability. Therefore, in this paper an engineering framework is introduced, which covers the mentioned issues above.