- My research focusses on how to design critical systems so that they can be certified with reduced effort both initially and as part of incremental certification. Three key areas have been investigated:
- Scheduling and timing analysis including multicore processors using both static and measurement-based analysis.
- Allocation of tasks to processors and messages to networks using heuristic search-based analysis.
- Improving the dependability of Wireless Sensor Networks using systematic evaluation and testing to derive (often statistical) models.
Full details of possible PhD topics can be found here.