关键词: 状态变迁矩阵, 决策表模型, 决策树, 嵌入式系统, 代码自动生成

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 requirements 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