Design and Analysis of Embedded Real-Time Systems

The focus of our research is on theories, methods and tools for design, modelling and verification of real-time, concurrent and reactive systems. Current topics include:

• Timing Analysis of Multicore-Software
• Cache-aware multi-processor scheduling and analysis
• Validation of Biomedical Sensor Networks
• Verification of Component-Based Systems
• Systems with Finite Control and Un-bounded Data Structures

Our main efforts have been on the development of UPPAAL - a model-checker for real-time systems, developed and maintained jointly with Aalborg University, Denmark, and TIMES - a tool box for (1) schedulability analysis of real-time systems and (2) generation of executable code from timed models, whose executions guarantee given timing constraints.

Currently we are aslo developing a tool for compositional analysis of timing and performance properties of systems with asynchronous communication and resource sharing. For further information, check CATS (a prototype tool for Compositional Analysis of Timed Systems).

Current members

PhD students

• Pontus Ekberg
• Nan Guan
• Jonatan Linden
• Xiaoyue Pan
• Martin Stigge
• Zhang Yi (visiting Ph.D. student)

Faculty

• Kai Lampka, assistant professor
• Paul Pettersson (associated member, prof at MDH)
• Philipp Ruemmer, assistant professor
• Wang Yi, professor

Visitors

• Mingsong Lv, assistant professor

Current projects

• Real-time Scheduling for Multicores
• Models, Methods and Tools for Timing Analysis of Multi-core Programs

Long-term projects

• CoDeR-MP: Computationally Demanding Real-Time Applications on Multicore Platforms
• UPMARC: Uppsala Programming for Multicore Architectures Research Center
• Software Verification (with Parosh Abdulla et al)

Open Master Thesis Topics