Modeling Method for Virtual Digital Component Library

Rui Xu,Xi-Min Yang,Wei Lu
DOI: https://doi.org/10.12783/dtssehs/esem2018/23902
2018-01-01
Abstract:The virtual experiment platform is introduced to address some issues in the laboratory teaching of engineering courses, such as equipment wear/damage and a lack of sound teaching strategies. The key module of the virtual platform is the virtual component library with the virtual digital component modeling as core. In this paper, the virtual digital component is abstracted and its model is described by using formal description. Then, three examples, based on the 74LS138, is given to explain the idea and implementation of the virtual digital component modeling (VDCM). In addition, the modeling we proposed is verified via a model-checking tool Uppaal, in terms of three properties: reachability, safety, and liveness. The experiment result shows that the proposed VDCM approach makes the virtual experiment platform more Scalable and reusable. Especially, a new virtual component can be modeled quickly through a simple configuration by using the VDCM.
What problem does this paper attempt to address?