王泊涵
- 作品数：2 被引量：7H指数：2
- 供职机构：中国航天科工集团公司更多>>
- 发文基金：国防基础科研计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于AADL的民用无人机飞控软件时间/堆栈分析被引量：4
- 2017年
- 为满足民用无人机飞行控制系统的高可靠性、实时性等要求,解决传统的设计方法缺乏对系统非功能属性描述的问题,研究并扩展AADL语言(体系结构分析与设计语言),将其应用于民用无人机飞行控制系统建模与分析。通过完成对飞控系统模型的堆栈、数据延迟和调度分析,验证使用AADL对关键安全嵌入式实时系统建模与分析,可减小后期系统发生错误的概率,提高系统可靠性及研发效率。
- 杨雨婷张建伟王泊涵柯文俊
- 关键词：飞行控制系统
- UML状态机模型形式化验证技术研究被引量：3
- 2012年
- 系统建模是系统开发经常用到的分析设计方法,如何保证模型的正确性一直是人们关注的话题。为了验证系统设计的模型正确性,进而提高整个系统的质量,提出了一种通过模型检查技术对UML状态机模型进行动态语义验证的方法。对状态机模型进行形式化描述,根据定义的映射规则将图形信息映射成模型检查器可以读取的语言,分析待验证的性质内容,通过使用模型检查器得到验证结果。
- 侯敏宋文鹏王泊涵王新冶
- 关键词：UML状态机形式化验证
