期刊文献+
共找到106篇文章
< 1 2 6 >
每页显示 20 50 100
Real-Time Monitoring of Meteorological Data at In-Situ GCW Remediation Sites
1
作者 Qinghai Wu Xiaofeng Yang +2 位作者 Jun Liu Ruiqi Wang Quanyou Fu 《Journal of Geoscience and Environment Protection》 2024年第9期152-166,共15页
To optimize the self-organization network, self-adaptation, real-time monitoring, remote management capability, and equipment reuse level of the meteorological station supporting the portable groundwater circulation w... To optimize the self-organization network, self-adaptation, real-time monitoring, remote management capability, and equipment reuse level of the meteorological station supporting the portable groundwater circulation wells, and to provide real-time and effective technical services and environmental data support for groundwater remediation, a real-time monitoring system design of the meteorological station supporting the portable groundwater circulation wells based on the existing equipment is proposed. A variety of environmental element information is collected and transmitted to the embedded web server by the intelligent weather transmitter, and then processed by the algorithm and stored internally, displayed locally, and published on the web. The system monitoring algorithm and user interface are designed in the CNWSCADA development environment to realize real-time processing and analysis of environmental data and monitoring, control, management, and maintenance of the system status. The PLC-controlled photovoltaic power generating panels and lithium battery packs are in line with the concept of energy saving and emission reduction, and at the same time, as an emergency power supply to guarantee the safety of equipment and data when the utility power fails to meet the requirements. The experiment proves that the system has the characteristics of remote control, real-time interaction, simple station deployment, reliable operation, convenient maintenance, and green environment protection, which is conducive to improving the comprehensive utilization efficiency of various types of environmental information and providing reliable data support, theoretical basis and guidance suggestions for the research of groundwater remediation technology and its disciplines, and the research and development of the movable groundwater cycling well monitoring system. 展开更多
关键词 Groundwater Circulation Well Weather Station real-time Monitoring embedded Web Server
下载PDF
On modeling approach for embedded real-time software simulation testing 被引量:6
2
作者 Yin Yongfeng Liu Bin Zhong Deming Jiang Tongmin 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2009年第2期420-426,共7页
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 emb... 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. 展开更多
关键词 embedded real-time software software testing testing modeling SIMULATION
下载PDF
Real-time embedded software testing method based on extended finite state machine 被引量:6
3
作者 Yongfeng Yin Bin Liu Hongying Ni 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2012年第2期276-285,共10页
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. 展开更多
关键词 real-time system real-time embedded software for- mal method extended finite state machine (EFSM) testing se- quence test case.
下载PDF
A State-of-the-Art Survey on Real-Time Issues in Embedded Systems Virtualization 被引量:1
4
作者 Zonghua Gu Qingling Zhao 《Journal of Software Engineering and Applications》 2012年第4期277-290,共14页
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. 展开更多
关键词 VIRTUALIZATION embedded Systems real-time SCHEDULING
下载PDF
A Requirements Engineering Environment for Embedded Real-Time Software—SREE
5
作者 LI Yonghua SHU Fengdi +1 位作者 WU Guoqing LIANG Zhengping 《Wuhan University Journal of Natural Sciences》 CAS 2006年第3期533-538,共6页
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. 展开更多
关键词 embedded real-time system requirements specification requirements verification simulation execution
下载PDF
A Smart Phone-oriented Embedded Real-time Operating System
6
作者 Wang Jigang1, Gu Guochang2, Xu Lifeng1 ( 1 . Chengdu Institute, Central Academy of ZTE Corporation, Chengdu 610041, China 2. Computer Science and Technology Institute of Harbin Engineering University, Harbin 150001, China) 《ZTE Communications》 2005年第4期6-10,共5页
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. 展开更多
关键词 PHONE SPOS TIME A Smart Phone-oriented embedded real-time Operating System
下载PDF
Energy-Efficient Deterministic Fault-Tolerant Scheduling for Embedded Real-Time Systems
7
作者 李国徽 胡方晓 +1 位作者 杜小坤 唐向红 《Journal of Southwest Jiaotong University(English Edition)》 2009年第4期283-291,共9页
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. 展开更多
关键词 embedded real-time systems Aperiodic tasks Fault tolerance Power management Task scheduling and voltageallocation
下载PDF
An algorithm supporting fast scheduling and viewing of remote sensing images in embedded devices
8
作者 李玲 王庆 +1 位作者 张小国 王慧青 《Journal of Southeast University(English Edition)》 EI CAS 2011年第3期270-274,共5页
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. 展开更多
关键词 interaction as because it can provide real-time well as more efficient user embedded devices PYRAMID levels of detail image rendering
下载PDF
面向DTV中间件的QT/Embedded图形库的改造与实现
9
作者 杜艳丽 谷建华 +1 位作者 倪红波 夏贻勇 《计算机工程与设计》 CSCD 北大核心 2008年第16期4118-4120,共3页
数字电视(DTV)系统需要为用户提供良好的图形用户交互界面。在DTV平台中,如果采用QT/Embedded作为底层图形库,则需要帧缓冲(FrameBuffer)设备处理相关的底层命令。针对DTV目标平台不支持FrameBuffer的问题,对Qt/Embedded的底层图像抽象... 数字电视(DTV)系统需要为用户提供良好的图形用户交互界面。在DTV平台中,如果采用QT/Embedded作为底层图形库,则需要帧缓冲(FrameBuffer)设备处理相关的底层命令。针对DTV目标平台不支持FrameBuffer的问题,对Qt/Embedded的底层图像抽象层进行了深入地分析,提出了Qt/Embedded的改造方案,将Qt/Embedded图形库成功地移植到目标平台上,对嵌入式图形库的移植有很好的借鉴价值。 展开更多
关键词 数字电视 嵌入式中间件 QT嵌入式图形库 帧缓冲 QT图形引擎
下载PDF
A Concept of Dynamically Reconfigurable Real-time Vision System for Autonomous Mobile Robotics 被引量:3
10
作者 Aymeric De Cabrol Thibault Garcia +1 位作者 Patrick Bonnin Maryline Chetto 《International Journal of Automation and computing》 EI 2008年第2期174-184,共11页
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. 展开更多
关键词 real-time vision dynamic reconfiguration embedded systems ROBUSTNESS real-time operating system
下载PDF
Research and Development of an Embedded Numerical Control System 被引量:1
11
作者 ZHANG Jinhuan School of Information Engineering,Wuhan University of Technology,Wuhan 430070,China, 《武汉理工大学学报》 CAS CSCD 北大核心 2006年第S3期1121-1124,共4页
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. 展开更多
关键词 real-time operating SYSTEM embedded technology NUMERICAL control SYSTEM ARM DSP
下载PDF
Analysis and Comparison of Five Kinds of Typical Device-Level Embedded Operating Systems 被引量:1
12
作者 Jialiang WANG Hai ZHAO +2 位作者 Peng LI Hui LI Bo LI 《Journal of Software Engineering and Applications》 2010年第1期81-90,共10页
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. 展开更多
关键词 embedded SYSTEM Operating SYSTEM Core real-time Ability I/O Delay and JITTER PERVASIVE Computing and Internet of THINGS
下载PDF
High Efficiency and Light Mobile Electronic Business System Based on Mobile Agent Middleware 被引量:1
13
作者 张云勇 刘锦德 《Journal of Electronic Science and Technology of China》 2004年第1期43-46,共4页
Mobile Network technology has been being the research focus during the 1990’s. The middleware technology is imported for the sake of running distributed transaction smoothly. In this paper, a mobile agent based middl... Mobile Network technology has been being the research focus during the 1990’s. The middleware technology is imported for the sake of running distributed transaction smoothly. In this paper, a mobile agent based middleware high efficiency mobile electronic business oriented middleware (HEMEBOM) is designed and implemented based on the requirement and background of collaborative electronic business. Its architecture, elements and excellent properties are mainly focused. Then high efficiency mobile electronic business system μMcommerce is built using HEMEBOM. 展开更多
关键词 B2B electronic business middleware mobile agent real-time information push lightweight mobile commerce
下载PDF
UML statechart based rigorous modeling of real-time system
14
作者 赖明志 尤晋元 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 2005年第1期74-80,共7页
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. 展开更多
关键词 embedded real-time system UML statechart PVS timed automata model checking
下载PDF
Partitioned k-Exclusion Real-Time Locking Protocol Motivated by Multicore Multi-GPU Systems
15
作者 Mao-Lin Yang Hang Lei +1 位作者 Yong Liao Ze-Wei Chen 《Journal of Electronic Science and Technology》 CAS CSCD 2016年第3期193-198,共6页
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. 展开更多
关键词 embedded systems graphic processing units(GPUs) heterogeneous systems locking protocols MULTICORE real-time systems
下载PDF
Rigorous Modeling of Real-time System Based on UML and PVS
16
作者 赖明志 尤晋元 《Journal of Donghua University(English Edition)》 EI CAS 2005年第1期16-21,共6页
Rigorous modeling could improve the correctness and reduce cost in embedded real-time system development for models could be verified. Tools are needed for rigorous modeling of embedded real-time system. UML is an ind... Rigorous modeling could improve the correctness and reduce cost in embedded real-time system development for models could be verified. Tools are needed for rigorous modeling of embedded real-time system. UML is an industrial standard modeling language which provides a powerful expressi-veness, intuitive and easy to use interface to model. UML is widely accepted by software developer. However, for lack of precisely defined semantics, especially on the dynamic diagrams, UML model is hard to be verified. PVS is a general formal method which provides a high-order logic specification language and integrated with model checking and theorem proving tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time system. In this approach, we provide 1) a timed extended UML statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from 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 flexible and friendly in modeling, extendable in forma-lization and verification content, and better performance. Time constraints are modeled and verified and it’s a highlight of this paper. 展开更多
关键词 embedded real-time System UML Statechart PVS Timed Automata Model Checking.
下载PDF
Monitor System for Protection Device Based on Embedded RTOS
17
作者 Yang WANG Xianggen YIN Zhe ZHANG 《Journal of Electromagnetic Analysis and Applications》 2009年第4期245-248,共4页
For the purpose of the monitor system in digital protection, the embedded real-time operating system (RTOS) and the embedded GUI (Graphical User Interface) is introduced to design the monitor system. Combining the nec... For the purpose of the monitor system in digital protection, the embedded real-time operating system (RTOS) and the embedded GUI (Graphical User Interface) is introduced to design the monitor system. Combining the necessity and the application value of the operation system, the choice of embedded Linux and Qt/Embedded is completely viable for the monitor system in digital protection for generator-transformer sets. The design with embedded Linux and embedded GUI enriches system information, increases developing efficiency and improve the generality. 展开更多
关键词 real-time Operating SYSTEM embedded LINUX PROTECTION MONITOR SYSTEM
下载PDF
A Decision Support Framework for the Choice of Languages and Methods for the Design of Real Time Embedded Systems
18
作者 Valéry M. Monthe Laurent Nana +1 位作者 Georges E. Kouamou Claude Tangha 《Journal of Software Engineering and Applications》 2016年第7期353-397,共45页
The choice of methods or design languages is a crucial phase in the development of systems and software, also for real time and embedded systems. An open question that remains in the design of these types of systems i... The choice of methods or design languages is a crucial phase in the development of systems and software, also for real time and embedded systems. An open question that remains in the design of these types of systems is to build a method, or to choose one among those existing, capable to cover the life cycle of a project, and particularly the development phases. This article contributes to answer the question, by proposing an approach based on a multi-criteria comparative study, of few languages and methods dedicated to the design of real time and embedded systems. The underlying objective of this work is to present to designers a wide range of approaches, and elements that can guide their choices. In order to reach this goal, we propose different comparison criteria. Each criterion is divided into sub-criteria, so that the designers can refine their choices according to the qualities they prefer and wish to have in the method or language. We also define a rating scale which is used to assess the retained languages and methods. The scores obtained from this assessment are presented in tables, one table per criterion, followed by a summary table giving the overall scores. Graphics built from these tables are provided and intend to facilitate the judgement and thus the choice of the designers. 展开更多
关键词 Design Method Modelling Language real-time System embedded System Comparison Criteria
下载PDF
Security-Aware Periodic-Write Scheduling for Mission-Critical Embedded Storage System
19
作者 Wei Jiang Guang-Ze Xiong Zheng-Wei Chang Xu-Yang Ding Nan Sang 《Journal of Electronic Science and Technology of China》 2009年第2期119-124,共6页
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. 展开更多
关键词 Index Terms-Disk scheduling embedded storagesystem real-time security-aware.
下载PDF
基于LCM的分布式嵌入式消息通信中间件设计
20
作者 刘刚 《工业控制计算机》 2024年第8期13-15,18,共4页
为了满足工业控制计算机在野外作业装备的分布式嵌入式系统任务迁移需求,设计了一种网络通信中间件方案。基于LCM的发布订阅模式框架以及中心节点的消息通信中间件,从而强化了LCMLite的多线程处理能力和消息通信中间件功能。该中间件能... 为了满足工业控制计算机在野外作业装备的分布式嵌入式系统任务迁移需求,设计了一种网络通信中间件方案。基于LCM的发布订阅模式框架以及中心节点的消息通信中间件,从而强化了LCMLite的多线程处理能力和消息通信中间件功能。该中间件能够促进任务迁移过程中各参与方之间的互动流程,并解决应用任务迁移后的网络通信续接和消息丢失问题。据测试结果,对于需要处理大量消息流量的场景,该网络通信中间件在消息传输方面的时间消耗非常少。 展开更多
关键词 分布式嵌入式系统 任务迁移 LCM 发布订阅 消息通信中间件
下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部