基于模型的开发相关论文
随着软件安全性的重要性日益增长,在设计阶段发现问题以规避后续修复问题的成本变得越来越重要,使用模型驱动的方法进行软件开发也......
信息物理融合系统CPS是计算、通信和控制系统的集成,是一种大型、复杂、实时的反馈系统。在CPS系统中计算与通信被嵌入在实物过程......
嵌入式系统建模是目前一个新的研究热点。利用建模的结果可大大减少系统的设计时间,提高系统的设计质量。介绍了嵌入式系统建模的......
现代电子机载系统正由电子机械密集型向软件密集型转变,系统功能的实现越来越依赖于软件,导致软件的安全性对系统的安全至关重要。......
随着排放法规的日益严格和能源危机的日益加重,近年来,内燃机替代燃料的研究越来越受重视,其中柴油引燃天然气发动机成为研究热点......
随着能源危机和环境保护意识的深入,世界各国对发动机经济、排放性要求越来越高。现代发动机产品必须满足一系列严苛的需求,发动机......
摘要：日益蓬勃发展的高速铁路是国民经济的大动脉。为了满足高速铁路运行的高速度、高密度以及高安全性的需求,我国开发了CTCS-3级......
