Multi-core and VMM Based Non-interference Test Method of Embedded System Software

Author(s):  
Zhang Jiong ◽  
Lv Zixu ◽  
Long Xiang ◽  
Bai Yuebin
2021 ◽  
Author(s):  
Sheng Yan ◽  
Xudong Ma ◽  
Fang Fang ◽  
Yafei Huang ◽  
Xin Xu ◽  
...  

Author(s):  
Justyna Zander ◽  
Ina Schieferdecker

The purpose of this chapter is to introduce the test methods applied for embedded systems addressing selected problems in the automotive domain. Model-based test approaches are reviewed and categorized. Weak points are identified and a novel test method is proposed. It is called model-in-the-loop for embedded system test (MiLEST) and is realized in MATLAB®/Simulink®/Stateflow® environment. Its main contribution refers to functional black-box testing based on the system and test models. It is contrasted with the test methods currently applied in the industry that form dedicated solutions, usually specialized in a concrete testing context. The developed signal-feature-oriented paradigm developed herewith allows the abstract description of signals and their properties. It addresses the problem of missing reference signal flows and allows for a systematic and automatic test data selection. Processing of both discrete and continuous signals is possible, so that the hybrid behavior of embedded systems can be handled.


2013 ◽  
Vol 321-324 ◽  
pp. 3049-3055
Author(s):  
Xian Bo He ◽  
Ming Dong Li ◽  
Li Yang ◽  
Gang Yuan Zhang ◽  
Miao Yue

How to train embedded software development talents that can meet the demands of embedded system companies is a very important task to the computer majors of colleges and universities. Some efficacious measures are given in this paper. These measures include infiltrating embedded software developing ideas and knowledge to existed related computer major courses such as computer operation system, data structure and the principles of computer composition, offering specialized embedded software developing course, studying and researching open source embedded operating system software, and introducing students to participate in embedded software developing course design and application project. Our practical teaching results proved they are very helpful to improve students’ embedded software design ability.


2013 ◽  
Vol 336-338 ◽  
pp. 313-318
Author(s):  
Chang Jian Deng ◽  
Hong Yang Hu ◽  
Jian Zhong Ling

To do Validation and Verification" of wireless vibration sensor nodes in NPPs (nuclear power plants), embedded system software test should be done. The test index is analyzed firstly; then the method of 'Temb' was introduced to analysis ADXL202 vibration nodes; the characteristic of system was used to establish LITO(life cycle, Infrastructure, Techniques, Organization) matrix, they are of emphasizing safety, application in harsh environment, using algorithms of technology and science and so on. The acceleration circulation method using fixed time cycle pretest by instrument and other weak was proved to be infeasible though FMEA (failure modes and effects analysis). Then FTA (fault tree analysis) is used to analyze system, so the software filter and real-time cycle test method were used to improve test precise and reliability of node vibration measurement. Experiments have proved its effective.


Sign in / Sign up

Export Citation Format

Share Document