Key research themes
1. How can Software-in-the-Loop (SIL) and Hardware-in-the-Loop (HIL) simulations improve software system development and validation?
This research theme investigates the use of SIL and HIL simulation techniques to enhance the development, testing, and validation of complex software systems, particularly embedded and cyber-physical systems. It aims to address challenges such as system safety, real-time performance, and realistic environment emulation before deployment, which are critical in high-stakes domains like aerospace and autonomous vehicles.
2. What are the practical tools and methodologies to support incremental software change and program comprehension in software-in-the-loop environments?
This theme focuses on tools and interaction models that facilitate managing and understanding software changes incrementally under ongoing development and runtime environments like SIL. It encompasses methodologies for impact analysis, change propagation, and developer-oriented explanations that aid maintaining software accuracy and efficiency across evolving software lifecycles.
3. How does dynamic analysis and real-time program behavior visualization support understanding and troubleshooting in running software systems (software-in-the-loop)?
This theme covers the study and development of dynamic analysis tools and techniques that allow developers to observe, interpret, and interact with the running state and behavior of programs. Such tools enhance understanding of complex and long-running software systems by mapping runtime events into programmer-intuitive models, facilitating debugging, performance tuning, and system trustworthiness during software-in-the-loop operation.