本发明公开了一种用于宇航产品工艺经验知识的数据存储方法，针对宇航产品工艺经验知识属性多样、需动态增加数据库表中属性的需求，提出了运用“模板和实例分开存储，且改行为列存放属性”的方法存储工艺经验知识，实现宇航产品工艺经验知识的便捷存储。本...

本发明公开了一种航天嵌入式C语言软件运行时错误的静态分析方法。包括：(1)将航天嵌入式C语言软件运行时错误按照错误的发生机制进行分类，根据每类错误构造属性状态机的步骤。(2)根据构造的待检测软件源代码的程序控制流图和属性状态机获得程序控...

一种验证AADL模型运行状态与需求一致性的方法，步骤包括：(1)根据需求中的状态和状态迁移构建AADL模型，AADL模型中模式和模式迁移分别对应需求中的状态和状态迁移；(2)将AADL模型中模式和模式迁移转化为Petri网模型；(3)计...