结合失效模式的情境感知车联网软件构造方法研究

项目名称： 结合失效模式的情境感知车联网软件构造方法研究

项目编号： No.61303041

项目类型： 青年科学基金项目

立项/批准年度： 2014

项目学科： 自动化技术、计算机技术

项目作者： 唐蕾

作者单位： 长安大学

项目金额： 22万元

中文摘要： 项目以面向情境感知的车联网软件行为描述为研究基础，以结合失效模式的车联网软件构造方法为研究重点，依托软件行为学、不确定性与控制理论，研究车联网软件在功能与自适应效果方面的失效模式，在此基础上形成针对条件不满足及行为干扰问题的故障定位方法。通过研究覆盖"监视-分析-计划-执行"活动的车联网软件过程模型，形成构造业务无关的软件模型方法，最后利用基于场景的领域知识表示方法，实现对情境感知车联网软件的建模、构造及故障检测过程。项目为软件构造技术在车联网领域的应用提供技术探索，突破情境感知模式约束下行为模式描述和面向闭环控制过程的模型构造等技术难点，为车联网软件的开发提供有价值的尝试。

中文关键词： 车联网软件；行为模式；失效模式；不可能路径；

英文摘要： This project based on researches surrounding software behavior and failure mode, focuses on constructing context-aware software for VANET. Relying on software behavior theory, uncertainty and control theories, this project tries to analyze how the software for VANET acts as being 'fate' in terms of executing functions and having influence, which forms a solid theoretical foundation for fault detection involved in two modes related to dissatisfying condition and disturbing to drivers. This project tries to build the conceptual model for VANET covering up "monitor-analyze-plan-execute" activities, that leads to the approach for constructing and modeling business independent software. Finally, this project tries to provide a framework covering the modelling, construction and verification activities with the situation-based domain knowledge representation. To provide the valuable attempt for software construction for VANET, this project explores available technologies by resolving problems such as context-aware behavior description scheme and modeling the intrinsic close-loop control process.

英文关键词： Software for VANET；behavior pattern；failure mode；impossible path；