Research Page of Wang Yi

Interests: My main interest lies in modeling and analysis as well as implementation of predictable real-time and embedded systems, in particular:

Embedded Systems Design and Update
Real-Time Scheduling
Multicore Programming
Model-Checking of Real-Time Systems

Current Research: CUSTOMER – Customizable Embedded Real-Time Systems, supported by an ERC Advanced Grant and a Knut and Alice Wallenberg Foundation (KAW) grant .

The project develops a new paradigm (preserving determnism and composability) and integrated toolchain, MIMOS, for asynchronous design and dynamic updates of safety-critical embedded real-time systems. The underlying model of computation and the MIMOS toolchain are best described in this paper: MIMOS-Tools: An Integrated Toolchain for Model-Based Design of Real-Time Systems by Wang et al, accepted by ASE 2026. (full version to appear in Springer Journal on Software Tools for Technology Transfer - STTT).

Past Projects: I am a co-founder of UPPAAL , a Model Checker for Real-Time Systems, jointly developed with Aalborg University, Denmark since 1995. I have been the leader of the UPPsala team since 1993 when I initiated the UPPaal project. I am a member of the Embedded Systems Group and a PI of UPMARC - Uppsala Programming for Multicore Architectures Research Center (10-year Linne-center grant from the Swedish Research Council). I was also involved in a number of national and european projects in embedded systems areas, including ARTES (SSF), ARTIST (EU), CoDeR-MP (SSF), CERTAINTY (EU), SAVE (SSF), CREDO (EU) and AIT-WOODDES (EU).

[ Top ]

Software

UPPAAL , a Model Checker for Real-Time Systems, co-author:
- Wang Yi, Paul Pettersson and Mats Daniels. Automatic Verification of Real-Time Communicating Systems by Constraint Solving. In Proc. of FORTE94, Switzerland, 4-7 Oct, 1994. Pages: 243-258. (pdf)
- Kim G. Larsen, Paul Pettersson and Wang Yi. UPPAAL in a Nutshell. Springer Journal: Software Tools for Technology Transfer 1(1/2), 1997. Pages: 134-152. (pdf)
TIMES: a Tool box for Modeling and Implementation of Embedded Systems, co-author:
- Elena Fersman, Pavel Krcal, Paul Pettersson and Wang Yi. Task Automata: Schedulability, Decidability and Undecidability. In Journal: Information and Computation, 205(8), 2007. pages: 1149-1172. ( pdf )
- Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. TIMES: A Tools for Modelling and Implementation of Embedded Systems. In Proc of TACAS02, Grenoble, , Apr 6-14, 2002. LNCS 2280, pages: 460-464.
CATS: a Tool for Compositional Modeling and Analysis Using Timed Automata and the Real-Time Calculus, co-author:
- Pavel Krcal, Leonid Mokrushin, Wang Yi: A tool for compositional analysis of timed systems by abstraction (pdf), Proceedings of 19th Nordic workshop on programming theory (NWPT07's proceedings), Oslo, 2007.
TIMES-Pro: a Tool box for Design, Analysis, Implementation and Update of CPS, co-author:
- Martin Stigge, Pontus Ekberg, Nan Guan, Wang Yi: The Digraph Real-Time Task Model. IEEE Real-Time and Embedded Technology and Applications Symposium 2011: 71-80. (pdf)
- Jakaria Abdullah, Gaoyang Dai, Nan Guan, Morteza Mohaqeqi, Wang Yi: TIMES-Pro-- A Tool for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems. Models, Algorithms, Logics and Tools 2017: 623-639 ( pdf )
Publications: For further information on my research, see my publications (on a separated page).

Last updated:

Last updated: