Research

Real-Time Software Properties

The Real-Time Software Properties strand seeks to define a framework/technique to address problems relating to system timing characteristics. It seeks to exploit the flexibility gained by adopting flexible scheduling techniques. This is complimented by the measurement and modification of system timing properties, utilising techniques such as profiling and transformation at implementation level.