List of theses from Embedded Systems Laboratory (ESL), Leicester (2009-2015). Most of them are my best friends and colleagues.
1) Bridging the gap between scheduling algorithms and scheduler implementations in time-triggered embedded systems : https://lra.le.ac.uk/handle/2381/4561
2)Techniques for scheduling time-triggered resource-constrained embedded systems :https://lra.le.ac.uk/handle/2381/7761
3)Monitoring and designing predictable timetriggered software architecture for real-time embedded applications: https://lra.le.ac.uk/bitstream/2381/33514/1/2012chanklphd.pdf
4) Reducing jitter in embedded systems employing a time-triggered software architecture and dynamic voltage scaling : https://lra.le.ac.uk/bitstream/2381/30246/1/U227747.pdf
http://ieeexplore.ieee.org/document/1566573/
5) Task Oriented Fault-Tolerant Distributed Computing for Use on Board Spacecraft: https://lra.le.ac.uk/bitstream/2381/36268/1/2015fayyazmfphd.pdf
6) Design and evaluation of flexible time-triggered task schedulers for dynamic control applications : https://lra.le.ac.uk/handle/2381/36166
7) Design and evaluation of a predictable embedded processor for use in time-triggered applications : https://lra.le.ac.uk/handle/2381/32507
8) Techniques intended to reduce the impact of program-flow errors on embedded systems : https://lra.le.ac.uk/handle/2381/30200
9) Improving the performance and reliability of systems which employ the ’CONTROLLER AREA NETWORK’ protocol through low-level changes to the controller implementation : https://lra.le.ac.uk/handle/2381/9466
10) The Impact of Software Architecture on the Cost of Design, Implementation and Verification of Reliable Embedded Systems : https://lra.le.ac.uk/handle/2381/28166
11) The design of predictable multi-core processors which support time-triggered software architectures : https://lra.le.ac.uk/handle/2381/29237
12) Techniques for the implementation of control algorithms using low-cost embedded systems : https://lra.le.ac.uk/handle/2381/8220