（1）實時進程代數TCCS理論及隨機系統測試理論的創始人，並為嵌入式系統的設計建立了壹套完整的理論體系與開發工具。
（2）他帶領團隊做出了壹批國際領先的重要理論成果，解決了多個前沿技術發展中的理論難題，其中包括壹個本領域學術界40年未解決的多核調度問題。
（3）研發工具：
UPPAL：實時系統的模型檢測軟件。UPPAAL是由王義教授領導的研究組歷經20余年開發的壹個實時系統建模，仿真和驗證工具。UPPAAL的用戶遍布世界各地，已被下載超過80000次。該工具成功應用於汽車電子、航天航空、數字醫療等重要領域安全關鍵性系統的設計與驗證。
TIMES： 嵌入式系統的調度分析和代碼生成。此工具於2002年法國舉行的“軟件理論與實踐歐洲年會(ETAPS)”上獲得最佳工具論文獎。
CATS ：基於近似估計的實時系統組成分析 國家863課題“面向可重構計算系統的實時調度問題與操作系統技術的研究”、
教育部科技創新工程重大培育項目“面向智能化裝備的嵌入式平臺開發及應用示範” CoDeR-MP: 多核平臺的實時應用，由SSF（瑞典戰略研究基金）支持（合作者，與ABB和SAAB的5年科研項目，2009-2014）
UPMARC：多核結構研究中心的uppsala編程
SAVE++：以元件為基礎的安全關鍵性汽車系統，由瑞典戰略研究基金支持的國家5年研發項目）
CREDO ：分布式服務發展結構的建模與分析，STREP 項目，EC支持
ARTIST ：嵌入式系統設計的優越性網絡（核心成員，建模與驗證）
實時系統的建模與認證