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.展开更多
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.展开更多
One of the most important features of modern minor satellites is to realize autonomous moving. The performance of the satellite autonomous computer operating system acting as the control center is utmost important. Th...One of the most important features of modern minor satellites is to realize autonomous moving. The performance of the satellite autonomous computer operating system acting as the control center is utmost important. The recent trend in operating system development is adopting microkernel architecture which holds such advantages as microminiaturization, modularity, portability and extendibility. The performance of I/O subsystem is currently receiving considerable research attention. Object-orientation offers an approach to application development in which software system can be constructed by composing and refining the pre-designed plug-compatible software components.It also starts with some basic notions fairly well accepted in computer science, namely encapsulation and reuse. In this paper, a new object-oriented real-time I/O subsystem model has been designed.In this model, the traditional I/O subsystem framework is discarded and a stream mechanism based on the object-oriented concept is introduced. In addition, the I/O requests are classified according to their time emergency to obtain real-time performance. So, this model meets such satelliteperformance requirements as reliability, flexibility, portability and real-time performance.展开更多
This paper introduces the architecture and components of LXI instrument development platform based on an open embedded operating system,which is a modular and configurable platform.The platform is a total solution to ...This paper introduces the architecture and components of LXI instrument development platform based on an open embedded operating system,which is a modular and configurable platform.The platform is a total solution to develop LXI instrument modules and systems.On the other hand,it also supports other types of instrument development.This is a generic and efficient platform.At the end,this paper addresses the technical tends, challenges,and recormnends solutions.展开更多
介绍了INS/DR/MM车辆组合导航系统以及系统的部件组成,对系统的软硬件结构进行了分析。结合目前各主流嵌入式平台的性能,利用Windows XP Embedded(XPE)嵌入式操作系统体积小和易扩展的优势,选用Windows XP Embedded作为车辆组合导航系...介绍了INS/DR/MM车辆组合导航系统以及系统的部件组成,对系统的软硬件结构进行了分析。结合目前各主流嵌入式平台的性能,利用Windows XP Embedded(XPE)嵌入式操作系统体积小和易扩展的优势,选用Windows XP Embedded作为车辆组合导航系统的开发平台。为了满足车辆导航实时、快速的要求,设计了基于模糊逻辑的地图匹配算法。经过多次实际跑车试验证明,该嵌入式车辆导航系统可以正确实时地将地图匹配后的位置信息显示在电子地图上。展开更多
A novel reconfigurable hardware system which uses both muhi-DSP and FPGA to attain high performance and real-time image processing are presented. The system structure and working principle of mainly processing multi-B...A novel reconfigurable hardware system which uses both muhi-DSP and FPGA to attain high performance and real-time image processing are presented. The system structure and working principle of mainly processing multi-BSP board, extended multi-DSP board are analysed. The outstanding advantage is that the communication among different board components of this system is supported by high speed link ports ＆ serial ports for increasing the system performance and computational power. Then the implementation of embedded real-time operating systems （RTOS） by us is discussed in detail. In this system, we adopt two kinds of parallel structures controlled by RTOS for parallel processing of algorithms. The experimental results show that exploitive period of the system is short, and maintenance convenient. Thus it is suitable for real-time image processing and can get satisfactory effect of image recognition.展开更多
In this paper,a novel train positioning method considering satellite raw observation data was proposed,which aims to promote train positioning performance from an innovative perspective of the train satellite-based po...In this paper,a novel train positioning method considering satellite raw observation data was proposed,which aims to promote train positioning performance from an innovative perspective of the train satellite-based positioning error sources.The method focused on overcoming the abnormal observations in satellite observation data caused by railway environment rather than the positioning results.Specifically,the relative positioning experimental platform was built and the zero-baseline method was firstly employed to evaluate the carrier phase data quality,and then,GNSS combined observation models were adopted to construct the detection values,which were applied to judge abnormal-data through the dual-frequency observations.Further,ambiguity fixing optimization was investigated based on observation data selection in partly-blocked environments.The results show that the proposed method can effectively detect and address abnormal observations and improve positioning stability.Cycle slips and gross errors can be detected and identified based on dual-frequency global navigation satellite system data.After adopting the data selection strategy,the ambiguity fixing percentage was improved by 29.2%,and the standard deviation in the East,North,and Up components was enhanced by 12.7%,7.4%,and 12.5%,respectively.The proposed method can provide references for train positioning performance optimization in railway environments from the perspective of positioning error sources.展开更多
操作系统是整个计算机系统的核心与基石,其可靠性与安全性至关重要.操作系统的故障或漏洞可能会导致系统崩溃、数据丢失、隐私泄露和安全攻击等问题,特别是在安全攸关系统中,一旦操作系统发生错误,就可能会造成重大人员伤亡或财产损失....操作系统是整个计算机系统的核心与基石,其可靠性与安全性至关重要.操作系统的故障或漏洞可能会导致系统崩溃、数据丢失、隐私泄露和安全攻击等问题,特别是在安全攸关系统中,一旦操作系统发生错误,就可能会造成重大人员伤亡或财产损失.一直以来,如何保障操作系统的安全性和可靠性对学术界和工业界都是一个重大挑战.目前验证操作系统安全性的方法有软件测试、程序静态分析、形式化方法等.其中,形式化方法是最有潜力确保操作系统安全可信的方法,通过使用形式化方法,建立数学模型并进行系统的形式化分析和验证,从而发现潜在的错误和漏洞.在操作系统中,形式化方法可以用于验证操作系统的功能正确性、完整性以及系统安全性等.在已有的针对操作系统形式化验证的成果基础上,提出了一个面向嵌入式操作系统的形式化验证方案,采用VCC(verified C compiler)、CBMC(C bounded model checker)以及PAT(process analysis toolkit)工具分别对操作系统单元层面、模块层面和系统层面进行验证.该方法已成功应用到某操作系统的任务调度架构案例中,对于嵌入式操作系统的分析验证具有一定的通用性。展开更多
文摘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.
文摘One of the most important features of modern minor satellites is to realize autonomous moving. The performance of the satellite autonomous computer operating system acting as the control center is utmost important. The recent trend in operating system development is adopting microkernel architecture which holds such advantages as microminiaturization, modularity, portability and extendibility. The performance of I/O subsystem is currently receiving considerable research attention. Object-orientation offers an approach to application development in which software system can be constructed by composing and refining the pre-designed plug-compatible software components.It also starts with some basic notions fairly well accepted in computer science, namely encapsulation and reuse. In this paper, a new object-oriented real-time I/O subsystem model has been designed.In this model, the traditional I/O subsystem framework is discarded and a stream mechanism based on the object-oriented concept is introduced. In addition, the I/O requests are classified according to their time emergency to obtain real-time performance. So, this model meets such satelliteperformance requirements as reliability, flexibility, portability and real-time performance.
文摘This paper introduces the architecture and components of LXI instrument development platform based on an open embedded operating system,which is a modular and configurable platform.The platform is a total solution to develop LXI instrument modules and systems.On the other hand,it also supports other types of instrument development.This is a generic and efficient platform.At the end,this paper addresses the technical tends, challenges,and recormnends solutions.
文摘介绍了INS/DR/MM车辆组合导航系统以及系统的部件组成,对系统的软硬件结构进行了分析。结合目前各主流嵌入式平台的性能,利用Windows XP Embedded(XPE)嵌入式操作系统体积小和易扩展的优势,选用Windows XP Embedded作为车辆组合导航系统的开发平台。为了满足车辆导航实时、快速的要求,设计了基于模糊逻辑的地图匹配算法。经过多次实际跑车试验证明,该嵌入式车辆导航系统可以正确实时地将地图匹配后的位置信息显示在电子地图上。
基金This project was supported by the National Natural Science Foundation of China(60135020) National Key Pre-researchProject of China(413010701 -3) .
文摘A novel reconfigurable hardware system which uses both muhi-DSP and FPGA to attain high performance and real-time image processing are presented. The system structure and working principle of mainly processing multi-BSP board, extended multi-DSP board are analysed. The outstanding advantage is that the communication among different board components of this system is supported by high speed link ports ＆ serial ports for increasing the system performance and computational power. Then the implementation of embedded real-time operating systems （RTOS） by us is discussed in detail. In this system, we adopt two kinds of parallel structures controlled by RTOS for parallel processing of algorithms. The experimental results show that exploitive period of the system is short, and maintenance convenient. Thus it is suitable for real-time image processing and can get satisfactory effect of image recognition.
基金Project(52272339)supported by the National Natural Science Foundation of ChinaProject(2023YFB390730303)supported by the National Key Research and Development Program of China+2 种基金Project(L2023G004)supported by the Science and Technology Research and Development Program of China State Railway Group Co.,Ltd.Project(QZKFKT2023-005)supported by the State Key Laboratory of Heavy-duty and Express High-power Electric Locomotive,ChinaProject(2022JZZ05)supported by the Open Foundation of MOE Key Laboratory of Engineering Structures of Heavy Haul Railway(Central South University),China。
文摘In this paper,a novel train positioning method considering satellite raw observation data was proposed,which aims to promote train positioning performance from an innovative perspective of the train satellite-based positioning error sources.The method focused on overcoming the abnormal observations in satellite observation data caused by railway environment rather than the positioning results.Specifically,the relative positioning experimental platform was built and the zero-baseline method was firstly employed to evaluate the carrier phase data quality,and then,GNSS combined observation models were adopted to construct the detection values,which were applied to judge abnormal-data through the dual-frequency observations.Further,ambiguity fixing optimization was investigated based on observation data selection in partly-blocked environments.The results show that the proposed method can effectively detect and address abnormal observations and improve positioning stability.Cycle slips and gross errors can be detected and identified based on dual-frequency global navigation satellite system data.After adopting the data selection strategy,the ambiguity fixing percentage was improved by 29.2%,and the standard deviation in the East,North,and Up components was enhanced by 12.7%,7.4%,and 12.5%,respectively.The proposed method can provide references for train positioning performance optimization in railway environments from the perspective of positioning error sources.
文摘操作系统是整个计算机系统的核心与基石,其可靠性与安全性至关重要.操作系统的故障或漏洞可能会导致系统崩溃、数据丢失、隐私泄露和安全攻击等问题,特别是在安全攸关系统中,一旦操作系统发生错误,就可能会造成重大人员伤亡或财产损失.一直以来,如何保障操作系统的安全性和可靠性对学术界和工业界都是一个重大挑战.目前验证操作系统安全性的方法有软件测试、程序静态分析、形式化方法等.其中,形式化方法是最有潜力确保操作系统安全可信的方法,通过使用形式化方法,建立数学模型并进行系统的形式化分析和验证,从而发现潜在的错误和漏洞.在操作系统中,形式化方法可以用于验证操作系统的功能正确性、完整性以及系统安全性等.在已有的针对操作系统形式化验证的成果基础上,提出了一个面向嵌入式操作系统的形式化验证方案,采用VCC(verified C compiler)、CBMC(C bounded model checker)以及PAT(process analysis toolkit)工具分别对操作系统单元层面、模块层面和系统层面进行验证.该方法已成功应用到某操作系统的任务调度架构案例中,对于嵌入式操作系统的分析验证具有一定的通用性。
