基于有限状态机的Type A卡防冲突技术

Anticollision Technology of Type A Cards Based on Finite State Automata

在分析了TypeA非接触智能卡防冲突的基本工作原理的基础上 ,采用有限状态机模型对卡上位冲突检测协议的实现算法进行了数学表述和状态转换的设计 ,并采用统一建模语言UML中的状态图描述了卡上的防冲突过程 .最后 ,在智能卡芯片上实现了防冲突协议 ,实际应用证明系统运行正确 .

Based on the basic anticollision theory of Type A contactless smart cards, arithmetic description and state transition of bit collision detection protocol algorithm on cards were designed by finite state automata model. Anticollision procedures on cards were described with the virtue of a state diagram of UML. At last, anticollision protocol was implemented on cards. Practical application shows that this design model is correct.