4.3.2 开发实践:嵌入式公交IC卡系统的设计