US-Germany Cooperative Research: Design and Verification Formalism for Enterprise Integration

0331796 Jafari该奖项支持PI，合作PI，学生与工程科学系的汉斯-迈克尔Hannisch在哈勒大学，德国合作。 美国和德国将共同开发分布式即插即用设计形式和技术，用于企业集成。 这将包括从车间到供应链网络的整合。 在车间，他们将设计分布式即插即用组件，其中嵌入式控制器是根据控制规范合成的。 在车间之外，他们将设计分布式即插即用组件和基于业务规则的验证形式。 拟议的合作将使发展一个跨层次的标准化正式的方法来整合分布式系统。 国际标准化对于在全球市场上开展活动的行业的接受非常重要。这种合作的更广泛影响是，它增加了美国研究人员与德国研究人员之间的互动，促进了美国初级教师的合作机会和职业发展，研究结果将直接与行业需求相关。

0331796JafariThis award supports the PI, co-PI, students to collaborate with Hans-Michael Hannisch of the Department of Engineering Science at the University of Halle, Germany. The US and German sides will work together to develop distributed plug-and-play design formalisms and technologies for enterprise integration. This will include integration from the shop floor up through the supply chain network. On the shop floor, they will design distributed plug-and-play components with embedded controllers synthesized from control specifications. Beyond the shop floor, they will design distributed plug-and-play components and verification formalisms based on business rules. The proposed collaboration will enable the development of an inter-level standardized formal approach to integration of distributed systems. International standardization is important to acceptance by industry acting in global markets.The broader impacts of this collaboration are that it increases interactions between US researchers and those in Germany, it promotes collaborative opportunities and career development for US junior faculty, and the results of the research will be directly relevant to the needs of industry.