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.展开更多
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.展开更多
Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness t...Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness testing for embedded software systems. It is a system-level black-box testing approach in which the fault behaviors of embedded software is triggered with the aid of modelbased fault injection by the support of an executable model-driven hardware-in-loop （HIL） testing environment. The prototype implementation of the robustness testing environment based on the proposed approach is experimentally discussed and illustrated by industrial case studies based on several avionics-embedded software systems. The results show that our proposed and implemented robustness testing method and environment are effective to find more bugs, and reduce burdens of testing engineers to enhance efficiency of testing tasks, especially for testing complex embedded systems.展开更多
The software-based computer numerical control（CNC） system includes three types of tasks： periodic real-time tasks, aperiodic real-time tasks, and non-real-time tasks. The tasks are characterized by concurrency, hyb...The software-based computer numerical control（CNC） system includes three types of tasks： periodic real-time tasks, aperiodic real-time tasks, and non-real-time tasks. The tasks are characterized by concurrency, hybridization, and correlation, which make system implementation difficult. The conventional scheduling algorithm can not meet the demands of system implementation in the software-based CNC system completely. The uncertainty factors when running real-time tasks affect control performance by degrading manufacturing accuracy as a result of system resource and processor use restrictions. To address the technical difficulty of embedded system implementation, a novel fuzzy feedback scheduling algorithm based on output jitter of key real-time tasks for a software-based CNC system is proposed. Time characteristics, such as sampling jitter, input-output jitter, and non-schedulability are discussed, followed by quantification through simulations of the impact of time characteristics on manufacturing accuracy. On the basis of this research, the scheduler architecture is designed, and then the algorithm table is calculated. When the system resource changes, the key periodic real-time tasks meet their deadlines by means of dynamically adjusting the task period. The simulated results show that the machining precision rises by an order of magnitude for the proposed scheduler in resource-constrained software-based CNC systems. Moreover, unlike conventional feedback scheduling methods, the algorithm in this paper does not rely on the availability of task execution times and is easy to implement while incurring only a small overhead.展开更多
In order to improve the efficiency of embedded software running on processor core, this paper proposes a hard-ware/software co-optimization approach for embedded software from the system point of view. The proposed st...In order to improve the efficiency of embedded software running on processor core, this paper proposes a hard-ware/software co-optimization approach for embedded software from the system point of view. The proposed stepwise methods aim at exploiting the structure and the resources of the processor as much as possible for software algorithm optimization. To achieve low memory usage and low frequency need for the same performance, this co-optimization approach was used to optimize embedded software of MP3 decoder based on a 16-bit fixed-point DSP core. After the optimization, the results of decoding 128 kbps, 44.1 kHz stereo MP3 on DSP evaluation platform need 45.9 MIPS and 20.4 kbytes memory space. The optimization rate achieves 65.6% for memory and 49.6% for frequency respectively compared with the results by compiler using floating-point computation. The experimental result indicates the availability of the hardware/software co-optimization approach depending on the algorithm and architecture.展开更多
Domestic situation of embedded software practitioners in the industry field is analyzed in this paper,based on which the new requirements for personnel working for embedded software R&D are proposed.Then reform no...Domestic situation of embedded software practitioners in the industry field is analyzed in this paper,based on which the new requirements for personnel working for embedded software R&D are proposed.Then reform notions in higher education system upon cultivating high-class practitioners are presented.展开更多
This paper presents an embedded software platform used in the telecom field.The platform consists of the Virtual Operating System (VOS)layer,core layer, protection layer and module layer.It supports and simplifies upp...This paper presents an embedded software platform used in the telecom field.The platform consists of the Virtual Operating System (VOS)layer,core layer, protection layer and module layer.It supports and simplifies upper application software of telecom systems.In addition to basic modules and functions, its instance scheduling model and distributed process communication are detailed in the paper.展开更多
In order to solve the problem that the embedded software has the shortcoming of the platform dependence, this paper presents an embedded software analysis method based on the static structure model. Before control flo...In order to solve the problem that the embedded software has the shortcoming of the platform dependence, this paper presents an embedded software analysis method based on the static structure model. Before control flow and data flow analysis, a lexical analysis/syntax analysis method with simplified grammar and sentence depth is designed to analyze the embedded software. The experiments use the open source code of smart meters as a case, and the artificial faults as the test objects, repeating 30 times. Compared with the popular static analyzing tools PC-Lint and Splint, the method can accurately orient 91% faults, which is between PC-Lint＇s 95% and Splint＇s 85%. The result indicates that the correct rate of our method is acceptable. Meanwhile, by removing the platform-dependent operation with simplified syntax analysis, our method is independent of development environment. It also shows that the method is applicable to the compiled C（including embedded software） program.展开更多
In recent years, mobile devices have become widespread and refined, and they have offered increased convenience in human life. For these reasons, a variety of embedded systems have been designed. Therefore, improving ...In recent years, mobile devices have become widespread and refined, and they have offered increased convenience in human life. For these reasons, a variety of embedded systems have been designed. Therefore, improving methods for developing of embedded software systematically has become an important issue. Platform-based design is one example of an embedded-system design method that can reduce the design cost via improving a design’s abstraction level. However, platform-based design lacks precise definitions for platforms and design processes. This paper provides an approach that combines the aspects and platform-based design methods for developing embedded software. The approach is built on platform-based design methodology and uses the separating of concerns (SoC) concept to define the aspects and to reduce the crosscutting concerns in embedded system modeling. For aspect issues, we use the extended UML notation with aspects to describe both the static structure and the dynamic structure of the embedded system. We used an example of a digital photo frame system to demonstrate our approach.展开更多
This paper deals with a new hardware/software embedded system design methodology based on design pattern approach by development of a new design tool called smartcell. Three main constraints of embedded systems design...This paper deals with a new hardware/software embedded system design methodology based on design pattern approach by development of a new design tool called smartcell. Three main constraints of embedded systems design process are investigated: the complexity, the partitioning between hardware and software aspects and the reusability. Two intermediate models are carried out in order to solve the complexity problem. The partitioning problem deals with the proposed hardware/software partitioning algorithm based on Ant Colony Optimisation. The reusability problem is resolved by synthesis of intellectual property blocks. Specification and integration of an intelligent controller on heterogeneous platform are considered to illustrate the proposed approach.展开更多
Engineering practice is the key bridge between college education and actual work in the industry.In order to deliver qualified talents with engineering quality to the industry,this paper explores integrating software ...Engineering practice is the key bridge between college education and actual work in the industry.In order to deliver qualified talents with engineering quality to the industry,this paper explores integrating software engineering thinking into the Embedded System Design course.A practical and effective teaching mode is designed consisting of immersive learning,case-based learning,progressive practice,interactive learning,and autonomous learning.Through this teaching mode,multi-levels of closed-loop have been established including final project cycle closed-loop,testing cycle closed-loop,and product cycle closed-loop.During this process,students gradually transition to putting forward product requirements,carrying out design and development,thinking and solving problems,collaborating,and assuring quality from the perspective of software engineering.The practice results show that students’engineering quality has been significantly improved.展开更多
In recent years,satellite networks have been proposed as an essential part of next-generation mobile communication systems.Software defined networking techniques are introduced in satellite networks to handle the grow...In recent years,satellite networks have been proposed as an essential part of next-generation mobile communication systems.Software defined networking techniques are introduced in satellite networks to handle the growing challenges induced by time-varying topology,intermittent inter-satellite link and dramatically increased satellite constellation size.This survey covers the latest progress of software defined satellite networks,including key techniques,existing solutions,challenges,opportunities,and simulation tools.To the best of our knowledge,this paper is the most comprehensive survey that covers the latest progress of software defined satellite networks.An open GitHub repository is further created where the latest papers on this topic will be tracked and updated periodically.Compared with these existing surveys,this survey contributes from three aspects:(1)an up-to-date SDN-oriented review for the latest progress of key techniques and solutions in software defined satellite networks;(2)an inspiring summary of existing challenges,new research opportunities and publicly available simulation tools for follow-up studies;(3)an effort of building a public repository to track new results.展开更多
Tailoring of an operating system and an in embedded real-time operating system in particular is es-sential for both, kernel and operation. But many of current embedded real-time operating systems provide somebasic tai...Tailoring of an operating system and an in embedded real-time operating system in particular is es-sential for both, kernel and operation. But many of current embedded real-time operating systems provide somebasic tailoring at the cost of depleting the flexibility of hardware, which causes the lack of flexibility, and de-grades their tailors. A layered modular tailoring model has been proposed together with some tailoring operationsto improve the flexibility of the systems, and algorithms have been proposed for verification of tailoring opera-tions with the current operating system.展开更多
Digital networked communications are the key to all Internet-of-things applications, but especially to smart metering systems and the smart grid. In order to ensure a safe operation of systems and the privacy of users...Digital networked communications are the key to all Internet-of-things applications, but especially to smart metering systems and the smart grid. In order to ensure a safe operation of systems and the privacy of users, the transport layer security （TLS） protocol, a mature and well standardized solution for secure communications, may be used. We implemented the TLS protocol in its latest version in a way suitable for embedded and resource-constrained systems. This paper outlines the challenges and opportunities of deploying TLS in smart metering and smart grid applications and presents performance results of our TLS implementation. Our analysis shows that given an appropriate implementation and configuration, deploying TLS in constrained smart metering systems is possible with acceptable overhead.展开更多
A wide variety of ways to analyze the end-to-end latency emerges due to the feature of component-based software.The researchers began to see that the latency is more sensitive to the data and control flows than the so...A wide variety of ways to analyze the end-to-end latency emerges due to the feature of component-based software.The researchers began to see that the latency is more sensitive to the data and control flows than the software architecture.However,for an embedded software,the latency depends upon the hardware heavily.To illuminate the feature clearly,we extend the atomic model of component-based software first.A way to specify the flows involved is further developed to identify the end-to-end latency.What is more,a novel methodology that bridges the gap between a constraint on latency and an execution platform is proposed for the embedded software.By constructing a hierarchical architecture,it is available to consider the methodology as a decision problem where the satisfiability module theory(SMT)can be applied.Experimental results demonstrate how the latency analysis conducts with the proposed model and methodology for the complex software architecture.展开更多
With the recent advances in mobile technology and wireless network technology, embedded systems are being widely used in modem society today. Particularly, a home healthcare system is a networked embedded system where...With the recent advances in mobile technology and wireless network technology, embedded systems are being widely used in modem society today. Particularly, a home healthcare system is a networked embedded system where the main functions are to control the disease processes and to help patients maintain their independence and maximum level of function within their own homes and communities. It seems to be self-evident to design a system that would support both patients and their healthcare providers in the process of treatment. Nevertheless, little work in integrating embedded devices with intemet for the support of patients have been done to date. In this paper, we show how to design a healthcare system for supporting the management of the conditions of patients with chronic diseases. This system is built around wireless networked embedded devices, and integrates the intemet technology for telemonitoring the patient＇s health and notifying of doctors if emergency action is required. Also, patients themselves may specify personal alerts for condition-related issues.展开更多
随着软件开发技术的迅速发展,软件功能点的命名实体识别成为软件开发的基础问题。然而,软件开发中的命名实体识别面临着结构复杂、上下文依赖强等问题,显著影响了实体识别的准确性和效率。针对以上问题,本研究设计了一种基于命名实体识...随着软件开发技术的迅速发展,软件功能点的命名实体识别成为软件开发的基础问题。然而,软件开发中的命名实体识别面临着结构复杂、上下文依赖强等问题,显著影响了实体识别的准确性和效率。针对以上问题,本研究设计了一种基于命名实体识别技术的软件功能实体识别(Software Function Entity Recognition,SFER)模型。该模型在W2NER模型的基础上进行了优化与创新,通过引入对抗训练和旋转位置编码模块,极大地增强其在软件工程领域的应用能力,使之能够更加精准地识别和解析软件功能点。结合所构建的功能需求数据集对SFER模型进行训练和验证,确保其能够精确地识别和分类同一领域中新需求的软件功能点类型。实验结果表明,与现有的模型相比,SFER模型的功能点识别精确率和F1值显著提高。展开更多
基金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.
文摘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 Aeronautics Science Foundation of China(No.2011ZD51055)Science and Technology on Reliability&Environmental Engineering Laboratory(No.302367)the National Pre-Research Foundation of China(No.51319080201)
文摘Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness testing for embedded software systems. It is a system-level black-box testing approach in which the fault behaviors of embedded software is triggered with the aid of modelbased fault injection by the support of an executable model-driven hardware-in-loop （HIL） testing environment. The prototype implementation of the robustness testing environment based on the proposed approach is experimentally discussed and illustrated by industrial case studies based on several avionics-embedded software systems. The results show that our proposed and implemented robustness testing method and environment are effective to find more bugs, and reduce burdens of testing engineers to enhance efficiency of testing tasks, especially for testing complex embedded systems.
基金supported by National Natural Science Foundation of China(Grant No.50875090,Grant No.50905063)National Hi-tech Research and Development Program of China(863 Program,Grant No.2009AA4Z111)China Postdoctoral Science Foundation (Grant No.20090460769)
文摘The software-based computer numerical control（CNC） system includes three types of tasks： periodic real-time tasks, aperiodic real-time tasks, and non-real-time tasks. The tasks are characterized by concurrency, hybridization, and correlation, which make system implementation difficult. The conventional scheduling algorithm can not meet the demands of system implementation in the software-based CNC system completely. The uncertainty factors when running real-time tasks affect control performance by degrading manufacturing accuracy as a result of system resource and processor use restrictions. To address the technical difficulty of embedded system implementation, a novel fuzzy feedback scheduling algorithm based on output jitter of key real-time tasks for a software-based CNC system is proposed. Time characteristics, such as sampling jitter, input-output jitter, and non-schedulability are discussed, followed by quantification through simulations of the impact of time characteristics on manufacturing accuracy. On the basis of this research, the scheduler architecture is designed, and then the algorithm table is calculated. When the system resource changes, the key periodic real-time tasks meet their deadlines by means of dynamically adjusting the task period. The simulated results show that the machining precision rises by an order of magnitude for the proposed scheduler in resource-constrained software-based CNC systems. Moreover, unlike conventional feedback scheduling methods, the algorithm in this paper does not rely on the availability of task execution times and is easy to implement while incurring only a small overhead.
基金Project supported by the Key-Tech Program of Zhejiang Province,China (No. 021101559), and the Fok Ying Tong Education Founda-tion (No. 94031), China
文摘In order to improve the efficiency of embedded software running on processor core, this paper proposes a hard-ware/software co-optimization approach for embedded software from the system point of view. The proposed stepwise methods aim at exploiting the structure and the resources of the processor as much as possible for software algorithm optimization. To achieve low memory usage and low frequency need for the same performance, this co-optimization approach was used to optimize embedded software of MP3 decoder based on a 16-bit fixed-point DSP core. After the optimization, the results of decoding 128 kbps, 44.1 kHz stereo MP3 on DSP evaluation platform need 45.9 MIPS and 20.4 kbytes memory space. The optimization rate achieves 65.6% for memory and 49.6% for frequency respectively compared with the results by compiler using floating-point computation. The experimental result indicates the availability of the hardware/software co-optimization approach depending on the algorithm and architecture.
文摘Domestic situation of embedded software practitioners in the industry field is analyzed in this paper,based on which the new requirements for personnel working for embedded software R&D are proposed.Then reform notions in higher education system upon cultivating high-class practitioners are presented.
文摘This paper presents an embedded software platform used in the telecom field.The platform consists of the Virtual Operating System (VOS)layer,core layer, protection layer and module layer.It supports and simplifies upper application software of telecom systems.In addition to basic modules and functions, its instance scheduling model and distributed process communication are detailed in the paper.
基金Supported by the National Natural Science Foundation of China(61303214)the Science and Technology Project of China State Grid Corp(KJ15-1-32)
文摘In order to solve the problem that the embedded software has the shortcoming of the platform dependence, this paper presents an embedded software analysis method based on the static structure model. Before control flow and data flow analysis, a lexical analysis/syntax analysis method with simplified grammar and sentence depth is designed to analyze the embedded software. The experiments use the open source code of smart meters as a case, and the artificial faults as the test objects, repeating 30 times. Compared with the popular static analyzing tools PC-Lint and Splint, the method can accurately orient 91% faults, which is between PC-Lint＇s 95% and Splint＇s 85%. The result indicates that the correct rate of our method is acceptable. Meanwhile, by removing the platform-dependent operation with simplified syntax analysis, our method is independent of development environment. It also shows that the method is applicable to the compiled C（including embedded software） program.
文摘In recent years, mobile devices have become widespread and refined, and they have offered increased convenience in human life. For these reasons, a variety of embedded systems have been designed. Therefore, improving methods for developing of embedded software systematically has become an important issue. Platform-based design is one example of an embedded-system design method that can reduce the design cost via improving a design’s abstraction level. However, platform-based design lacks precise definitions for platforms and design processes. This paper provides an approach that combines the aspects and platform-based design methods for developing embedded software. The approach is built on platform-based design methodology and uses the separating of concerns (SoC) concept to define the aspects and to reduce the crosscutting concerns in embedded system modeling. For aspect issues, we use the extended UML notation with aspects to describe both the static structure and the dynamic structure of the embedded system. We used an example of a digital photo frame system to demonstrate our approach.
文摘This paper deals with a new hardware/software embedded system design methodology based on design pattern approach by development of a new design tool called smartcell. Three main constraints of embedded systems design process are investigated: the complexity, the partitioning between hardware and software aspects and the reusability. Two intermediate models are carried out in order to solve the complexity problem. The partitioning problem deals with the proposed hardware/software partitioning algorithm based on Ant Colony Optimisation. The reusability problem is resolved by synthesis of intellectual property blocks. Specification and integration of an intelligent controller on heterogeneous platform are considered to illustrate the proposed approach.
文摘Engineering practice is the key bridge between college education and actual work in the industry.In order to deliver qualified talents with engineering quality to the industry,this paper explores integrating software engineering thinking into the Embedded System Design course.A practical and effective teaching mode is designed consisting of immersive learning,case-based learning,progressive practice,interactive learning,and autonomous learning.Through this teaching mode,multi-levels of closed-loop have been established including final project cycle closed-loop,testing cycle closed-loop,and product cycle closed-loop.During this process,students gradually transition to putting forward product requirements,carrying out design and development,thinking and solving problems,collaborating,and assuring quality from the perspective of software engineering.The practice results show that students’engineering quality has been significantly improved.
基金This work is supported by the Fundamental Research Funds for the Central Universities.
文摘In recent years,satellite networks have been proposed as an essential part of next-generation mobile communication systems.Software defined networking techniques are introduced in satellite networks to handle the growing challenges induced by time-varying topology,intermittent inter-satellite link and dramatically increased satellite constellation size.This survey covers the latest progress of software defined satellite networks,including key techniques,existing solutions,challenges,opportunities,and simulation tools.To the best of our knowledge,this paper is the most comprehensive survey that covers the latest progress of software defined satellite networks.An open GitHub repository is further created where the latest papers on this topic will be tracked and updated periodically.Compared with these existing surveys,this survey contributes from three aspects:(1)an up-to-date SDN-oriented review for the latest progress of key techniques and solutions in software defined satellite networks;(2)an inspiring summary of existing challenges,new research opportunities and publicly available simulation tools for follow-up studies;(3)an effort of building a public repository to track new results.
基金Sponsored by the Research Projection of the Tenth Five-year of National Defence Department( Grant No. 417010402)
文摘Tailoring of an operating system and an in embedded real-time operating system in particular is es-sential for both, kernel and operation. But many of current embedded real-time operating systems provide somebasic tailoring at the cost of depleting the flexibility of hardware, which causes the lack of flexibility, and de-grades their tailors. A layered modular tailoring model has been proposed together with some tailoring operationsto improve the flexibility of the systems, and algorithms have been proposed for verification of tailoring opera-tions with the current operating system.
基金supported in part by the Federal Ministry of Economics and Energy as a cooperative ZIM-KF project under Grant No.KF2471305ED2the good cooperation with the project partner SSV Software Systems GmbH
文摘Digital networked communications are the key to all Internet-of-things applications, but especially to smart metering systems and the smart grid. In order to ensure a safe operation of systems and the privacy of users, the transport layer security （TLS） protocol, a mature and well standardized solution for secure communications, may be used. We implemented the TLS protocol in its latest version in a way suitable for embedded and resource-constrained systems. This paper outlines the challenges and opportunities of deploying TLS in smart metering and smart grid applications and presents performance results of our TLS implementation. Our analysis shows that given an appropriate implementation and configuration, deploying TLS in constrained smart metering systems is possible with acceptable overhead.
基金supported by the National Natural Science Foundation of China,under Grants No.60736017(Designing and Verifying on High Reliable Component-based Embedded System Development Environment),No.61303041(Approach to constructing context-aware software for VANET based on failure mode)the 2013 Scientific Research Foundation for the Returned Overseas Chinese Scholars in Shaanxi Province of China.
文摘A wide variety of ways to analyze the end-to-end latency emerges due to the feature of component-based software.The researchers began to see that the latency is more sensitive to the data and control flows than the software architecture.However,for an embedded software,the latency depends upon the hardware heavily.To illuminate the feature clearly,we extend the atomic model of component-based software first.A way to specify the flows involved is further developed to identify the end-to-end latency.What is more,a novel methodology that bridges the gap between a constraint on latency and an execution platform is proposed for the embedded software.By constructing a hierarchical architecture,it is available to consider the methodology as a decision problem where the satisfiability module theory(SMT)can be applied.Experimental results demonstrate how the latency analysis conducts with the proposed model and methodology for the complex software architecture.
文摘With the recent advances in mobile technology and wireless network technology, embedded systems are being widely used in modem society today. Particularly, a home healthcare system is a networked embedded system where the main functions are to control the disease processes and to help patients maintain their independence and maximum level of function within their own homes and communities. It seems to be self-evident to design a system that would support both patients and their healthcare providers in the process of treatment. Nevertheless, little work in integrating embedded devices with intemet for the support of patients have been done to date. In this paper, we show how to design a healthcare system for supporting the management of the conditions of patients with chronic diseases. This system is built around wireless networked embedded devices, and integrates the intemet technology for telemonitoring the patient＇s health and notifying of doctors if emergency action is required. Also, patients themselves may specify personal alerts for condition-related issues.
文摘随着软件开发技术的迅速发展,软件功能点的命名实体识别成为软件开发的基础问题。然而,软件开发中的命名实体识别面临着结构复杂、上下文依赖强等问题,显著影响了实体识别的准确性和效率。针对以上问题,本研究设计了一种基于命名实体识别技术的软件功能实体识别(Software Function Entity Recognition,SFER)模型。该模型在W2NER模型的基础上进行了优化与创新,通过引入对抗训练和旋转位置编码模块,极大地增强其在软件工程领域的应用能力,使之能够更加精准地识别和解析软件功能点。结合所构建的功能需求数据集对SFER模型进行训练和验证,确保其能够精确地识别和分类同一领域中新需求的软件功能点类型。实验结果表明,与现有的模型相比,SFER模型的功能点识别精确率和F1值显著提高。
