FRESCOR

University of York

The Real-Time Systems Research Group at the University of York has been a major contributor to a wide range of analysis techniques for real-time systems. In particular, work at York has been seminal in the theory of schedulability analysis, worst-case execution time analysis and the application of formal methods to timing analysis of systems. Other areas of research of the group include standards of languages for real-time systems (Ada and the real-time specification for Java), Real-time operating systems and HW-SW codesign issues.

The group will mainly contribute to the project on schedulability analysis, as well as the other workpackages of the project.

The group has more than 30 staff: 2 professors, 3 lecturers, 6 post-doctoral research position and about 20 full-time and part-time PhD students. The group is one of the largest and most influential groups in real-time systems in the world and has a proven track record on top quality research projects, both national and international.