面向CPS时空性质验证的混成AADL建模与模型转换方法.pptx

content目录01研究背景与问题提出02混成AADL建模框架设计03面向时空性质的组合式建模机制04从混成AADL到形式化模型的转换方法05基于形式化方法的系统验证与案例实证06总结与未来展望

研究背景与问题提出01

信息物理融合系统在航空航天、智能交通等安全攸关领域中的关键作用日益凸显信息物理系统核心技术计算与控制融合，实现对物理过程的实时感知与调控。通信网络集成，保障系统内各组件高效协同工作。多源数据处理，整合传感器与外部环境的异构信息流。关键应用飞行控制系统，支撑航空航天器的安全稳定运行。智能交通管理，优化道路资源并提升通行效率。自动驾驶技术，实现车辆环境感知与自主决策。系统挑战时空