Eat and Dream: effective automatic testing and debugging for real-life embedded wireless communications software

嵌入式软件是澳大利亚大多数制造业的关键技术，包括汽车行业等具有战略重要性的行业。嵌入式无线通信技术在澳大利亚发挥着越来越重要的作用，其关键应用范围广泛，从自然灾害预警到个人健康监测。然而，由于操作环境的复杂性以及软件和硬件之间的相互作用所引起的复杂性，嵌入式无线通信软件难以测试和调试。该项目将开发一种有效的自动化技术来缓解这些困难，实现更高质量的软件。

Embedded software is a key enabling technology for the majority of Australian manufacturing industries, including strategically important sectors such as the automotive industry. Embedded wireless communication technologies are playing an increasingly significant role in Australia with a wide range of critical applications ranging from natural disaster early warning to personal health monitoring. Embedded wireless communications software, however, is difficult to test and debug owing to the complexity of the operational environment and complications arising from the interplay between software and hardware. This project will develop an effective and automatic technology to alleviate these difficulties and achieve higher quality software.