Ralf Dieter Reutemann

Learn More
Validation of requirements specifications is undoubtly an integral and indispensable part of requirements engineering. Validation is the process of checking whether requirements specifications meet the intentions and expectations of the stakeholders. One approach to support the process of validation is based on simulation/execution and animation of system(More)
Advanced micro-architectural features such as caches and branch prediction mechanisms supporting speculative execution are becoming commonplace within modern microprocessors. For developers of real-time systems, these mechanisms present predictability problems. Previous work has demonstrated accurate analysis for instruction caches, data caches, and branch(More)
  • 1