Selected Research Projects
- Build Reliable SaaS Development and Deployment Platform
The research aims at create a black-box development and deployment platform for (Software-as-a-Service) SaaS developers. The platform has flexible and dynamic scalable deployment engine which caters for private cloud, hybrid cloud, and public cloud. The platform also contains highly customizable web development, report definition, and workflow engines . The platform contains highly scalable, consistent, transparent, and fault tolerant internal data services.
- IoT intervention system for alcohol and smoke cessation
The research aims at using non-intrusive wearable sensors, variouis machine learning algorithms, recommender systems to create a close loop intervention system to help controlling and eventually stopping excessive alcohol and smoke consumption.
- Secure Modern Vehicle Systems
The research aims at create a real-time simulation environment for CAN bus, Infotainment systems, and VANET for modern vehicles. With the real-time simulation environment, we plant various attack models into, and develop a practical yet efficient middleware/approach to detect attacks in design and runtime. The project eventually leads into a fault/attack tolerant modern vehicle systems.
- Reliable Humanoid Robotics Systems
The research aims at build robust and efficient multi-humanoid robotics systems. The research components include: Computer Vision, Localisation without infrastructure support, robotics motion, Team coordination/Smart Agent Architecture. The goal of the project is to compete for Robocup standard league.
I am also actively working on any interesting research/industrial projects related to IoT, Cloud Computing, Mobile Computing, and (Humanoid) Robotics.
Selected PhD Research Projects
- Brace middlewares diagram
My PhD thesis involves a few projects including a comprehensive survey of CPS Verification and Validation, introducing an intuitive specification language capturing semantics of a Metric Temporal Logic and First Order Logic, Introducing an efficient online monitoring framework, and eventually bringing full power of physics and simulation into CPS Runtime verification. Thanks for my advisor Dr. Julien, strong committee members, and the collaborators from Texas State University, NICTA Australia, TsingHua University China, Macquarie University Australia, and support from EJ-Technologies to provide JProfiler for benchmarking
BraceForce integrates different sensor platforms with very little programming effort. For instance, BraceForce allows an autonomous movement application to connect to precise localisation capabilities that may be available in the debugging environment but not in the deployment environment (e.g., overhead cameras). BraceForce not only supports the CPS debugging challenge that motivates my work but is also useful for general purpose CPS application development as these applications also often incorporate sensing into core application functionality.
BraceAssertion provides the balance between expressiveness and accessibility demanded by CPS developers, BraceAssertion bridges the gap between Behavior-Driven Development (BDD) and Metric Temporal Logics (e.g., SCL) and first order logic. BraceAssertion is supported by a unique dual monitorarchitecture and algorithms, which is shown to have minimal overhead at runtime for the host applications.
With an underlying simple model interface specification, BraceBind connects cyber part of a CPS application with different types of physical models (e.g., transducer models, rigid dynamic models, and environment models), that brings physical process simulation into runtime verification to test those deployment environment where it is either too expensive or impossible to test at real time.
Brace is a practical runtime verification framework which is built on top of BraceAssertion. Brace is able to capture violation of local properties and global properties in a distributed environment. With automatically synthesized monitors both for event generation, event aggregation, event filtering, and on top of a specific class of timed automata, Brace is both effective and efficient. Moreover, with the help of novel local constraint optimization algorithms, Brace can guarantee the predictability of synthesized runtime monitors, which is immune from surge of randome events in monitored CPS applications.
- James (Xi) Zheng, Christine Julien, Miryung Kim, Sarfraz Khurshid. On the State of the Art in Verification and Validation in Cyber Physical Systems. IEEE Systems Journal (2015).
- James (Xi) Zheng, Christine Julien, Rodion Podorozhny, Franck Cassez, Thierry Rakotoarivelo. “Brace: A Middleware for Practical On-Line Monitoring of Cyber-Physical System Correctness” IEEE Systems Journal (2016).
- James (Xi) Zheng, Christine Julien, HongXu Chen, Rodion Podorozhny, Franck Cassez. “BraceBind: Combining Real-Time Simulation with Runtime Verification for Cyber Physical Systems”. ACM Transactions on Embedded Computing Systems (2016).
- Lei Pan, James (Xi) Zheng, Hongxu Chen, Tom Luan, Huzefa Bootwala, Lynn Batten. “Cyber Security
Attacks to Modern Vehicular Systems”, Journal of Information Security and Application (2017).
James (Xi) Zheng, D. Perry, Christine Julien. "BraceForce: A Middleware to Enable Sensing Integration in Mobile Applications for Novice Programmers," ACM/IEEE First International Conference on Mobile Software Engineering and Systems (MOBILESoft), in conjunction with ICSE. 2014.
- James (Xi) Zheng, D. Perry, Christine Julien. "BraceForce: Software Engineering Support for Sensing in CPS Applications," ACM/IEEE 5th International Conference on Cyber-Physical Systems (ICCPS). 2014.
- James (Xi) Zheng. "Physically Informed Assertions for Cyber Physical Systems Development and Debugging," International Conference on Pervasive Computing and Communications 2014 (Percom). 2014.
- James (Xi) Zheng, Akanksha Bansal, Matthew Lease. Bullseye: Structured Passage Retrieval and Document Highlighting for Scholarly Search, CoRR abs/1406.1875 (2014).
- James (Xi) Zheng, Christine Julien. Verification and Validation in Cyber Physical Systems: Research Challenges and Our Solution. International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS) 2015.
- James (Xi) Zheng, Christine Julien, Rodion Podorozhny, Franck Cassez. BraceAssertion: Behavior- Driven Development for CPS Applications. International Conference on Mobile Ad-hoc and Sensor Systems (MASS). 2015.
- James (Xi) Zheng, Lei Pan, Hongxu Chen, Peiyin Wang, Lynn Batten. “An investigation of security vulnerability in modern vehicle systems”, International Conference on Applications and Techniques in Information Security, 2016.
- James (Xi) Zheng, Lei Pan, Erdem Yilmaz. “Security Analysis of Modern Mission Critical Android Mobile Applications”, Australasian Computing Doctoral Consortium 2017.
- James (Xi) Zheng, Akanksha Bansal, Matthew Lease. “Bullseye: Structured Passage Retrieval and Document Highlighting for Scholarly Search”, Asia-Pacific Conference on Conceptual Modelling 2017.
- Vu Viet Hoang Pham, Xiao Liu, James (Xi) Zheng, Min Fu, Sahil Vikas Deshpande, WeiDong Xia, Mohamed Abdelrazek “PaaS - Black or White: An Investigation into Software Development Model for Building Retail Industry SaaS”. International Conference on Software Engineering.