嵌入式软件形式化建模方法

• 作者: 周宽久 崔凯 梁浩然 渡边政彦 潘杰
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 状态变迁矩阵 决策表模型 决策树 嵌入式系统 代码自动生成
• 年，卷（期）: 2018,（8）
• 所属期刊栏目: 理论与研发
• 页码范围: 61-71,118
• 页数: 12页
• 分类号: TP311.11
• 字数: 7104字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1701-0259

摘要

随着嵌入式系统在各行各业的普及,嵌入式系统也越来越复杂,为保证嵌入式系统正确性,研究从需求分析、系统设计到系统验证、代码自动生成统一建模方法尤为重要.针对以上问题,提出采用状态变迁矩阵(STM)对嵌入式软件进行建模,通过确认STM中的每个单元格保证软件的正确性,且在需求分析阶段更容易发现需求遗漏.针对单元格处理经常出现大量的逻辑判断问题,提出采用决策表(DT)模型对复杂多条件判断分支问题进行建模.在模型建立后进行验证,最后自动生成代码.通过对紧急制动控制建模实验,说明方法的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周宽久	大连理工大学软件学院	56	434	12.0	19.0
2	崔凯	大连理工大学软件学院	13	42	3.0	6.0
3	梁浩然	大连理工大学软件学院	3	4	1.0	2.0
4	潘杰	大连理工大学软件学院	3	4	1.0	2.0