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.展开更多
We presented a wireless endoscope system developed on the embedded Linux platform. This wireless endoscope system consists of three parts: the endoscope capsule,the portable equipment and the image workstation,which m...We presented a wireless endoscope system developed on the embedded Linux platform. This wireless endoscope system consists of three parts: the endoscope capsule,the portable equipment and the image workstation,which make this system wireless and portable. Hardware design of this system and software design of the portable equipment are described. In clinical use,patients swallow the endoscope capsule for gastrointestinal inspection. The portable equipment receives images of gastrointestinal tract via the radio frequency module while it sets and reads back parameters of the capsule via the low frequency module. Acquired image data can be saved as a FAT32 format file in an universal serial bus disk. Images can be processed and reviewed at an Microsoft Windows PC workstation in the next stage. The image acquired by this wireless endoscope system is quite effective with clear details of gastrointestinal tract. However,the endoscope capsule was large,making it difficult to swallow. So the printed circuit board design of endoscope capsule needs to be improved.展开更多
In order to solve the problems of mining monitor and control systems during the construction process of digital mining combined with network and embedded technologies, the kernel access equipment of a mining monitor a...In order to solve the problems of mining monitor and control systems during the construction process of digital mining combined with network and embedded technologies, the kernel access equipment of a mining monitor and control system was proposed and designed. It is the architecture of a mining embedded network multifunctional substation. This paper presents the design of hardware and software of the substation in detail. Finally, the system’s ef- ficiency was validated through experimentation.展开更多
The embedded data acquistition technology in vehicle electronic system was discussed. This technology adopts the parallel working mode, gets vehicle electronic system data by communication. This technology can provide...The embedded data acquistition technology in vehicle electronic system was discussed. This technology adopts the parallel working mode, gets vehicle electronic system data by communication. This technology can provide us a lot of information on the electronic control unit, is very useful for the development of the vehicle electronic system, and can be used in diagnosis. The key points to this technology are the timer interrupt, A/D interrupt, communication interrupt and real time operation. This technology has been validated by the application in the electronic control mechanism transmission shifting system of the tank.展开更多
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.展开更多
In stroke rehabilitation,rehabilitation equipments can help with the training.But traditional equipments are not convenient to carry,which limits patients to use related rehabilitation techniques.To solve this kind of...In stroke rehabilitation,rehabilitation equipments can help with the training.But traditional equipments are not convenient to carry,which limits patients to use related rehabilitation techniques.To solve this kind of problem,a new embedded rehabilitation system based on brain computer interface(BCI)is proposed in this paper.The system is based on motor imagery(MI)therapy,in which electroencephalogram(EEG)is evoked by grasping motor imageries of left and right hands,then collected by a wearable device.The EEG is transmitted to a Raspberry Pie processing unit through Bluetooth and decoded as the instructions to control the equipment extension.Users experience the limb movement through the visual feedback so as to achieve active rehabilitation.A pilot study shows that the user can control the movement of the rehabilitation equipment through his mind,and the equipment is convenient to carry.The study provides a new way to stroke rehabilitation.展开更多
The embedded boundary method for solving elliptic and parabolic problems in geometrically complex domains using Cartesian meshes by Johansen and Colella （1998, J. Comput. Phys. 147, 60） has been extended for ellipti...The embedded boundary method for solving elliptic and parabolic problems in geometrically complex domains using Cartesian meshes by Johansen and Colella （1998, J. Comput. Phys. 147, 60） has been extended for elliptic and parabolic problems with interior boundaries or interfaces of discontinuities of material properties or solutions. Second order accuracy is achieved in space and time for both stationary and moving interface problems. The method is conservative for elliptic and parabolic problems with fixed interfaces. Based on this method, a front tracking algorithm for the Stefan problem has been developed. The accuracy of the method is measured through comparison with exact solution to a two-dimensional Stefan problem. The algorithm has been used for the study of melting and solidification problems.展开更多
A new-style remote monitoring system is proposed, which is based on enterprises' embedded web servers and can be widely used in enterprises' networked manufacturing systems. The principle and characteristics o...A new-style remote monitoring system is proposed, which is based on enterprises' embedded web servers and can be widely used in enterprises' networked manufacturing systems. The principle and characteristics of remote monitoring system based on embedded web server are analyzed. Such a kind of system for networked manufacturing is designed, and it proves efficient and feasible in promoting communication among enterprises, improving designing and scheduling, decreasing facility failure and reducing product cost.展开更多
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.展开更多
This article presents an embedded Smart Phone Operating System (SPOS) independently designed by ZTE Corporation. The SPOS is based on single kernel architecture with its multi-task real-time kernel supporting hardware...This article presents an embedded Smart Phone Operating System (SPOS) independently designed by ZTE Corporation. The SPOS is based on single kernel architecture with its multi-task real-time kernel supporting hardware platforms and resources of mainstream mobile phones. It has remarkable advantages such as highly efficient and dynamic power management, priority - based preemptive scheduling, fast startup, a variety of drivers, and excellent system stability and operability. For the development of upper layer communication protocols and application software, the SPOS provides wireless communication interfaces and the application program framework.展开更多
The hard target smart fuse of penetration ammunition is developing to be smaller, lighter, smarter and multifunction. After analyzing the characteristics of high-g accelerating signals and the penetration algorithms, ...The hard target smart fuse of penetration ammunition is developing to be smaller, lighter, smarter and multifunction. After analyzing the characteristics of high-g accelerating signals and the penetration algorithms, this paper provides a solution of penetration ammunition fuse system based on embedded technology. This fuse system realizes acquisition of the high-g accelerating signals and uses the appropriate penetration algorithms to process them. The fuse system can not only make the same type of penetration ammunition to attack different kinds of objects accurately, but also meet the other requirements of the function of penetration ammunition fuse system.展开更多
High quality of security and guaranteed real-time requirements are two key goals of mission- critical embedded storage systems. But most existing real-time disk scheduling algorithms do not consider improving security...High quality of security and guaranteed real-time requirements are two key goals of mission- critical embedded storage systems. But most existing real-time disk scheduling algorithms do not consider improving security performance of disk requests. A security-aware periodic-write （SAPW） scheduling algorithm is proposed to judiciously select appropriate security level for each disk request to maximize security value of N periodic disk users, while without sacrificing timing constraint of each user. Simulation results show the significant effectiveness of SAPW algorithm, and the average security improvement is up to 223.6% over other three algorithms.展开更多
介绍了INS/DR/MM车辆组合导航系统以及系统的部件组成,对系统的软硬件结构进行了分析。结合目前各主流嵌入式平台的性能,利用Windows XP Embedded(XPE)嵌入式操作系统体积小和易扩展的优势,选用Windows XP Embedded作为车辆组合导航系...介绍了INS/DR/MM车辆组合导航系统以及系统的部件组成,对系统的软硬件结构进行了分析。结合目前各主流嵌入式平台的性能,利用Windows XP Embedded(XPE)嵌入式操作系统体积小和易扩展的优势,选用Windows XP Embedded作为车辆组合导航系统的开发平台。为了满足车辆导航实时、快速的要求,设计了基于模糊逻辑的地图匹配算法。经过多次实际跑车试验证明,该嵌入式车辆导航系统可以正确实时地将地图匹配后的位置信息显示在电子地图上。展开更多
基金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.
文摘We presented a wireless endoscope system developed on the embedded Linux platform. This wireless endoscope system consists of three parts: the endoscope capsule,the portable equipment and the image workstation,which make this system wireless and portable. Hardware design of this system and software design of the portable equipment are described. In clinical use,patients swallow the endoscope capsule for gastrointestinal inspection. The portable equipment receives images of gastrointestinal tract via the radio frequency module while it sets and reads back parameters of the capsule via the low frequency module. Acquired image data can be saved as a FAT32 format file in an universal serial bus disk. Images can be processed and reviewed at an Microsoft Windows PC workstation in the next stage. The image acquired by this wireless endoscope system is quite effective with clear details of gastrointestinal tract. However,the endoscope capsule was large,making it difficult to swallow. So the printed circuit board design of endoscope capsule needs to be improved.
文摘In order to solve the problems of mining monitor and control systems during the construction process of digital mining combined with network and embedded technologies, the kernel access equipment of a mining monitor and control system was proposed and designed. It is the architecture of a mining embedded network multifunctional substation. This paper presents the design of hardware and software of the substation in detail. Finally, the system’s ef- ficiency was validated through experimentation.
文摘The embedded data acquistition technology in vehicle electronic system was discussed. This technology adopts the parallel working mode, gets vehicle electronic system data by communication. This technology can provide us a lot of information on the electronic control unit, is very useful for the development of the vehicle electronic system, and can be used in diagnosis. The key points to this technology are the timer interrupt, A/D interrupt, communication interrupt and real time operation. This technology has been validated by the application in the electronic control mechanism transmission shifting system of the tank.
基金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(61671193)Science and Technology Program of Zhejiang Province(2018C04012,2017C33049)Science and Technology Platform Construction Project of Fujian Science and Technology Department(2015Y2001)
文摘In stroke rehabilitation,rehabilitation equipments can help with the training.But traditional equipments are not convenient to carry,which limits patients to use related rehabilitation techniques.To solve this kind of problem,a new embedded rehabilitation system based on brain computer interface(BCI)is proposed in this paper.The system is based on motor imagery(MI)therapy,in which electroencephalogram(EEG)is evoked by grasping motor imageries of left and right hands,then collected by a wearable device.The EEG is transmitted to a Raspberry Pie processing unit through Bluetooth and decoded as the instructions to control the equipment extension.Users experience the limb movement through the visual feedback so as to achieve active rehabilitation.A pilot study shows that the user can control the movement of the rehabilitation equipment through his mind,and the equipment is convenient to carry.The study provides a new way to stroke rehabilitation.
基金supported by the U.S.Department of Energy under Contract No.DE-AC02-98CH10886 and by the State of New York
文摘The embedded boundary method for solving elliptic and parabolic problems in geometrically complex domains using Cartesian meshes by Johansen and Colella （1998, J. Comput. Phys. 147, 60） has been extended for elliptic and parabolic problems with interior boundaries or interfaces of discontinuities of material properties or solutions. Second order accuracy is achieved in space and time for both stationary and moving interface problems. The method is conservative for elliptic and parabolic problems with fixed interfaces. Based on this method, a front tracking algorithm for the Stefan problem has been developed. The accuracy of the method is measured through comparison with exact solution to a two-dimensional Stefan problem. The algorithm has been used for the study of melting and solidification problems.
基金Funded by China 863 R&D Program (No:2001AA414630)
文摘A new-style remote monitoring system is proposed, which is based on enterprises' embedded web servers and can be widely used in enterprises' networked manufacturing systems. The principle and characteristics of remote monitoring system based on embedded web server are analyzed. Such a kind of system for networked manufacturing is designed, and it proves efficient and feasible in promoting communication among enterprises, improving designing and scheduling, decreasing facility failure and reducing product cost.
基金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.
文摘This article presents an embedded Smart Phone Operating System (SPOS) independently designed by ZTE Corporation. The SPOS is based on single kernel architecture with its multi-task real-time kernel supporting hardware platforms and resources of mainstream mobile phones. It has remarkable advantages such as highly efficient and dynamic power management, priority - based preemptive scheduling, fast startup, a variety of drivers, and excellent system stability and operability. For the development of upper layer communication protocols and application software, the SPOS provides wireless communication interfaces and the application program framework.
文摘The hard target smart fuse of penetration ammunition is developing to be smaller, lighter, smarter and multifunction. After analyzing the characteristics of high-g accelerating signals and the penetration algorithms, this paper provides a solution of penetration ammunition fuse system based on embedded technology. This fuse system realizes acquisition of the high-g accelerating signals and uses the appropriate penetration algorithms to process them. The fuse system can not only make the same type of penetration ammunition to attack different kinds of objects accurately, but also meet the other requirements of the function of penetration ammunition fuse system.
基金supported by the National 863 Program under Grant No.2006AA01Z173 and 2007AA01Z131
文摘High quality of security and guaranteed real-time requirements are two key goals of mission- critical embedded storage systems. But most existing real-time disk scheduling algorithms do not consider improving security performance of disk requests. A security-aware periodic-write （SAPW） scheduling algorithm is proposed to judiciously select appropriate security level for each disk request to maximize security value of N periodic disk users, while without sacrificing timing constraint of each user. Simulation results show the significant effectiveness of SAPW algorithm, and the average security improvement is up to 223.6% over other three algorithms.
文摘介绍了INS/DR/MM车辆组合导航系统以及系统的部件组成,对系统的软硬件结构进行了分析。结合目前各主流嵌入式平台的性能,利用Windows XP Embedded(XPE)嵌入式操作系统体积小和易扩展的优势,选用Windows XP Embedded作为车辆组合导航系统的开发平台。为了满足车辆导航实时、快速的要求,设计了基于模糊逻辑的地图匹配算法。经过多次实际跑车试验证明,该嵌入式车辆导航系统可以正确实时地将地图匹配后的位置信息显示在电子地图上。
