1.2.4基于模型的汽车光纤传感智能环境感知系统

　　以汽车电子控制系统作为实现模型的硬件平台，符合汽车电子行业公认的OSEK标准的操作系统作为实现模型的软件平台，研究人员研究在基于模型的汽车电子软件开发中使用复杂事务模型时的模型综合问题，包括分布式环境中多资源约束的模型综合方法和能量节省的模型综合方法，即基于模型汽车电子软件开发环境SmartOSEKIDEv3.5中模型综合的理论框架－MOSAES以及与MOSAES相关的模型：结构模型、平台模型、实现模型和约束模型等，该方法包括构件分配和实现模型生成两个阶段。首先，在满足处理器的计算资源、内存资源约束和保持计算密度平衡的条件下把构件分配到处理器上，然后以满足定时约束为目标生成实现模型。构件分配和实现模型生成是一个回溯的过程。此外，提出了混合调度方式和分组调度方式下，任务段之间不连续时，事务的定时验证方法，以满足分布式环境中验证定时约束的需要[10]。

　　2.嵌入式系统的架构

　　2.1嵌入式系统的软硬件

　　嵌入式系统的核心是嵌入式数据处理硬件及与之配套的嵌入式软件，嵌入式系统的硬件可采用三种CPU方案满足不同要求，它们分别是：微控制器、现场可编程逻辑门阵列（FPGA）以及专用集成电路（ASIC）。如今具有计算功能的芯片替代微控制器现场可编程逻辑门阵列（FPGA）以及专用集成电路（ASIC）都采用了硬件化的布尔逻辑算法并具有高度的适应性，能够实现相当丰富的逻辑功能。再者，它们都可通过诸如VHDL和Verilog之类的标准硬件描述语言（HDL）进行编程，不必动用由第三代或更高级编程语言编写的软件进行编程。一款FPGA平台适用于多种产品，从而起到了平衡开发成本与资源的作用[11]。目前基于FPGA的嵌入式系统的设计比较有影响和特点的4款嵌入式CPU软核分别是Nios/Nios2、MicroBlaze、Leon2/Leon3和OpenRISC1200，其中Nios系列配置灵活，可满足大范围的速度、面积的需求；

　　MicroBlaze配置选项少，但是比相同功能的Nios系列的性能要高一点；Leon与主流通用CPU兼容，因此软件资源丰富，主频一定时，性能可得到保证；OpenRISC不与任何其它CPU的指令集兼容，对用户自定义指令的支持很好，可应用在一些安全