实时系统的软件可靠性测试与验证

研究实时系统的程序理论和量化规律，实时软件的测试理论和关键技术，实时软件的验证理论和关键技术，建立与现代主流软件工程标准，兼容的测试和验证方法学，完成具有一定规模的示范演示系统。这些研究将推动实时系统计算理论和可信软件工程技术的发展，对提高安全攸关应用中实时纱统的安全性和可靠性有重要意义。