Lightweight Formal Methods for Power and Timing Analysis of Memory Architectures

Develop models, analysis techniques and algorithms to systematically analyze the influence of different memory architectures on application performance (in particular timing properties) and power consumptionInvestigate cache locking techniques to improve the timing predictability of safety-critical applicationsDevelop design and analysis techniques for modern memory technologies like flash and other non-volatile memories (like Phase Change Memory and Magnetic RAMs), with the goal of improving the longevity of such memories, improving timing predictability and reducing power consumptionImplement the developed analysis and design methods into prototype tools