面向航天嵌入式软件的形式化建模方法?

• 作者: 王政 董云卫 顾斌
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 航天嵌入式软件 形式化建模方法
• 年，卷（期）: 2015,（2）
• 页码范围: 321-331
• 页数: 11页
• 分类号: TP311
• 字数: 6198字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.004784

摘要

航天嵌入式软件是航天型号任务成败的关键之一。航天嵌入式软件是一种周期性、多模式的软件。软件的每个模式表示系统处于一定的状态，并进行相应的复杂计算。因此，提出了一种名为 SPARDL 的形式化建模方法。为了满足型号应用的需求，对这一方法进行了若干改进。为了表达航天器的时序性质，提出了一种基于区间逻辑的性质规范语言。为了支持工业应用，还设计了代码生成方法。这一建模方法已在航天工业领域得到了应用。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董云卫	西北工业大学计算机学院	43	311	9.0	15.0
2	王政		2	11	2.0	2.0
3	顾斌	西北工业大学计算机学院	8	27	3.0	5.0