谢伟华
- 作品数：3 被引量：2H指数：1
- 供职机构：中国航天工程咨询中心更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于AADL的建模和验证技术应用研究
- 2012年
- 随着嵌入式系统规模、复杂度和性能需求的提升,嵌入式系统开发的重点从代码级提前到模型级;体系结构分析和设计语言AADL能够在模型级对系统进行建模,并通过一系列验证尽早发现系统设计中的问题,在航空航天等嵌入式系统中具有广阔的应用前景;全面系统地介绍了基于AADL的建模、验证的具体方法步骤、实现手段和工具,并以简化的飞行控制系统为例具体讲述了AADL的建模和验证技术的实际应用,从而为AADL技术在我国嵌入式软件中的应用奠定了基础。
- 张辉经小川谢伟华高金梁
- 基于Petri网的AADL模型正确性验证研究被引量：2
- 2012年
- 体系结构分析和设计语言AADL能够在架构级对系统进行建模,并通过一系列验证尽早发现系统设计中的问题,在航空航天等嵌入式系统中具有广阔的应用前景。但是目前的验证集中在性能分析等方面,忽略了AADL模型本身的正确性验证。提出将AADL模型的模式和模式转换映射成Petri网模型,结合Petri网的理论对AADL模型正确性进行验证的方法,从而确保建模阶段模型的正确性,为后续各种验证分析奠定了基础,同时进一步降低了在系统实现后发现问题修改模型所带来的时间和成本。最后,通过具体实例验证了该方法的可实施性和有效性。
- 张辉经小川谢伟华高金梁
- 关键词：PETRI网映射关联矩阵
- 基于自然语言编写的需求文档辅助检查技术研究及工具实现
- 当前型号软件需求文档大都是用自然语言编写,受编写人员的主观影响,容易造成编写不规范,难于进行检查,不能保证型号软件需求文档的质量.本文在对需求文档编写标准、检查内容及方式进行研究分析的基础上,并借鉴对数据流图进行一致性检...
- 陈湘陇谢伟华
- 关键词：自然语言数据流图
- 文献传递
