本文采用有限状态机对嵌入式软件进行建模,使用SMV语言描述状态机模型,并通过符号模型检查工具SMV对SMV语言描述的状态
2021-04-28 06:16
操作应用于安全苛刻的航空和军事领域的嵌入式软件时必须高度关注安全问题。为达到可靠性目标,软件开发团队精益求精,力争使这些软件应用符合严格的
2019-11-04 06:05
由于有了基于模型的设计,使得开发大量的汽车嵌入式系统时,可以由模型自动生成最终编译的软件。
2019-10-31 07:35
本文结合统一建模语言UML,提出一种嵌入式系统可视化开发方法,并将其实际运用到了嵌入式远程温度监控系统的开发过程中,验证了该方法
2021-04-27 06:47
嵌入式是软件还是硬件呢?你知道嵌入式软件和嵌入式硬件的区别有哪些吗?
2021-12-24 06:10
仿真模型设计者优先 [size=13.3333330154419px]熟悉ARM或者MIPS嵌入式软件开发:启动流程,中断处理,常见外设驱动开发
2016-09-07 14:51
嵌入式系统的开发是一个软硬件协同设计过程,它需要不同技术背景的人共同开发.而传统的嵌入式软件分析与设计方法严重脱节,开发过程没有—个确定的统一的标准,这使得产品形成的每
2019-07-18 07:47
嵌入式软件开发需要学习什么? 嵌入式软件开发,一个发展迅速的行业,不少学者入门的第一个问题肯定是嵌入式
2016-01-31 14:45
本文尝试将构件化软件设计思想引入嵌入式软件设计中,提出了一种适用于嵌入式软件的基于构件的
2021-04-27 07:02
该不该放弃嵌入式、单片机这条路?如何学习嵌入式软件开发?
2021-12-24 06:32