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

Chen, F. and Ye, H. and Yang, J. and Huang, Y. and Zhang, J. and Qi, X. and Zhao, C. and Zhu, J. and Zhou, W. (2015) A standardized design methodology for complex digital logic components of cyber-physical systems. Microprocessors and Microsystems, 39 (8). pp. 1245-1254. ISSN 0141-9331

Abstract

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.


Statistics for USQ ePrint 28485
Statistics for this ePrint Item
Item Type: Article (Commonwealth Reporting Category C)
Refereed: Yes
Item Status: Live Archive
Additional Information: Permanent restricted access to Published version in accordance with the copyright policy of the publisher.
Faculty / Department / School: Current - Faculty of Health, Engineering and Sciences - School of Agricultural, Computational and Environmental Sciences
Date Deposited: 29 Feb 2016 05:19
Last Modified: 01 Aug 2016 01:15
Uncontrolled Keywords: CPS, digital logic, modeling, effectiveness, verification, component
Fields of Research : 09 Engineering > 0906 Electrical and Electronic Engineering > 090601 Circuits and Systems
Identification Number or DOI: 10.1016/j.micpro.2015.08.012
URI: http://eprints.usq.edu.au/id/eprint/28485

Actions (login required)

View Item Archive Repository Staff Only