Web of Science™ 1 ( 1 -- 1) [ 1 ] 1 1 : A standardized design methodology for complex digital logic components of cyber-physical systems : Chen, F (Chen, F.); Ye, H (Ye, H.); Yang, J (Yang, J.); Huang, Y (Huang, Y.); Zhang, J (Zhang, J.); Qi, X (Qi, X.); Zhao, C (Zhao, C.); Zhu, J (Zhu, J.); Zhou, W (Zhou, W.) : MICROPROCESSORS AND MICROSYSTEMS : 39 : 8 : 1245-1254 DOI: 10.1016/j.micpro.2015.08.012 : NOV 2015 Web of Science " ": 0 : 0 ( 180 ): 0 (2013 ): 0 : 23 : 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. (c) 2015 Elsevier B.V. All rights reserved. : WOS:000366879500059 : English : Article : CPS; Digital logic; Modeling; Effectiveness; Verification; Component KeyWords Plus: SIMULATION; ARCHITECTURE; FRAMEWORK : [Chen, F.; Qi, X.; Zhao, C.] Normal Univ, , Peoples R . [Ye, H.; Yang, J.; Zhu, J.] Anhui Normal Univ, Comp Sci & Technol, Wuhu, Peoples R China. [Huang, Y.] Anhui Sci & Technol Univ, Wuhu, Peoples R China. [Zhang, J.] Univ So Queensland, Fac Hlth Engn & Sci, Toowoomba, Qld 4350, Australia. [Zhou, W.] Wuhan Univ, Comp Sci & Technol, Wuhan, Peoples R China. : Huang, Y ( ),Anhui Sci & Technol Univ, Dept Comp Sci, 233100, Anhui, Peoples R China. : [email protected] : ELSEVIER SCIENCE BV : PO BOX 211, 1000 AE AMSTERDAM, NETHERLANDS Web of Science : Computer Science, Hardware & Architecture; Computer Science, Theory & Methods; Engineering, Electrical & Electronic : Computer Science; Engineering IDS : CZ1QD ISSN: 0141-9331 eISSN: 1872-9436 29 : MICROPROCESS MICROSY ISO : Microprocess. Microsyst. : 10 :

National Natural Science Foundation of China 61370050 61572036 Anhui Provincial Natural Science Foundation 1308085QF118 University Natural Science Research Project of Anhui Province KJ2014A084 Wuhu City Science and Technology Project 2014cxy04 Anhui Normal University Postdoctoral Project 161-071214 The authors would like to thank our colleagues and students in Engineering Technology Research Center of Network and Information Security at Anhui Normal University, in particular Liping Sun, Hongtao Wang, Yunxiang Sun and Qimei Tang. We thank National Natural Science Foundation of China under Grant Nos. 61370050 and 61572036, Anhui Provincial Natural Science Foundation under Grant No. 1308085QF118, University Natural Science Research Project of Anhui Province under Grant No. KJ2014A084, Wuhu City Science and Technology Project under Grant No. 2014cxy04, and Anhui Normal University Postdoctoral Project under Grant No. 161-071214 for support of this research. Web of Science™ 1 ( 1 -- 1) [ 1 ]

© 2016 THOMSON REUTERS