|
个人信息Personal Information
教授
博士生导师
硕士生导师
任职 : 大连理工大学软件评测中心主任
性别：男
毕业院校：哈尔滨工业大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程. 计算机系统结构
办公地点：开发区校区综合楼409
联系方式：zhoukj@dlut.edu.cn 13804248599
电子邮箱：zhoukj@dlut.edu.cn
扫描关注
嵌入式软件形式化建模方法
点击次数：
论文类型：期刊论文
发表时间：2018-01-01
发表刊物：计算机工程与应用
收录刊物：CSCD
卷号：54
期号：8
页面范围：61-71,118
关键字：状态变迁矩阵;决策表模型;决策树;嵌入式系统;代码自动生成
摘要：随着嵌入式系统在各行各业的普及,嵌入式系统也越来越复杂,为保证嵌入式系统正确性,研究从需求分析、系统设计到系统验证、代码自动生成统一建模方法尤为重要.针对以上问题,提出采用状态变迁矩阵(STM)对嵌入式软件进行建模,通过确认STM中的每个单元格保证软件的正确性,且在需求分析阶段更容易发现需求遗漏.针对单元格处理经常出现大量的逻辑判断问题,提出采用决策表(DT)模型对复杂多条件判断分支问题进行建模.在模型建立后进行验证,最后自动生成代码.通过对紧急制动控制建模实验,说明方法的正确性.