Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Method for monitoring running time of airborne partition operation system simulator

A partitioned operating system and operating system technology, applied in the field of runtime verification of airborne applications, can solve problems such as difficult effective testing and verification, complex reasons for task switching, etc., and achieve the effect of meeting the requirements of verification and compliance testing

Active Publication Date: 2019-07-02
XIAN AVIATION COMPUTING TECH RES INST OF AVIATION IND CORP OF CHINA
View PDF4 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

This solution mainly solves the problem that the reason for the task switching of the airborne operating system emulator is complicated, and it is difficult to carry out effective testing and verification. It provides an embedded software sensor to sense the switching of tasks in the partition in real time, and judges the event type that triggers the task switching according to the code context. ;Transmit this sequence to the display interface outside the emulator through the message channel and save it; Complete the collection of the state-event sequence of the tasks in the partition

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Method for monitoring running time of airborne partition operation system simulator
  • Method for monitoring running time of airborne partition operation system simulator
  • Method for monitoring running time of airborne partition operation system simulator

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0026] This solution is mainly composed of three parts: the state-event perception and reasoning part, which inserts the state monitoring code into the airborne operating system emulator by means of code instrumentation, records state transitions, and infers its triggering events. In the state-event encoding and transmission part, the state / event is encoded according to the custom encoding rules, and is efficiently transmitted to the external display module to reduce the impact on scheduling performance. The status / event display and recording part displays the state switching and triggering events of tasks in each partition in the airborne operating system emulator in an intuitive form according to the collected information, and records its execution track.

[0027] The concrete implementation process of this method is as follows:

[0028] 1) Insert the software sensor code at the task state switching position, link with the airborne operating system emulator and generate an e...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention discloses a method for monitoring the running time of an airborne partition operation system simulator, and relates to conformance testing of the airborne partition operation system simulator and running time verification of an airborne application program based on a partition operation system. Specifically, a software sensor is embedded into a task management and task scheduling code of an airborne partition operation system simulator, task state switching is completed, state switching triggering events are monitored, and a state-even sequence is output, so the task execution track of the airborne application program is obtained, and a basis is provided for verification during operation of the airborne application program and conformance testing of an airborne partition operation system simulator. A user can use the task running track as input of various runtime verification tools and conformance test tools to complete runtime verification of the airborne application program and conformance test of the airborne operation system simulator.

Description

technical field [0001] The invention belongs to the technical field of airborne integrated avionics system software, and relates to the compliance test of an airborne partition operating system emulator and the runtime verification of an airborne application program based on a partitioned operating system. Specifically, using the embedded software sensor, it is inserted into the task management and task scheduling code of the airborne partition operating system emulator to complete the monitoring of task state switching and events triggering state switching, and output a state-event sequence, so as to obtain the task execution trajectory of the airborne application, which provides a basis for the runtime verification of the airborne application and the compliance test of the airborne partition operating system emulator. Background technique [0002] The development and verification of airborne software increasingly relies on airborne operating system emulators. In order to ...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
IPC IPC(8): G06F11/30G06F11/36
CPCG06F11/3051G06F11/3644G06F11/3624
Inventor 牟明崔西宁戴小氐陈福郝玉锴吴姣
Owner XIAN AVIATION COMPUTING TECH RES INST OF AVIATION IND CORP OF CHINA
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com