登陆
注册
实时系统保障关键技术-最坏情况执行时间（WCET）分析
有370人正在学习
上海控安
2026-08-28 13:22
1. WCET分析的理论基础与重要性
2. 静态分析：数学建模的完备性与复杂性
3. 动态测量：真实性下的安全性鸿沟
4. 混合分析方法：工业级保障的优选方案
5. 关键进阶技术：符号执行与 WCET Squeezing
……
苗致远
苗致远，毕业于电子科技大学软件学院，目前担任上海控安可信软件创新研究院测试工具链组研发工程师，主要从事静态分析，动态测试，C/C++代码安全等方向研发工作。
