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

0331796Jafarii该奖项支持PI、共同PI的学生与德国哈勒大学工程科学系的Hans-Michael 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.