Modeling and verifying DPU system based on BIP framework

HUANG Chong-di,WAN Hai,GU Ming,CHEN Rui
DOI: https://doi.org/10.3969/j.issn.1001-3695.2012.08.041
2012-01-01
Abstract:DPU(data process unit) is a typical component for embedded systems.It's widely used in space application.It obtains data from sensors in lower level,processes data and then sends result back to master computer in higher level.There are redundancy,testing and simulation to ensure the reliability of the DPU system.BIP(behavior interaction priority) is a general formal modeling framework for embedded system.It supports hierarchy and module structure,contains a toolset including modeling,simulation and verification tools.This paper presented a set of general methods and principles for modeling DPU system using BIP framework and verifying properties on the BIP model.It took a real DPU system from space as example and succeeded in finding some bugs,which was difficulty for traditional way.The method was reusable and extendable.It's useful to ensure the reliability of the system.
What problem does this paper attempt to address?