何积丰

中国科学院院士。1965年毕业于复旦大学数学系。20世纪80年代初被华东师范大学派往美国斯坦福大学、旧金山大学和英国牛津大学进修，并在牛津大学担任了15年的客座教授（兼职），1998至2005年间还在联合国大学软件技术研究所担任高级研究员。现任华东师范大学软件学院院长，上海嵌入式系统研究所所长、教授、博士生导师。     

软硬件混成系统与协同设计介绍

软硬件混成系统或嵌入式系统是用信息化带动工业化的关键技术,在各领域有着巨大应用需求。传统的计算机系统软、硬件各自开发的模式使得目标系统的资源优化不够,可靠性、安全性和实时性难以保障,开发周期和成本也受到很大的影响。在何积丰与Hoare C．A,R的统一程序设计理论基础上提出的软硬件混成系统与软硬件协同设计技术,针对上述问题给出了良好的解决途径。本文在回顾他们的关键工作后,描述了软硬件协同设计的关键技术和主要内容。接着介绍具有自主知识产权的“海神”软硬件协同设计平台：在获得用户需求规范后,设计开发者只需根据需求规范用高级语言实现需求阶段所提出的功能,分解器会将其自动分解为软件子系统和硬件子系统的描写并综合。从而提供了一种开发嵌入式系统的良好工具。     

基于FPGA的SD卡控制器设计及应用

通过对SD卡物理层协议和Avalon总线协议的研究,设计了一种基于FPGA的SD卡控制器。利用Nios II IDE软件编写驱动函数库,采用自定义组件技术将其作为独立IP核集成到嵌入式监控系统中进行应用测试。实际应用表明该设计使用方便、集成性高、数据传输快速可靠,保证了监控系统中数据存储的实时性和可靠性。     

基于GPRS的嵌入式无线车辆识别系统的设计

本文结合嵌入式系统、GPRS网络技术和车牌识别技术，从硬、软件两个方面来设计和实现了一种采用ARM9微处理器的嵌入式无线车辆管理系统。通过对实时图像进行采集和车牌识别来实现了远程对车辆的实时监控和管理．     

基于嵌入式技术的表面肌电信号数据采集系统的设计

介绍了一种基于嵌入式技术的数据采集系统的设计。该系统包括硬件和软件两部分。硬件主要由微处理器芯片SEP4020、前置放大处理电路、AD转换芯片、USB接口芯片等组成。软件采用操作系统μC／OS—II和虚拟仪器（VI）。在设计表面肌电信号前置放大处理电路时，对嵌入式实时操作系统μC／OS—II的移植和虚拟仪器的结构进行了重点分析。结果表明，此数据采集系统具有很好的实时性，能够完成对信号的分析、处理、显示。     

基于μC／OS-Ⅱ的便携式钢结构无损检测器的研制

针对目前在钢结构维护过程中无损检测的需要,基于μC/OS-Ⅱ和ARM嵌入式微处理器.提出了一套便携式钢结构无损检测系统的研制方案.介绍了系统的工作原理,给出了整个系统框图和软件运行流程图.     

基于Watch—dog的嵌入式煤层注水多级保护系统设计

针对现有煤层注水自动控制系统因抗干扰能力有限,无法在部分条件恶劣的采区长时间稳定工作的实际情况,设计了采用多级看门狗组成的嵌入式保护系统。本系统提供了四个级别的保护措施,根据故障严重程度,保护级别逐步升级,在控制系统出现软硬件故障后,包括出现电磁干扰或死锁现象后,不同看门狗启动不同保护措施,使系统恢复正常。在保护系统电路设计中充分考虑了看门狗定时器的独立性、故障安全性和作用实时性三方面因素,各级看门狗用最少的软件及硬件实现,降低了系统冗余。本设计在多个注水自动控制系统的改造实践中应用,有效地提高了原系统的稳定性、可靠性,具有很强的应用和推广价值。     

基于CAN总线嵌入式数控系统的研究

基于ARM9和MCX314AL为核心的嵌入式数控硬件平台，采用专用CAN总线局域网收发器，设计了一种新型局域网嵌入式数控系统。详细介绍了嵌入式局域网数控系统的结构和功能，并对数控系统软件进行了研究。     

基于M—Bus电缆温度在线监测系统设计

针对动力电缆运行的高稳定性要求,介绍了一种基于M-Bus总线和以太网总线的双总线结构的电缆温度远程在线监测的设计方案,具有节省布线,施工维护方便的特点。重点介绍了M-Bus数据采集单元的硬件设计和软件实现。该系统采用了TinyARM嵌入式工控板为硬件平台,μC／OS-II实时操作系统为软件核心,对电缆沟的温度、烟雾、水位和视频信号的实时采集。     

基于嵌入式系统动力学的人水系统模拟及应用

基于人水系统概念和嵌入式系统动力学（ESD）方法，以一个相对独立的城市区为例，介绍人水系统模拟的ESD模型，说明ESD模型的优越性。通过ESD模型的模拟计算，分析实例区人水系统演变的主要影响因素以及调控方向和措施。模拟结果表明，该城市区总用水量在各年远未达到水资源可利用量，而水质控制目标已经达到临界状态；其发展的瓶颈是污水处理能力偏低，可以通过建设污水处理厂，增加污水处理能力，以提高该区的发展规模。