Framework for Dynamic Verification of Multi-Domain Virtual Platforms in Industrial Automation
A crucial part in the development of embedded systems in the industrial automation domain is their verification using simulation-based techniques. A comprehensive set of domain-specific modeling and simulation tools are available for this purpose, but they can only focus on certain aspects of a design. This paper presents a co-simulation framework for bringing them together in a structured and standardized way. The results are multi-domain virtual platforms where overall dynamic verification is possible. The advantage of multi-domain simulation models becomes clear when one recalls that embedded systems are used to interface with a physical environment. Often, they are coupled and cannot be tested in separation. Having a framework where physical and digital domains can interact in a correct and reproducible manner opens up new possibilities for embedded system developers. We demonstrate the capabilities of our framework by adding a co-simulation scheme between SystemC and the VHDL-AMS simulator SMASH, and present its application in an industrial case study for the verification of a new Rogowski Current Coil Transducer (RCCT) electronic front end architecture and its embedded controller software algorithm.
F. Mendoza J. Pascal P. Nenninger J. Becker
ABB Germany Ltd., Corporate Research, Ladenburg, Germany ABB Switzerland Ltd., Corporate Research, Baden-D(a)ttwil, Switzerland
国际会议
IEEE 10th International Conference on Industrial Informatics(第十届IEEE工业信息学国际学术会议 INDIN2012)
北京
英文
935-940
2012-07-25（万方平台首次上网日期，不代表论文的发表时间）