Jianliang Yi

Learn More
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. Resource-related concerns are not closely linked with current xUML model-based software development although they are critical for embedded systems. We describe how to integrate(More)
In a pure sensor network thousands of sensors are distributed over a large area. Sensor data is relayed from sensor node to node until it reaches the edge node, where it is then routed by wire to the host. In this paper we study the effect of data collection on the battery and buffer of a sensor node, and on the overall sensor network. We determine the(More)
Most of the conventional electric powered wheelchairs are using joystick as a used input mode of control to maneuver the powered wheelchairs. The drawback of joystick control is that it is not suitable for physical disabled person who cannot control their movements especially the hands. The proposed voice-activated powered wheelchair supplementary with(More)
  • 1