Modeling technology has been introduced into software testing field.However,how to carry through the testing modeling effectively is still a difficulty.Based on combination of simulation modeling technology and embedd...Modeling technology has been introduced into software testing field.However,how to carry through the testing modeling effectively is still a difficulty.Based on combination of simulation modeling technology and embedded real-time software testing method,the process of simulation testing modeling is studied first.And then,the supporting environment of simulation testing modeling is put forward.Furthermore,an approach of embedded real-time software simulation testing modeling including modeling of cross-linked equipments of system under testing(SUT),test case,testing scheduling,and testing system service is brought forward.Finally,the formalized description and execution system of testing models are given,with which we can realize real-time,closed loop,mad automated system testing for embedded real-time software.展开更多
The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliab...The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine （RT-EFSM） model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class （timeCTEC） are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.展开更多
Energy consumption has become a key metric for evaluating how good an embedded system is,alongside more performance metrics like respecting operation deadlines and speed of execution.Schedulability improvement is no l...Energy consumption has become a key metric for evaluating how good an embedded system is,alongside more performance metrics like respecting operation deadlines and speed of execution.Schedulability improvement is no longer the only metric by which optimality is judged.In fact,energy efficiency is becoming a preferred choice with a fundamental objective to optimize the system's lifetime.In this work,we propose an optimal energy efficient scheduling algorithm for aperiodic real-time jobs to reduce CPU energy consumption.Specifically,we apply the concept of real-time process scheduling to a dynamic voltage and frequency scaling(DVFS)technique.We address a variant of earliest deadline first(EDF)scheduling algorithm called energy saving-dynamic voltage and frequency scaling(ES-DVFS)algorithm that is suited to unpredictable future energy production and irregular job arrivals.We prove that ES-DVFS cannot attain a total value greater than C/ˆSα,whereˆS is the minimum speed of any job and C is the available energy capacity.We also investigate the implications of having in advance,information about the largest job size and the minimum speed used for the competitive factor of ES-DVFS.We show that such advance knowledge makes possible the design of semi-on-line algorithm,ES-DVFS∗∗,that achieved a constant competitive factor of 0.5 which is proved as an optimal competitive factor.The experimental study demonstrates that substantial energy savings and highest percentage of feasible job sets can be obtained through our solution that combines EDF and DVFS optimally under the given aperiodic jobs and energy models.展开更多
Virtualization has gained great acceptance in the server and cloud computing arena. In recent years, it has also been widely applied to real-time embedded systems with stringent timing constraints. We present a compre...Virtualization has gained great acceptance in the server and cloud computing arena. In recent years, it has also been widely applied to real-time embedded systems with stringent timing constraints. We present a comprehensive survey on real-time issues in virtualization for embedded systems, covering popular virtualization systems including KVM, Xen, L4 and others.展开更多
The paper presents the embedded real-time software-oriented requirements engineering environment—SREZ. It involves the whole process of software requirements engineering, including the definition, analysis and checki...The paper presents the embedded real-time software-oriented requirements engineering environment—SREZ. It involves the whole process of software requirements engineering, including the definition, analysis and checking of requirements ,specifications. We first explain the principles of the executable specification language RTRSM. Subsequently, we introduce the main functions of SREE, illustrate the methods and techniques of checking requirements specifications, especially how to perform simulation execution, combining prototyping method with RTRSM and animated representations. At last, we compare the SREE with other requirements specifications methods and make a summary for SREE＇s advantages.展开更多
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 pl...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.展开更多
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.展开更多
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.展开更多
Complex event processing (CEP) can extract meaningful events for real-time locating system (RTLS) applications. To identify complex event accurately in RTLS, we propose a new RFID complex event processing method GEEP,...Complex event processing (CEP) can extract meaningful events for real-time locating system (RTLS) applications. To identify complex event accurately in RTLS, we propose a new RFID complex event processing method GEEP, which is based on the timed automata (TA) theory. By devising RFID locating application into complex events, we model the timing diagram of RFID data streams based on the TA. We optimize the constraint of the event streams and propose a novel method to derive the constraint between objects, as well as the constraint between object and location. Experiments prove the proposed method reduces the cost of RFID complex event processing, and improves the efficiency of the RTLS.展开更多
Recent advancements in autonomous vehicle technologies are transforming intelligent transportation systems.Artificial intelligence enables real-time sensing,decision-making,and control on embedded platforms with impro...Recent advancements in autonomous vehicle technologies are transforming intelligent transportation systems.Artificial intelligence enables real-time sensing,decision-making,and control on embedded platforms with improved efficiency.This study presents the design and implementation of an autonomous radio-controlled(RC)vehicle prototype capable of lane line detection,obstacle avoidance,and navigation through dynamic path planning.The system integrates image processing and ultrasonic sensing,utilizing Raspberry Pi for vision-based tasks and ArduinoNano for real-time control.Lane line detection is achieved through conventional image processing techniques,providing the basis for local path generation,while traffic sign classification employs a You Only Look Once(YOLO)model optimized with TensorFlow Lite to support navigation decisions.Images captured by the onboard camera are processed on the Raspberry Pi to extract lane geometry and calculate steering angles,enabling the vehicle to follow the planned path.In addition,ultrasonic sensors placed in three directions at the front of the vehicle detect obstacles and allow real-time path adjustment for safe navigation.Experimental results demonstrate stable performance under controlled conditions,highlighting the system’s potential for scalable autonomous driving applications.This work confirms that deep learning methods can be efficiently deployed on low-power embedded systems,offering a practical framework for navigation,path planning,and intelligent transportation research.展开更多
Failures are very common during the online real-time monitoring of large quantities of complex liquids in industrial processes, and can result in excessive resource consumption and pollution. In this study, we introdu...Failures are very common during the online real-time monitoring of large quantities of complex liquids in industrial processes, and can result in excessive resource consumption and pollution. In this study, we introduce a monitoring method capable of non-contact original-state online real-time monitoring for strongly coated, high-salinity, and multi-component liquids. The principle of the method is to establish the relationship among the concentration of the target substance in the liquid （C）, the color space coor- dinates of the target substance at different concentrations （L＊, a＊, b＊）, and the maximum absorption wave- length （λmax）; subsequently, the optimum wavelength λT of the liquid is determined by a high-precision scanning-type monitoring system that is used to detect the instantaneous concentration of the target substance in the flowing liquid. Unlike traditional monitoring methods and existing online monitoring methods, the proposed method does not require any pretreatment of the samples （i.e., filtration, dilution, oxidation/reduction, addition of chromogenic agent, constant volume, etc.）, and it is capable of original- state online real-time monitoring. This method is employed at a large electrolytic manganese plant to monitor the Fe3. concentration in the colloidal process of the plant＇s aging liquid （where the concentra- tions of Fe3＋, Mn2＋, and （NH4）2SO4 are 0.5-18 mg.L 1, 35-39 g.L 1, and 90-110 g.L 1, respectively）. The relative error of this monitoring method compared with an off-line laboratory monitoring is less than 2%.展开更多
In order to resolve the conflict between the limited resources of embedded devices and the growing amount of massive image data to be shown, a solution for fast images rendering in embedded devices is proposed and imp...In order to resolve the conflict between the limited resources of embedded devices and the growing amount of massive image data to be shown, a solution for fast images rendering in embedded devices is proposed and implemented. First, an improved algorithm of a multi-resolution file-pyramid construction which is used for the organization of massive image data is presented. Then, a strategy, adopting technologies such as view-dependent levels of detail, target-tiles quick search and tiles seamless connection, is presented for fast scheduling and viewing of images. The results show that compared with the solution of multi-scale image representations based on wavelet, the proposed solution can improve the rendering speed, and the rendering speed does not depend on the image size, though it increases some data storage space. And the proposed solution is suitable for embedded devices and friendly experience.展开更多
With the flourishing development of Unmanned Aerial Vehicles(UAVs), the mission tasks of UAVs have become more and more complex. Consequently, a Real-Time Operating System(RTOS) that provides operating environments fo...With the flourishing development of Unmanned Aerial Vehicles(UAVs), the mission tasks of UAVs have become more and more complex. Consequently, a Real-Time Operating System(RTOS) that provides operating environments for various mission services on these UAVs has become crucial, which leads to the necessity of having a deep understanding of an RTOS. In this paper, an empirical study is conducted on FreeRTOS, a commonly used RTOS for UAVs, from a complex network perspective. A total of 85 releases of FreeRTOS, from V2.4.2 to V10.0.0, are modeled as directed networks, in which the nodes represent functions and the edges denote function calls. It is found that the size of the FreeRTOS network has grown almost linearly with the evolution of the versions, while its main core has evolved steadily. In addition, a k-core analysis-based metric is proposed to identify major functionality changes of FreeRTOS during its evolution.The result shows that the identified versions are consistent with the version change logs. Finally,it is found that the clustering coefficient of the Linux OS scheduler is larger than that of the FreeRTOS scheduler. In conclusion, the empirical results provide useful guidance for developers and users of UAV RTOSs.展开更多
This paper describes specific constraints of vision systems that are dedicated to be embedded in mobile robots. If PC-based hardware architecture is convenient in this field because of its versatility, flexibility, pe...This paper describes specific constraints of vision systems that are dedicated to be embedded in mobile robots. If PC-based hardware architecture is convenient in this field because of its versatility, flexibility, performance, and cost, current real-time operating systems are not completely adapted to long processing with varying duration, and it is often necessary to oversize the system to guarantee fail-safe functioning. Also, interactions with other robotic tasks having more priority are difficult to handle. To answer this problem, we have developed a dynamically reconfigurable vision processing system, based on the innovative features of Cleopatre real-time applicative layer concerning scheduling and fault tolerance. This framework allows to define emergency and optional tasks to ensure a minimal quality of service for the other subsystems of the robot, while allowing to adapt dynamically vision processing chain to an exceptional overlasting vision process or processor overload. Thus, it allows a better cohabitation of several subsystems in a single hardware, and to develop less expensive but safe systems, as they will be designed for the regular case and not rare exceptional ones. Finally, it brings a new way to think and develop vision systems, with pairs of complementary operators.展开更多
This paper puts forward a new scheme of Embedded Numerical Control System based on ARM and DSP,which is at the base of research on traditional numerical control system and embedded technology.And the paper also descri...This paper puts forward a new scheme of Embedded Numerical Control System based on ARM and DSP,which is at the base of research on traditional numerical control system and embedded technology.And the paper also describes the develop-ment of hardware and software platform.All the development and realization are based on the idea of module design.The embed-ded numerical control system,using ARM and DSP to construct the main control platform,realizes the real-time operation of sys-tem and improves the stability and reliability with the modular designing ideas of hardware and software and with the support of embedded real-time operating system(uc/os-Ⅱ).And the system could realize the multi-network supporting,which is also accord with the development of modularization,flexibility and latticing of numerical control system.展开更多
Today, the number of embedded system was applied in the field of automation and control has far exceeded a variety of general-purpose computer. Embedded system is gradually penetrated into all fields of human society,...Today, the number of embedded system was applied in the field of automation and control has far exceeded a variety of general-purpose computer. Embedded system is gradually penetrated into all fields of human society, and ubiquitous embedded applications constitute the 'ubiquitous' computing era. Embedded operating system is the core of the em-bedded system, and it directly affects the performance of the whole system. Our Liaoning Provincial Key Laboratory of Embedded Technology has successfully developed five kinds of device-level embedded operating systems by more than ten years’ efforts, and these systems are Webit 5.0, Worix, μKernel, iDCX 128 and μc/os-II 128. This paper mainly analyses and compares the implementation mechanism and performance of these five kinds of device-level embedded operating systems in detail.展开更多
Rigorous modeling could ensure correctness and could verify a reduced cost in embedded real-time system development for models. Software methods are needed for rigorous modeling of embedded real-time systems. PVS is a...Rigorous modeling could ensure correctness and could verify a reduced cost in embedded real-time system development for models. Software methods are needed for rigorous modeling of embedded real-time systems. PVS is a formal method with precise syntax and semantics defined. System modeled by PVS specification could be verified by tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time systems. In this approach, we provide 1) a time-extended UML statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from a timed statechart; and 3) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexibility and user friendliness in modeling, extendability in formalization and verification content, and better performance. Time constraints are modeled and verified and is a highlight of this paper.展开更多
The growth of environmental energy harvesting has been explosive in wireless computing systems especially when replacing or recharging batteries manually is impracticable.This work investigates the scheduling of perio...The growth of environmental energy harvesting has been explosive in wireless computing systems especially when replacing or recharging batteries manually is impracticable.This work investigates the scheduling of periodic weekly hard real-time tasks under energy constraints.Based on this motivation,we proposed a real-time scheduling algorithm,namely energy guarantee dynamic voltage and frequency scaling(EG-DVFS),that utilizes the earliest deadline-harvesting(ED-H)scheduling algorithm combined with dynamic voltage and frequency scaling.This one is qualified as real-time since tasks must satisfy their timing constraints.We assume that the preemptable tasks receive dynamic priorities according to the earliest deadline first(EDF)rule.EG-DVFS adjusts the processor's behavior by characterizing the properties of the energy source module,capacity of the stored energy as well as the harvested energy in a future duration.Specifically,tasks are executed at full processor speed if the amount of energy in the battery is enough to finish its execution.Otherwise,the processor slows down task execution to the lowest possible processor speed while still guaranteeing to meet all the timing constraints.EG-DVFS mainly depends on the on-line computation of the slack time and the slack energy with dynamic voltage and frequency selection in order to achieve an improved system performance.Experimental results show that EG-DVFS can achieve capacity savings up of up to 33%when compared to ED-H.展开更多
Finding crucial vertices is a key problem for improving the reliability and ensuring the effective operation of networks,solved by approaches based on multiple attribute decision that suffer from ignoring the correlat...Finding crucial vertices is a key problem for improving the reliability and ensuring the effective operation of networks,solved by approaches based on multiple attribute decision that suffer from ignoring the correlation among each attribute or the heterogeneity between attribute and structure. To overcome these problems, a novel vertex centrality approach, called VCJG, is proposed based on joint nonnegative matrix factorization and graph embedding. The potential attributes with linearly independent and the structure information are captured automatically in light of nonnegative matrix factorization for factorizing the weighted adjacent matrix and the structure matrix, which is generated by graph embedding. And the smoothness strategy is applied to eliminate the heterogeneity between attributes and structure by joint nonnegative matrix factorization. Then VCJG integrates the above steps to formulate an overall objective function, and obtain the ultimately potential attributes fused the structure information of network through optimizing the objective function. Finally, the attributes are combined with neighborhood rules to evaluate vertex's importance. Through comparative analyses with experiments on nine real-world networks, we demonstrate that the proposed approach outperforms nine state-of-the-art algorithms for identification of vital vertices with respect to correlation, monotonicity and accuracy of top-10 vertices ranking.展开更多
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.展开更多
文摘Modeling technology has been introduced into software testing field.However,how to carry through the testing modeling effectively is still a difficulty.Based on combination of simulation modeling technology and embedded real-time software testing method,the process of simulation testing modeling is studied first.And then,the supporting environment of simulation testing modeling is put forward.Furthermore,an approach of embedded real-time software simulation testing modeling including modeling of cross-linked equipments of system under testing(SUT),test case,testing scheduling,and testing system service is brought forward.Finally,the formalized description and execution system of testing models are given,with which we can realize real-time,closed loop,mad automated system testing for embedded real-time software.
基金supported by the Aviation Science Foundation of China
文摘The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine （RT-EFSM） model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class （timeCTEC） are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.
文摘Energy consumption has become a key metric for evaluating how good an embedded system is,alongside more performance metrics like respecting operation deadlines and speed of execution.Schedulability improvement is no longer the only metric by which optimality is judged.In fact,energy efficiency is becoming a preferred choice with a fundamental objective to optimize the system's lifetime.In this work,we propose an optimal energy efficient scheduling algorithm for aperiodic real-time jobs to reduce CPU energy consumption.Specifically,we apply the concept of real-time process scheduling to a dynamic voltage and frequency scaling(DVFS)technique.We address a variant of earliest deadline first(EDF)scheduling algorithm called energy saving-dynamic voltage and frequency scaling(ES-DVFS)algorithm that is suited to unpredictable future energy production and irregular job arrivals.We prove that ES-DVFS cannot attain a total value greater than C/ˆSα,whereˆS is the minimum speed of any job and C is the available energy capacity.We also investigate the implications of having in advance,information about the largest job size and the minimum speed used for the competitive factor of ES-DVFS.We show that such advance knowledge makes possible the design of semi-on-line algorithm,ES-DVFS∗∗,that achieved a constant competitive factor of 0.5 which is proved as an optimal competitive factor.The experimental study demonstrates that substantial energy savings and highest percentage of feasible job sets can be obtained through our solution that combines EDF and DVFS optimally under the given aperiodic jobs and energy models.
文摘Virtualization has gained great acceptance in the server and cloud computing arena. In recent years, it has also been widely applied to real-time embedded systems with stringent timing constraints. We present a comprehensive survey on real-time issues in virtualization for embedded systems, covering popular virtualization systems including KVM, Xen, L4 and others.
基金Supported by the National Natural Science Foun-dation of China(69873035) the K.C. Wong Education Foundation,Hong Kong,China
文摘The paper presents the embedded real-time software-oriented requirements engineering environment—SREZ. It involves the whole process of software requirements engineering, including the definition, analysis and checking of requirements ,specifications. We first explain the principles of the executable specification language RTRSM. Subsequently, we introduce the main functions of SREE, illustrate the methods and techniques of checking requirements specifications, especially how to perform simulation execution, combining prototyping method with RTRSM and animated representations. At last, we compare the SREE with other requirements specifications methods and make a summary for SREE＇s advantages.
文摘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 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.
基金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.
文摘Complex event processing (CEP) can extract meaningful events for real-time locating system (RTLS) applications. To identify complex event accurately in RTLS, we propose a new RFID complex event processing method GEEP, which is based on the timed automata (TA) theory. By devising RFID locating application into complex events, we model the timing diagram of RFID data streams based on the TA. We optimize the constraint of the event streams and propose a novel method to derive the constraint between objects, as well as the constraint between object and location. Experiments prove the proposed method reduces the cost of RFID complex event processing, and improves the efficiency of the RTLS.
文摘Recent advancements in autonomous vehicle technologies are transforming intelligent transportation systems.Artificial intelligence enables real-time sensing,decision-making,and control on embedded platforms with improved efficiency.This study presents the design and implementation of an autonomous radio-controlled(RC)vehicle prototype capable of lane line detection,obstacle avoidance,and navigation through dynamic path planning.The system integrates image processing and ultrasonic sensing,utilizing Raspberry Pi for vision-based tasks and ArduinoNano for real-time control.Lane line detection is achieved through conventional image processing techniques,providing the basis for local path generation,while traffic sign classification employs a You Only Look Once(YOLO)model optimized with TensorFlow Lite to support navigation decisions.Images captured by the onboard camera are processed on the Raspberry Pi to extract lane geometry and calculate steering angles,enabling the vehicle to follow the planned path.In addition,ultrasonic sensors placed in three directions at the front of the vehicle detect obstacles and allow real-time path adjustment for safe navigation.Experimental results demonstrate stable performance under controlled conditions,highlighting the system’s potential for scalable autonomous driving applications.This work confirms that deep learning methods can be efficiently deployed on low-power embedded systems,offering a practical framework for navigation,path planning,and intelligent transportation research.
文摘Failures are very common during the online real-time monitoring of large quantities of complex liquids in industrial processes, and can result in excessive resource consumption and pollution. In this study, we introduce a monitoring method capable of non-contact original-state online real-time monitoring for strongly coated, high-salinity, and multi-component liquids. The principle of the method is to establish the relationship among the concentration of the target substance in the liquid （C）, the color space coor- dinates of the target substance at different concentrations （L＊, a＊, b＊）, and the maximum absorption wave- length （λmax）; subsequently, the optimum wavelength λT of the liquid is determined by a high-precision scanning-type monitoring system that is used to detect the instantaneous concentration of the target substance in the flowing liquid. Unlike traditional monitoring methods and existing online monitoring methods, the proposed method does not require any pretreatment of the samples （i.e., filtration, dilution, oxidation/reduction, addition of chromogenic agent, constant volume, etc.）, and it is capable of original- state online real-time monitoring. This method is employed at a large electrolytic manganese plant to monitor the Fe3. concentration in the colloidal process of the plant＇s aging liquid （where the concentra- tions of Fe3＋, Mn2＋, and （NH4）2SO4 are 0.5-18 mg.L 1, 35-39 g.L 1, and 90-110 g.L 1, respectively）. The relative error of this monitoring method compared with an off-line laboratory monitoring is less than 2%.
基金The National Public Benefit Research Foundation of China (No. 201111013-02)
文摘In order to resolve the conflict between the limited resources of embedded devices and the growing amount of massive image data to be shown, a solution for fast images rendering in embedded devices is proposed and implemented. First, an improved algorithm of a multi-resolution file-pyramid construction which is used for the organization of massive image data is presented. Then, a strategy, adopting technologies such as view-dependent levels of detail, target-tiles quick search and tiles seamless connection, is presented for fast scheduling and viewing of images. The results show that compared with the solution of multi-scale image representations based on wavelet, the proposed solution can improve the rendering speed, and the rendering speed does not depend on the image size, though it increases some data storage space. And the proposed solution is suitable for embedded devices and friendly experience.
基金supported by the National Natural Science Foundation of China (No. 61772055)Equipment Preliminary R&D Project of China (No. 41402020102)
文摘With the flourishing development of Unmanned Aerial Vehicles(UAVs), the mission tasks of UAVs have become more and more complex. Consequently, a Real-Time Operating System(RTOS) that provides operating environments for various mission services on these UAVs has become crucial, which leads to the necessity of having a deep understanding of an RTOS. In this paper, an empirical study is conducted on FreeRTOS, a commonly used RTOS for UAVs, from a complex network perspective. A total of 85 releases of FreeRTOS, from V2.4.2 to V10.0.0, are modeled as directed networks, in which the nodes represent functions and the edges denote function calls. It is found that the size of the FreeRTOS network has grown almost linearly with the evolution of the versions, while its main core has evolved steadily. In addition, a k-core analysis-based metric is proposed to identify major functionality changes of FreeRTOS during its evolution.The result shows that the identified versions are consistent with the version change logs. Finally,it is found that the clustering coefficient of the Linux OS scheduler is larger than that of the FreeRTOS scheduler. In conclusion, the empirical results provide useful guidance for developers and users of UAV RTOSs.
基金This work was supported by the French research office(No.01 K 0742)under the Cléopatre project.
文摘This paper describes specific constraints of vision systems that are dedicated to be embedded in mobile robots. If PC-based hardware architecture is convenient in this field because of its versatility, flexibility, performance, and cost, current real-time operating systems are not completely adapted to long processing with varying duration, and it is often necessary to oversize the system to guarantee fail-safe functioning. Also, interactions with other robotic tasks having more priority are difficult to handle. To answer this problem, we have developed a dynamically reconfigurable vision processing system, based on the innovative features of Cleopatre real-time applicative layer concerning scheduling and fault tolerance. This framework allows to define emergency and optional tasks to ensure a minimal quality of service for the other subsystems of the robot, while allowing to adapt dynamically vision processing chain to an exceptional overlasting vision process or processor overload. Thus, it allows a better cohabitation of several subsystems in a single hardware, and to develop less expensive but safe systems, as they will be designed for the regular case and not rare exceptional ones. Finally, it brings a new way to think and develop vision systems, with pairs of complementary operators.
文摘This paper puts forward a new scheme of Embedded Numerical Control System based on ARM and DSP,which is at the base of research on traditional numerical control system and embedded technology.And the paper also describes the develop-ment of hardware and software platform.All the development and realization are based on the idea of module design.The embed-ded numerical control system,using ARM and DSP to construct the main control platform,realizes the real-time operation of sys-tem and improves the stability and reliability with the modular designing ideas of hardware and software and with the support of embedded real-time operating system(uc/os-Ⅱ).And the system could realize the multi-network supporting,which is also accord with the development of modularization,flexibility and latticing of numerical control system.
文摘Today, the number of embedded system was applied in the field of automation and control has far exceeded a variety of general-purpose computer. Embedded system is gradually penetrated into all fields of human society, and ubiquitous embedded applications constitute the 'ubiquitous' computing era. Embedded operating system is the core of the em-bedded system, and it directly affects the performance of the whole system. Our Liaoning Provincial Key Laboratory of Embedded Technology has successfully developed five kinds of device-level embedded operating systems by more than ten years’ efforts, and these systems are Webit 5.0, Worix, μKernel, iDCX 128 and μc/os-II 128. This paper mainly analyses and compares the implementation mechanism and performance of these five kinds of device-level embedded operating systems in detail.
文摘Rigorous modeling could ensure correctness and could verify a reduced cost in embedded real-time system development for models. Software methods are needed for rigorous modeling of embedded real-time systems. PVS is a formal method with precise syntax and semantics defined. System modeled by PVS specification could be verified by tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time systems. In this approach, we provide 1) a time-extended UML statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from a timed statechart; and 3) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexibility and user friendliness in modeling, extendability in formalization and verification content, and better performance. Time constraints are modeled and verified and is a highlight of this paper.
文摘The growth of environmental energy harvesting has been explosive in wireless computing systems especially when replacing or recharging batteries manually is impracticable.This work investigates the scheduling of periodic weekly hard real-time tasks under energy constraints.Based on this motivation,we proposed a real-time scheduling algorithm,namely energy guarantee dynamic voltage and frequency scaling(EG-DVFS),that utilizes the earliest deadline-harvesting(ED-H)scheduling algorithm combined with dynamic voltage and frequency scaling.This one is qualified as real-time since tasks must satisfy their timing constraints.We assume that the preemptable tasks receive dynamic priorities according to the earliest deadline first(EDF)rule.EG-DVFS adjusts the processor's behavior by characterizing the properties of the energy source module,capacity of the stored energy as well as the harvested energy in a future duration.Specifically,tasks are executed at full processor speed if the amount of energy in the battery is enough to finish its execution.Otherwise,the processor slows down task execution to the lowest possible processor speed while still guaranteeing to meet all the timing constraints.EG-DVFS mainly depends on the on-line computation of the slack time and the slack energy with dynamic voltage and frequency selection in order to achieve an improved system performance.Experimental results show that EG-DVFS can achieve capacity savings up of up to 33%when compared to ED-H.
基金Project supported by the National Natural Science Foundation of China (Grant Nos.62162040 and 11861045)。
文摘Finding crucial vertices is a key problem for improving the reliability and ensuring the effective operation of networks,solved by approaches based on multiple attribute decision that suffer from ignoring the correlation among each attribute or the heterogeneity between attribute and structure. To overcome these problems, a novel vertex centrality approach, called VCJG, is proposed based on joint nonnegative matrix factorization and graph embedding. The potential attributes with linearly independent and the structure information are captured automatically in light of nonnegative matrix factorization for factorizing the weighted adjacent matrix and the structure matrix, which is generated by graph embedding. And the smoothness strategy is applied to eliminate the heterogeneity between attributes and structure by joint nonnegative matrix factorization. Then VCJG integrates the above steps to formulate an overall objective function, and obtain the ultimately potential attributes fused the structure information of network through optimizing the objective function. Finally, the attributes are combined with neighborhood rules to evaluate vertex's importance. Through comparative analyses with experiments on nine real-world networks, we demonstrate that the proposed approach outperforms nine state-of-the-art algorithms for identification of vital vertices with respect to correlation, monotonicity and accuracy of top-10 vertices ranking.
基金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.
