A standardized design methodology for complex digital logic components of cyber-physical systems

•Proposes a component-based modeling methodology for complex digital logic components.•Presents an effectiveness verification solution including completeness and stability.•A washing machine controller design shows that the modeling can reflect the design intent of the designers effectively.

As an important part of cyber-physical systems, the digital logic system’s complexity are rapidly increasing, and its design flows become more and more tedious. A modeling and verification methodology for complex digital logic components is presented to improve the development quality and efficiency. In order to help developer to understand the design intent preferably and speed up the development process, design activities are carried out under a convenient modeling methodology and a precise verification solution for completing the design cycle. Its calculus system offers a theoretic way to connect components via connectors, and then provides a theoretical basis for further verification. A washing machine controller design shows that the modeling can reflect the design intent of the designers effectively, detect some design errors which maybe result in modeling failures in implementation as soon as possible, and avoid the negligence and errors in modeling for complex digital systems.

Graphical AbstractA complex digital logic system is modeled from various of logic components including combinational logic components, sequential logic components and compound logic components. In order to verify its completeness and stability, it is necessary to be unfolded to an equivalent compound logic component composed of some atomic components.Figure optionsDownload full-size imageDownload as PowerPoint slide