江苏省研究生培养创新工程项目(CXZZ110218)
- 作品数：3 被引量：22H指数：3
- 相关作者：徐丙凤胡军于笑丰黄志球蔡正平更多>>
- 相关机构：南京航空航天大学南京大学更多>>
- 发文基金：江苏省研究生培养创新工程项目中国博士后科学基金江苏省博士后科研资助计划项目更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 基于BPEL和WS-TX的Web服务组合事务协调框架研究被引量：3
- 2012年
- 针对当前Web服务事务协调框架中缺乏对服务组合流程定义的支持而需要在协调过程中手动定义业务流程的问题,提出了一种支持流程和事务语义自动抽取的服务组合事务协调框架。该框架从扩展了事务语义的业务流程执行语言(Business Process Execution Language,BPEL)中抽取协调信息,并结合Web服务事务规范(Web Services Transaction,WS-TX)所定义的协调器实现了服务组合的全局事务协调。通过将WS-TX在事务协调和BPEL在业务流程设计方面的优势相结合,该框架将业务逻辑与事务处理逻辑有效地分离。最后通过实例分析说明了该框架的可行性。
- 蔡正平黄志球王进王珊珊徐丙凤
- 关键词：WEB服务事务
- 面向适航认证的模型驱动机载软件构件的安全性验证被引量：16
- 2012年
- 在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用系统建模语言(SysML)块图建立带有安全性特征的系统静态结构模型,将其转换为块依赖图以便进行精确的形式化描述。在此基础上给出形式验证方法,检验系统静态结构模型中的安全性依赖关系与适航认证标准中所规定目标之间是否一致。最后,通过一个飞机导航系统的例子说明如何将该方法应用于机载软件开发的过程中。利用这种方法对系统静态结构模型的安全性依赖关系进行验证,能够提高系统整体的安全性,并为适航认证提供证据。
- 徐丙凤黄志球胡军于笑丰
- 关键词：适航认证机载软件形式化方法SYSML
- 无人机飞控软件系统建模与测试用例生成研究被引量：3
- 2012年
- 软件规模与复杂度的迅速增长已成为设计与检验现代高质量无人机飞行控制软件(FCS)系统的重要挑战。采用模型驱动工程(MDE)的框架,使用嵌入式实时系统建模语言(MARTE)建立起某型无人机飞控软件系统的模型,给出了基于时间自动机的系统动态行为的形式化模型实例;结合无人机FCS系统的应用背景,建立了基于时间自动机模型的测试用例生成方法,包括建立测试用例生成框架、测试用例生成规则以及用例生成策略等;对某型无人机飞控软件系统中的主控模块进行了建模与测试用例生成的实例分析研究。
- 吴黎明胡军曹东徐丙凤于笑丰
- 关键词：飞行控制软件时间自动机无人机系统
