Because of limited resource of embedded platforms, the computational complexity of advanced control algorithms raises significant challenges for the use of embedded systems in complex control field. A Scilab/Scicos ba...Because of limited resource of embedded platforms, the computational complexity of advanced control algorithms raises significant challenges for the use of embedded systems in complex control field. A Scilab/Scicos based embedded controller is developed on which various control software can be easily modeled, simulated, implemented, and evaluated to meet the ever-expanding requirements of industrial control applications. Built on the Cirrus Logic EP9315 ARM systems-on-chip board, this embedded controller is possible to develop complex embedded control systems that employ advanced control strategies in a rapid and cost-efficient fashion. Due to the free and open source nature of the software packages used, the cost of the embedded controller is minimized.展开更多
The formal modelling and verification method has become an effective way of improving the reliability and correctness of complex,safety-critical embedded systems.Statecharts are widely used to formally model embedded ...The formal modelling and verification method has become an effective way of improving the reliability and correctness of complex,safety-critical embedded systems.Statecharts are widely used to formally model embedded applications,but they do not realise the reasonable separation of system concerns,which would result in code scattering and tangling.Aspect-Oriented Software Development(AOSD)technology could separate crosscutting concerns from core concerns and identify potential problems in the early phase of the software development life cycle.Therefore,the paper proposes aspect-oriented timed statecharts(extended timed statecharts with AOSD)to separately model base functional requirements and other requirements(e.g.,scheduling,error handling),thereby improving the modularity and development efficiency of embedded systems.Furthermore,the dynamic behaviours of embedded systems are simulated and analysed to determine whether the model satisfies certain properties(e.g.,liveness,safety)described by computation tree logic formulae.Finally,a given case demonstrates some desired properties processed with respect to the aspect-oriented timed statecharts model.展开更多
By combining fault-tolerance with power management, this paper developed a new method for aperiodic task set for the problem of task scheduling and voltage allocation in embedded real-time systems. The scbedulability ...By combining fault-tolerance with power management, this paper developed a new method for aperiodic task set for the problem of task scheduling and voltage allocation in embedded real-time systems. The scbedulability of the system was analyzed through checkpointing and the energy saving was considered via dynamic voltage and frequency scaling. Simulation results showed that the proposed algorithm had better performance compared with the existing voltage allocation techniques. The proposed technique saves 51.5% energy over FT-Only and 19.9% over FT ＋ EC on average. Therefore, the proposed method was more appropriate for aperiodic tasks in embedded real-time systems.展开更多
介绍了INS/DR/MM车辆组合导航系统以及系统的部件组成,对系统的软硬件结构进行了分析。结合目前各主流嵌入式平台的性能,利用Windows XP Embedded(XPE)嵌入式操作系统体积小和易扩展的优势,选用Windows XP Embedded作为车辆组合导航系...介绍了INS/DR/MM车辆组合导航系统以及系统的部件组成,对系统的软硬件结构进行了分析。结合目前各主流嵌入式平台的性能,利用Windows XP Embedded(XPE)嵌入式操作系统体积小和易扩展的优势,选用Windows XP Embedded作为车辆组合导航系统的开发平台。为了满足车辆导航实时、快速的要求,设计了基于模糊逻辑的地图匹配算法。经过多次实际跑车试验证明,该嵌入式车辆导航系统可以正确实时地将地图匹配后的位置信息显示在电子地图上。展开更多
The aim of this work is to understand better the long time behaviour of asymptotically compact random dynamical systems （RDS）, which can be generated by solutions of some stochastic partial differential equations on...The aim of this work is to understand better the long time behaviour of asymptotically compact random dynamical systems （RDS）, which can be generated by solutions of some stochastic partial differential equations on unbounded domains. The conceptual analysis for the long time behavior of RDS will be done through some examples. An application of those analysis will be demonstrated through the proof of the existence of random attractors for asymptotically compact dissipative RDS.展开更多
Graphic processing units （GPUs） have been widely recognized as cost-efficient co-processors with acceptable size, weight, and power consumption. However, adopting GPUs in real-time systems is still challenging, due ...Graphic processing units （GPUs） have been widely recognized as cost-efficient co-processors with acceptable size, weight, and power consumption. However, adopting GPUs in real-time systems is still challenging, due to the lack in framework for real-time analysis. In order to guarantee real-time requirements while maintaining system utilization ~in modern heterogeneous systems, such as multicore multi-GPU systems, a novel suspension-based k-exclusion real-time locking protocol and the associated suspension-aware schedulability analysis are proposed. The proposed protocol provides a synchronization framework that enables multiple GPUs to be efficiently integrated in multicore real-time systems. Comparative evaluations show that the proposed methods improve upon the existing work in terms of schedulability.展开更多
微软宣布正式成立亚洲第一个windows Embedded研发中心．证明微软在全球各地扩展区域研发中心的积极承诺。这座”微软嵌入式系统开发中心（Microsoft Embedded Systems Development Center，MESDC）”将支持全球研发各项智能型、具连接...微软宣布正式成立亚洲第一个windows Embedded研发中心．证明微软在全球各地扩展区域研发中心的积极承诺。这座”微软嵌入式系统开发中心（Microsoft Embedded Systems Development Center，MESDC）”将支持全球研发各项智能型、具连接性和服务导向的设备。MESDC设立于北京的微软亚洲工程院（ATC），是Windows Embedded事业群在2008会计年度中7，500万美元全球研发投资计划的重要一环。展开更多
An embedded single-board computer (SBC) system based on AT91RM9200 was designed for monitoring and controlling the digital beam position monitor system of Shanghai Synchrotron Radiation Facility (SSRF) through the Vir...An embedded single-board computer (SBC) system based on AT91RM9200 was designed for monitoring and controlling the digital beam position monitor system of Shanghai Synchrotron Radiation Facility (SSRF) through the Virtex-4 FPGA in the digital processing board.The SBC transfers the configuration commands from the remote EPICS to the FPGA,and calculates the beam position data.The interface between the FPGA and the SBC is the Static Memory Controller (SMC) with a peak transfer speed of up to 349 Mbps.The 100 Mb Ethernet is used for data transfer between the EPICS and SBC board,and a serial port serves as monitoring the status of the embedded system.Test results indicate that the SBC board functions well.展开更多
基金supported in part by the National Natural Science Foundation under Grant No.61070003,No.61272020,and No.61071128Zhejiang Provincial Natural Science Foundation under Grant No.R1090052 and No.Y1101184
文摘Because of limited resource of embedded platforms, the computational complexity of advanced control algorithms raises significant challenges for the use of embedded systems in complex control field. A Scilab/Scicos based embedded controller is developed on which various control software can be easily modeled, simulated, implemented, and evaluated to meet the ever-expanding requirements of industrial control applications. Built on the Cirrus Logic EP9315 ARM systems-on-chip board, this embedded controller is possible to develop complex embedded control systems that employ advanced control strategies in a rapid and cost-efficient fashion. Due to the free and open source nature of the software packages used, the cost of the embedded controller is minimized.
基金supported by the National Natural Science Foundation of China under GrantsNo.61173048,No.61103115
文摘The formal modelling and verification method has become an effective way of improving the reliability and correctness of complex,safety-critical embedded systems.Statecharts are widely used to formally model embedded applications,but they do not realise the reasonable separation of system concerns,which would result in code scattering and tangling.Aspect-Oriented Software Development(AOSD)technology could separate crosscutting concerns from core concerns and identify potential problems in the early phase of the software development life cycle.Therefore,the paper proposes aspect-oriented timed statecharts(extended timed statecharts with AOSD)to separately model base functional requirements and other requirements(e.g.,scheduling,error handling),thereby improving the modularity and development efficiency of embedded systems.Furthermore,the dynamic behaviours of embedded systems are simulated and analysed to determine whether the model satisfies certain properties(e.g.,liveness,safety)described by computation tree logic formulae.Finally,a given case demonstrates some desired properties processed with respect to the aspect-oriented timed statecharts model.
基金The National Natural Science Foundationof China(No.60873030 )the National High-Tech Research and Development Plan of China(863 Program)(No.2007AA01Z309)
文摘By combining fault-tolerance with power management, this paper developed a new method for aperiodic task set for the problem of task scheduling and voltage allocation in embedded real-time systems. The scbedulability of the system was analyzed through checkpointing and the energy saving was considered via dynamic voltage and frequency scaling. Simulation results showed that the proposed algorithm had better performance compared with the existing voltage allocation techniques. The proposed technique saves 51.5% energy over FT-Only and 19.9% over FT ＋ EC on average. Therefore, the proposed method was more appropriate for aperiodic tasks in embedded real-time systems.
文摘介绍了INS/DR/MM车辆组合导航系统以及系统的部件组成,对系统的软硬件结构进行了分析。结合目前各主流嵌入式平台的性能,利用Windows XP Embedded(XPE)嵌入式操作系统体积小和易扩展的优势,选用Windows XP Embedded作为车辆组合导航系统的开发平台。为了满足车辆导航实时、快速的要求,设计了基于模糊逻辑的地图匹配算法。经过多次实际跑车试验证明,该嵌入式车辆导航系统可以正确实时地将地图匹配后的位置信息显示在电子地图上。
基金the National NSFC under grant No.50579022the Foundation of Pre-973 Program of China under grant No.2004CCA02500+1 种基金the SRF for the ROCS,SEMthe Talent Recruitment Foundation of HUST
文摘The aim of this work is to understand better the long time behaviour of asymptotically compact random dynamical systems （RDS）, which can be generated by solutions of some stochastic partial differential equations on unbounded domains. The conceptual analysis for the long time behavior of RDS will be done through some examples. An application of those analysis will be demonstrated through the proof of the existence of random attractors for asymptotically compact dissipative RDS.
基金supported by the National Natural Science Foundation of China under Grant No.61003032/F020207
文摘Graphic processing units （GPUs） have been widely recognized as cost-efficient co-processors with acceptable size, weight, and power consumption. However, adopting GPUs in real-time systems is still challenging, due to the lack in framework for real-time analysis. In order to guarantee real-time requirements while maintaining system utilization ~in modern heterogeneous systems, such as multicore multi-GPU systems, a novel suspension-based k-exclusion real-time locking protocol and the associated suspension-aware schedulability analysis are proposed. The proposed protocol provides a synchronization framework that enables multiple GPUs to be efficiently integrated in multicore real-time systems. Comparative evaluations show that the proposed methods improve upon the existing work in terms of schedulability.
文摘微软宣布正式成立亚洲第一个windows Embedded研发中心．证明微软在全球各地扩展区域研发中心的积极承诺。这座”微软嵌入式系统开发中心（Microsoft Embedded Systems Development Center，MESDC）”将支持全球研发各项智能型、具连接性和服务导向的设备。MESDC设立于北京的微软亚洲工程院（ATC），是Windows Embedded事业群在2008会计年度中7，500万美元全球研发投资计划的重要一环。
基金Supported by the Knowledge Innovation Program of Chinese Academy of Science (KJCX2-YW-N27)the National Natural Science Foundation of China(10875119),and the 100-Talents Program of CAS
文摘An embedded single-board computer (SBC) system based on AT91RM9200 was designed for monitoring and controlling the digital beam position monitor system of Shanghai Synchrotron Radiation Facility (SSRF) through the Virtex-4 FPGA in the digital processing board.The SBC transfers the configuration commands from the remote EPICS to the FPGA,and calculates the beam position data.The interface between the FPGA and the SBC is the Static Memory Controller (SMC) with a peak transfer speed of up to 349 Mbps.The 100 Mb Ethernet is used for data transfer between the EPICS and SBC board,and a serial port serves as monitoring the status of the embedded system.Test results indicate that the SBC board functions well.
