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.展开更多
The real-time software system for production process supervision is a inte-gral system,including on-line function subsystem for supervision and off-line auxiliarysubsystem for development and diagnosis.This paper intr...The real-time software system for production process supervision is a inte-gral system,including on-line function subsystem for supervision and off-line auxiliarysubsystem for development and diagnosis.This paper introduces a real-time software sys-tem which has been used in a power station for monitoring a large capacity thermal gener-ating unit.The subsystems,environment,performance and development of the system areexplained,and the common problems about real-time software system are described.展开更多
Software product lines have recently been presented as one of the best promis-ing improvements for the efficient software development. Different research works contribute supportive parameters and negotiations regardi...Software product lines have recently been presented as one of the best promis-ing improvements for the efficient software development. Different research works contribute supportive parameters and negotiations regarding the prob-lems of producing a perfect software scheme. Traditional approaches or recy-cling software are not effective to solve the problems concerning software competence. Since fast developments with software engineering in the past few years, studies show that some approaches are getting extensive attention in both industries and universities. This method is categorized as the software product line improvement;that supports reusing of software in big organizations. Different industries are adopting product lines to enhance efficiency and reduce operational expenses by way of emerging product developments. This research paper is formed to offer in-depth study regarding the software engineering issues such as complexity, conformity, changeability, invisibility, time constraints, budget constraints, and security. We have conducted various research surveys by visiting different professional software development organizations and took feedback from the professional software engineers to analyze the real-time problems that they are facing during the development process of software systems. Survey results proved that complexity is a most occurring issue that most software developers face while developing software applications. Moreover, invisibility is the problem that rarely happens according to the survey.展开更多
In the textile industry,garment manufacturing contains four major pro-cesses containing cutting,sewing,finishing,and packaging.Sewing is the most crucial and intricate section,dealing with a large number of varied oper...In the textile industry,garment manufacturing contains four major pro-cesses containing cutting,sewing,finishing,and packaging.Sewing is the most crucial and intricate section,dealing with a large number of varied operations.A successful sewing process needs to be optimized regarding different factors,including time,sewing equipment,and skilled workers.Assembly lineflow is combined by a set of operations with a particular sequence.The utmost impor-tance of all garment industry is to arrange the workstations to minimize the num-ber of employees in order to produce at the best productive rate with the most reasonable cost,shortest time,and satisfying quality.In most garment factories,the production lines are balanced using the empirical judgment of the line man-agers.For the whole process the data of production time at each step,labor pro-ductivity,proper choices of equipment were always needed to calculate line efficiency.As far as the issue is concerned,there has not been an academically sewing process analyzing software providing adequate data of sewing motions and sewing time as the credible input for the line balancing tasks.Towards this goal,this paper presents the results of research on optimizing academically self-built software to analyze the sewing process of knitted products applied to industrial production using Java programming language on Google tools.The results achieved by the software are not only to analyze sewing products and the technological sewing process,calculate the sewing time on the machine but also analyze the sewing activities of workers into manipulations,movements,and motions to calculate the preparation time for two typical knitted products,namely,Polo-Shirt and T-Shirt with the case studies at General Textile Garment Joint Stock Company Hanoi and Star Fashion Company Limited.展开更多
Reflective real-time component model is a special component model, which can identify timing constraint characteristics of component and support dynamic design-time amendment of real-time component according to users...Reflective real-time component model is a special component model, which can identify timing constraint characteristics of component and support dynamic design-time amendment of real-time component according to users＇ requirements. The reflective real-time component runtime environment is a bearing space and reflective infrastructure for this special component model. It consists of three parts and manages the lifecycle and various relevant services of reflective real-time component. In this paper its mechanism and relevant key techniques in design and realization are formally specified with the communicating sequential processing （CSP） and the extended timed communicating sequential processing （TCSP）. Finally a prototype is established. Experimental study shows that this runtime environment can introduce a relevant reflective infrastructure guaranteeing dynamic and real-time features of software component.展开更多
Computer numerical control(CNC)system is the base of modern digital and intelligent manufacturing technolo-gy.And opened its architecture and constituted based on PC and Windows operating system(OS)is the main trend o...Computer numerical control(CNC)system is the base of modern digital and intelligent manufacturing technolo-gy.And opened its architecture and constituted based on PC and Windows operating system(OS)is the main trend of CNC sys-tem.However,even if the highest system priority is used in user mode,real-time capability of Windows(2000,NT,XP)for applications is not guaranteed.By using a device driver,which is running in kernel mode,the real time performance of Windows can be enhanced greatly.The acknowledgment performance of Windows to peripheral interrupts was evaluated.Harmonized with an intelligent real-time serial communication bus(RTSB),strict real-time performance can be achieved in Windows platform.An opened architecture software CNC system which is hardware independence is proposed based on PC and RTSB.A numerical control real time kernel(NCRTK),which is implemented as a device driver on Windows,is used to perform the NC tasks.Tasks are divided into real-time and non real-time.Real-time task is running in kernel mode and non real-time task is running in user mode.Data are exchanged between kernel and user mode by DMA and Windows Messages.展开更多
In the real-time scheduling theory,schedulability and synchronization analyses are used to evaluate scheduling algorithms and real-time locking protocols,respectively,and the empirical synthesis experiment is one of t...In the real-time scheduling theory,schedulability and synchronization analyses are used to evaluate scheduling algorithms and real-time locking protocols,respectively,and the empirical synthesis experiment is one of the major methods to compare the performance of such analyses.However,since many sophisticated techniques have been adopted to improve the analytical accuracy,the implementation of such analyses and experiments is often time-consuming.This paper proposes a schedulability experiment toolkit for multiprocessor real-time systems(SET-MRTS),which provides a framework with infrastructures to implement the schedulability and synchronization analyses and the deployment of empirical synthesis experiments.Besides,with well-designed peripheral components for the input and output,experiments can be conducted easily and flexibly on SET-MRTS.This demonstration further proves the effectiveness of SET-MRTS in both functionality and availability.展开更多
Fast neutron flux measurements with high count rates and high time resolution have important applications in equipment such as tokamaks.In this study,real-time neutron and gamma discrimination was implemented on a sel...Fast neutron flux measurements with high count rates and high time resolution have important applications in equipment such as tokamaks.In this study,real-time neutron and gamma discrimination was implemented on a self-developed 500-Msps,12-bit digitizer,and the neutron and gamma spectra were calculated directly on an FPGA.A fast neutron flux measurement system with BC-501A and EJ-309 liquid scintillator detectors was developed and a fast neutron measurement experiment was successfully performed on the HL-2 M tokamak at the Southwestern Institute of Physics,China.The experimental results demonstrated that the system obtained the neutron and gamma spectra with a time accuracy of 1 ms.At count rates of up to 1 Mcps,the figure of merit was greater than 1.05 for energies between 50 keV and 2.8 MeV.展开更多
The real-time control over the observed parameters is known to be necessary during the experiments with biological objects. The use of approaches, such as real-time operating systems, often requires significant materi...The real-time control over the observed parameters is known to be necessary during the experiments with biological objects. The use of approaches, such as real-time operating systems, often requires significant material or human resources (operating time, the special administration and programming skills and etc.). In this paper we propose an alternative approach for the implementation of real-time mode in the experiments on muscle preparations (papillary muscles, trabeculae, walls of vessels) based on an external input-output cards with built-in analog-to-digital/digital-to-analog converters and signal processor. As a result, we developed a hardware-software complex for studying the mechanical properties of biological materials (muscles) in real-time mode. This solution has a convenient and easy-to-use user interface, and requires a minimum of computing resources and minimal cost of electricity.展开更多
Software tools are developed for computer realization of syntactic, semantic, and morphological models of natural language texts, using rule based programming. The tools are efficient for a language, which has free or...Software tools are developed for computer realization of syntactic, semantic, and morphological models of natural language texts, using rule based programming. The tools are efficient for a language, which has free order of words and developed morphological structure like Georgian. For instance, a Georgian verb has several thousand verb-forms. It is very difficult to express rules of morphological analysis by finite automaton and it will be inefficient as well. Resolution of some problems of full morphological analysis of Georgian words is impossible by finite automaton. Splitting of some Georgian verb-forms into morphemes requires non-deterministic search algorithm, which needs many backtrackings. To minimize backtrackings, it is necessary to put constraints, which exist among morphemes and verify them as soon as possible to avoid false directions of search. Software tool for syntactic analysis has means to reduce rules, which have the same members in different order. The authors used the tool for semantic analysis as well. Thus, proposed software tools have many means to construct efficient parser, test and correct it. The authors realized morphological and syntactic analysis of Georgian texts by these tools. In the presented paper, the authors describe the software tools and its application for Georgian language.展开更多
The increasing demand for mobile simulation tools has opened new possibilities in engineering applications,particularly in composite material modelling.This paper introduces original engineering software developed to ...The increasing demand for mobile simulation tools has opened new possibilities in engineering applications,particularly in composite material modelling.This paper introduces original engineering software developed to simulate composite materials on smartphones.The research explores the capabilities of mobile devices to perform simulations that are traditionally confined to desktop systems.Key challenges,such as computational limitations and the optimization of software architecture,now with integrated quantitative performance metrics such as computation time,accuracy,and memory efficiency,are addressed through the use of finite element analysis(FEA)and other advanced numerical methods.The software utilizes HTML-based coding for cross-platform accessibility,allowing engineers and researchers to conduct simulations anytime,anywhere.Strategies like parallel processing,cloud-assisted computation,and algorithmic optimization were implemented to enhance performance.The software’s real-time feedback and adaptive modelling provide accurate simulations of composite materials such as fiber-reinforced polymers.Furthermore,this paper reviews existing mobile-based simulation tools,highlighting their strengths and areas for improvement,while proposing novel solutions to increase efficiency,accuracy,and usability.The findings demonstrate that mobile devices,with optimized software,can successfully handle complex simulations,democratizing access to advanced engineering tools.展开更多
利用Aspen Plus软件对二甲醚(DME)合成装置的工艺流程建立了模拟模型,对该流程进行了物料与热量衡算,并利用Aspen Energy Analyzer软件对DME合成装置的换热网络进行了分析与优化。结果表明:DME合成装置可以得到质量分数为99.95%的DME产...利用Aspen Plus软件对二甲醚(DME)合成装置的工艺流程建立了模拟模型,对该流程进行了物料与热量衡算,并利用Aspen Energy Analyzer软件对DME合成装置的换热网络进行了分析与优化。结果表明:DME合成装置可以得到质量分数为99.95%的DME产品,且该装置的物料与热量均守衡,验证了该工艺的可行性;优化后的DME合成装置工艺流程可节省热物流或冷物流能量10572.3 kW。展开更多
文摘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.
文摘The real-time software system for production process supervision is a inte-gral system,including on-line function subsystem for supervision and off-line auxiliarysubsystem for development and diagnosis.This paper introduces a real-time software sys-tem which has been used in a power station for monitoring a large capacity thermal gener-ating unit.The subsystems,environment,performance and development of the system areexplained,and the common problems about real-time software system are described.
文摘Software product lines have recently been presented as one of the best promis-ing improvements for the efficient software development. Different research works contribute supportive parameters and negotiations regarding the prob-lems of producing a perfect software scheme. Traditional approaches or recy-cling software are not effective to solve the problems concerning software competence. Since fast developments with software engineering in the past few years, studies show that some approaches are getting extensive attention in both industries and universities. This method is categorized as the software product line improvement;that supports reusing of software in big organizations. Different industries are adopting product lines to enhance efficiency and reduce operational expenses by way of emerging product developments. This research paper is formed to offer in-depth study regarding the software engineering issues such as complexity, conformity, changeability, invisibility, time constraints, budget constraints, and security. We have conducted various research surveys by visiting different professional software development organizations and took feedback from the professional software engineers to analyze the real-time problems that they are facing during the development process of software systems. Survey results proved that complexity is a most occurring issue that most software developers face while developing software applications. Moreover, invisibility is the problem that rarely happens according to the survey.
基金This study was carried out within the framework of the topic Science and Technology 01C–02/04–2019–3.
文摘In the textile industry,garment manufacturing contains four major pro-cesses containing cutting,sewing,finishing,and packaging.Sewing is the most crucial and intricate section,dealing with a large number of varied operations.A successful sewing process needs to be optimized regarding different factors,including time,sewing equipment,and skilled workers.Assembly lineflow is combined by a set of operations with a particular sequence.The utmost impor-tance of all garment industry is to arrange the workstations to minimize the num-ber of employees in order to produce at the best productive rate with the most reasonable cost,shortest time,and satisfying quality.In most garment factories,the production lines are balanced using the empirical judgment of the line man-agers.For the whole process the data of production time at each step,labor pro-ductivity,proper choices of equipment were always needed to calculate line efficiency.As far as the issue is concerned,there has not been an academically sewing process analyzing software providing adequate data of sewing motions and sewing time as the credible input for the line balancing tasks.Towards this goal,this paper presents the results of research on optimizing academically self-built software to analyze the sewing process of knitted products applied to industrial production using Java programming language on Google tools.The results achieved by the software are not only to analyze sewing products and the technological sewing process,calculate the sewing time on the machine but also analyze the sewing activities of workers into manipulations,movements,and motions to calculate the preparation time for two typical knitted products,namely,Polo-Shirt and T-Shirt with the case studies at General Textile Garment Joint Stock Company Hanoi and Star Fashion Company Limited.
基金the National Defence Foundation of China(Grant No.10104010201)
文摘Reflective real-time component model is a special component model, which can identify timing constraint characteristics of component and support dynamic design-time amendment of real-time component according to users＇ requirements. The reflective real-time component runtime environment is a bearing space and reflective infrastructure for this special component model. It consists of three parts and manages the lifecycle and various relevant services of reflective real-time component. In this paper its mechanism and relevant key techniques in design and realization are formally specified with the communicating sequential processing （CSP） and the extended timed communicating sequential processing （TCSP）. Finally a prototype is established. Experimental study shows that this runtime environment can introduce a relevant reflective infrastructure guaranteeing dynamic and real-time features of software component.
基金Supported by the National Natural Science Foundation of China(No.50445004).
文摘Computer numerical control(CNC)system is the base of modern digital and intelligent manufacturing technolo-gy.And opened its architecture and constituted based on PC and Windows operating system(OS)is the main trend of CNC sys-tem.However,even if the highest system priority is used in user mode,real-time capability of Windows(2000,NT,XP)for applications is not guaranteed.By using a device driver,which is running in kernel mode,the real time performance of Windows can be enhanced greatly.The acknowledgment performance of Windows to peripheral interrupts was evaluated.Harmonized with an intelligent real-time serial communication bus(RTSB),strict real-time performance can be achieved in Windows platform.An opened architecture software CNC system which is hardware independence is proposed based on PC and RTSB.A numerical control real time kernel(NCRTK),which is implemented as a device driver on Windows,is used to perform the NC tasks.Tasks are divided into real-time and non real-time.Real-time task is running in kernel mode and non real-time task is running in user mode.Data are exchanged between kernel and user mode by DMA and Windows Messages.
基金supported by the National Natural Science Foundation of China under Grant No.61802052the Fundamental Research Funds for the Central Universities under Grant No.A030202063008085the China Postdoctoral Science Foundation Funded Project under Grant No.2017M612947。
文摘In the real-time scheduling theory,schedulability and synchronization analyses are used to evaluate scheduling algorithms and real-time locking protocols,respectively,and the empirical synthesis experiment is one of the major methods to compare the performance of such analyses.However,since many sophisticated techniques have been adopted to improve the analytical accuracy,the implementation of such analyses and experiments is often time-consuming.This paper proposes a schedulability experiment toolkit for multiprocessor real-time systems(SET-MRTS),which provides a framework with infrastructures to implement the schedulability and synchronization analyses and the deployment of empirical synthesis experiments.Besides,with well-designed peripheral components for the input and output,experiments can be conducted easily and flexibly on SET-MRTS.This demonstration further proves the effectiveness of SET-MRTS in both functionality and availability.
基金supported by the National Magnetic Confinement Fusion Program of China(No.2019YFE03020002)the National Natural Science Foundation of China(Nos.12205085 and12125502)。
文摘Fast neutron flux measurements with high count rates and high time resolution have important applications in equipment such as tokamaks.In this study,real-time neutron and gamma discrimination was implemented on a self-developed 500-Msps,12-bit digitizer,and the neutron and gamma spectra were calculated directly on an FPGA.A fast neutron flux measurement system with BC-501A and EJ-309 liquid scintillator detectors was developed and a fast neutron measurement experiment was successfully performed on the HL-2 M tokamak at the Southwestern Institute of Physics,China.The experimental results demonstrated that the system obtained the neutron and gamma spectra with a time accuracy of 1 ms.At count rates of up to 1 Mcps,the figure of merit was greater than 1.05 for energies between 50 keV and 2.8 MeV.
文摘The real-time control over the observed parameters is known to be necessary during the experiments with biological objects. The use of approaches, such as real-time operating systems, often requires significant material or human resources (operating time, the special administration and programming skills and etc.). In this paper we propose an alternative approach for the implementation of real-time mode in the experiments on muscle preparations (papillary muscles, trabeculae, walls of vessels) based on an external input-output cards with built-in analog-to-digital/digital-to-analog converters and signal processor. As a result, we developed a hardware-software complex for studying the mechanical properties of biological materials (muscles) in real-time mode. This solution has a convenient and easy-to-use user interface, and requires a minimum of computing resources and minimal cost of electricity.
文摘Software tools are developed for computer realization of syntactic, semantic, and morphological models of natural language texts, using rule based programming. The tools are efficient for a language, which has free order of words and developed morphological structure like Georgian. For instance, a Georgian verb has several thousand verb-forms. It is very difficult to express rules of morphological analysis by finite automaton and it will be inefficient as well. Resolution of some problems of full morphological analysis of Georgian words is impossible by finite automaton. Splitting of some Georgian verb-forms into morphemes requires non-deterministic search algorithm, which needs many backtrackings. To minimize backtrackings, it is necessary to put constraints, which exist among morphemes and verify them as soon as possible to avoid false directions of search. Software tool for syntactic analysis has means to reduce rules, which have the same members in different order. The authors used the tool for semantic analysis as well. Thus, proposed software tools have many means to construct efficient parser, test and correct it. The authors realized morphological and syntactic analysis of Georgian texts by these tools. In the presented paper, the authors describe the software tools and its application for Georgian language.
文摘The increasing demand for mobile simulation tools has opened new possibilities in engineering applications,particularly in composite material modelling.This paper introduces original engineering software developed to simulate composite materials on smartphones.The research explores the capabilities of mobile devices to perform simulations that are traditionally confined to desktop systems.Key challenges,such as computational limitations and the optimization of software architecture,now with integrated quantitative performance metrics such as computation time,accuracy,and memory efficiency,are addressed through the use of finite element analysis(FEA)and other advanced numerical methods.The software utilizes HTML-based coding for cross-platform accessibility,allowing engineers and researchers to conduct simulations anytime,anywhere.Strategies like parallel processing,cloud-assisted computation,and algorithmic optimization were implemented to enhance performance.The software’s real-time feedback and adaptive modelling provide accurate simulations of composite materials such as fiber-reinforced polymers.Furthermore,this paper reviews existing mobile-based simulation tools,highlighting their strengths and areas for improvement,while proposing novel solutions to increase efficiency,accuracy,and usability.The findings demonstrate that mobile devices,with optimized software,can successfully handle complex simulations,democratizing access to advanced engineering tools.
文摘利用Aspen Plus软件对二甲醚(DME)合成装置的工艺流程建立了模拟模型,对该流程进行了物料与热量衡算,并利用Aspen Energy Analyzer软件对DME合成装置的换热网络进行了分析与优化。结果表明:DME合成装置可以得到质量分数为99.95%的DME产品,且该装置的物料与热量均守衡,验证了该工艺的可行性;优化后的DME合成装置工艺流程可节省热物流或冷物流能量10572.3 kW。
