IARSystems发布的visualState是基于UML状态机的建模工具,允许开发人员在状态机的层次上开发和调试,然后直接生成可用的C代码,尽量减少人工编码引进错误的可能。
对于复杂的逻辑,如果不使用层次状态机来剖析它的复杂性,而试图靠大脑if…else…直接编码,错误是难免的。
嵌入式系统很多用在涉及人身安全的领域,出现错误后果相当严重。
目前,visualState已经用在各种设备的开发中,包括取款机、红外夜视仪、阿帕奇直升机的部件等。
IARSystems还和SCIOPTA达成了合作协议,将IAR的工具和SCIOPTARTOS结合起来,共同聚焦于安全苛求的应用,提供通过国际电工委员会IEC61508标准认证的一站式的解决方案。
创业公司Axilica发布了EDA工具FalconML,帮助工程师从UML到SystemC,然后到FPGA或ASIC实现。
SoC(芯片上系统)的复杂度越来越高,基于C++、加上硬件扩展库的SystemC(http://www.systemc.org)成为新一代的设计语言。
2005年12月,SystemC通过IEEE标准协会的审查,取得IEEE1666标准,更值得我们投入精力去研究它。
《基于状态机的嵌入式系统开发》(21世纪高等学校嵌入式系统专业规划教材)内容简介基于状态机的嵌入式系统开发是当前流行、前景广阔的嵌入式系统开发方法。
本书是基于状态机的嵌入式系统开发的入门指导书,兼顾理论性与实践性,介绍了嵌入式系统及状态机的基础知识,同时加入了生动的实际案例程序。
本书内容分为3篇。
第1篇为引入篇,介绍状态机建模平台与入门实验;
第2篇为理论与实践篇,主要介绍了UML状态机理论基础、visualSTATE状态机和丁具链、visualSTATE状态机建模案例以及系统整合;
第3篇为创新没汁篇,具体讲述厂将visualSTATE牛成的代码集成到STM32的具体例广ATM取款机设计,并在最后展示了实际中——款车灯系统应用visualSTATE快速建模的过程。
本书由浅入深,循序渐进,适合刚接触基于状态机的嵌入式系统开发的初学者学习,也可作为大中专院校嵌入式相关专业本科生、研究生的教材,同时还可以作为从事嵌入式系统应用开发工程师的参考书。
1