In Industry 4.0, the next generation embedded systems will be more intelligent and deeply connected with the information and physical worlds. These embedded systems, referred as Cyber-Physical Systems (CPS) by the EU Commission, will be deployed in the domains of automotive, aerospace, health and energy as well as smart city. This project aims at 1) conducting research in Model-based Design technologies for System-Level Virtual Prototyping and 2) investigating and developing innovative Co-Modeling technologies for performance-critical embedded systems to promote ASTRI/HK’s leadership in the area of Embedded Systems. The project is going to deliver the system architecture for System-Level Virtual Prototyping of Embedded Systems that include Software, Hardware and Physical Systems, based on the SAE AS5506 standard (Architecture Analysis and Design Language, AADL) and the AADL Behavior Annex( INRIA Polychrony). Gantry Robot is commonly deployed in Semiconductor Manufacturing Industry for Ultra-high precision stage for lithography and Super precision for TCB (Thermo Compression Bonding) for 3D packaging. A case study on Gantry Robot will be conducted in this project to demonstrate how the system-level virtual prototype could be designed and built by the proposed technologies. This project will build a technological foundation for the design of the next generation of embedded systems, and that will enhance a significant portion of cost-saving in embedded ICT market. ASTRI needs to develop new associated core technologies to maintain its leadership, and to benefit HK high-tech industry and HK society.