计算机工程与应用2018，Vol.54Issue(8)：61-71,118,12.DOI:10.3778/j.issn.1002-8331.1701-0259
嵌入式软件形式化建模方法
Formal modeling approach for embedded software
潘杰 1渡边政彦 2周宽久 1梁浩然 1崔凯1
作者信息
- 1. 大连理工大学 软件学院,辽宁 大连116620
- 2. 日本CATS株式会社,日本 横滨222-0033
- 折叠
摘要
Abstract
With the popularization of embedded systems in all walks of life,embedded systems are becoming more and more complicated.In order to ensure the correctness of embedded systems,it is very important to study from the require-ments analysis,system design to system verification and code generation.To solve these problems,the STM modeling approach, confirming in every cells in STM to ensure software correctness, for embedded software is proposed. In this way,requirement analysis phase is more likely to find omission of demand.Aiming at the plenty of the logical judgment problem when dealing with cells, the decision table model is adopted to tackle the complex multi-condition judgment problem.After building and verifying the model,the code can be automatically generated.The correctness of the method is proven by the experiment of emergency braking control.关键词
状态变迁矩阵/决策表模型/决策树/嵌入式系统/代码自动生成Key words
state transform matrix/decision table model/decision tree/embedded system/code automatic generation分类
信息技术与安全科学引用本文复制引用
潘杰,渡边政彦,周宽久,梁浩然,崔凯..嵌入式软件形式化建模方法[J].计算机工程与应用,2018,54(8):61-71,118,12.
