CN109408975A - Satellite soft error communication process modeling and simulation method based on Finite State Machine - Google Patents

Satellite soft error communication process modeling and simulation method based on Finite State Machine Download PDF

Info

Publication number
CN109408975A
CN109408975A CN201811278464.3A CN201811278464A CN109408975A CN 109408975 A CN109408975 A CN 109408975A CN 201811278464 A CN201811278464 A CN 201811278464A CN 109408975 A CN109408975 A CN 109408975A
Authority
CN
China
Prior art keywords
soft error
propagation
satellite
failure
state machine
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
CN201811278464.3A
Other languages
Chinese (zh)
Inventor
焦健
董洁
夏宏青
赵廷弟
赵海涛
郑晋军
熊笑
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Beihang University
Beijing Institute of Spacecraft System Engineering
Original Assignee
Beihang University
Beijing Institute of Spacecraft System Engineering
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Beihang University, Beijing Institute of Spacecraft System Engineering filed Critical Beihang University
Priority to CN201811278464.3A priority Critical patent/CN109408975A/en
Publication of CN109408975A publication Critical patent/CN109408975A/en
Pending legal-status Critical Current

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/20Design optimisation, verification or simulation

Landscapes

  • Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Monitoring And Testing Of Transmission In General (AREA)
  • Radio Relay Systems (AREA)

Abstract

本发明公开了一种基于有限状态机理论的卫星软错误传播过程建模与仿真方法,属于卫星软错误传播建模与仿真技术领域。本发明是基于有限状态机理论,利用图形化工具Stateflow中的状态框图对卫星系统中受软错误影响的每个部件的失效模式及各个部件失效的传播方式进行描述,分为纵向与横向两个传播层次,构成软错误传播模型,通过对软错误传播模型进行仿真,可以直观地观察到软错误的动态传播过程,并得到软错误传播路径。与现有技术相比,本发明可以描述软错误引起的多类失效模式及其失效影响在卫星各层级的传递,并按其失效特点分为不同层级间的纵向传播和同层级间的横向传播,使分析更贴合实际情况,而并非仅依靠工程经验。

The invention discloses a satellite soft error propagation process modeling and simulation method based on finite state machine theory, and belongs to the technical field of satellite soft error propagation modeling and simulation. The invention is based on the finite state machine theory, and uses the state block diagram in the graphical tool Stateflow to describe the failure mode of each component affected by the soft error and the propagation mode of each component failure in the satellite system. It is divided into vertical and horizontal two. The propagation level constitutes the soft error propagation model. By simulating the soft error propagation model, the dynamic propagation process of the soft error can be observed intuitively, and the soft error propagation path can be obtained. Compared with the prior art, the present invention can describe multiple types of failure modes caused by soft errors and the transmission of their failure effects at various levels of the satellite, and can be divided into vertical propagation among different levels and horizontal propagation among the same level according to their failure characteristics. , making the analysis more realistic rather than relying solely on engineering experience.

Description

Satellite soft error communication process modeling and simulation method based on Finite State Machine
Technical field
The present invention relates to satellite soft errors to propagate modeling and simulation technology field, in particular to a kind of to be based on finite state machine Theoretical satellite soft error communication process modeling and simulation method.
Background technique
At present in safety satellite field, overwhelming majority research establishes mould both for the safe operation state of system Type, and what the Development Communication process of few pairs of soft errors was modeled.Soft error refers between high energy particle and element silicon Interaction and in the semiconductors caused by random, interim state change or transition, that is, cause satellite to interrupt, influence satellite can Therefore an important factor for property, studies the method for carrying out modeling and simulating to satellite soft error communication process and just seems very necessary.
Satellite structure is divided into service platform and payload two parts by function, and service platform part mainly includes power supply system System, control system, radio measurement and control system, payload portions and task performed by satellite are directly related, payload portion Point and it includes system be undertake satellite function main body and soft error influence propagate main study subject.
So far, Safety Analysis Method has had been developed that multinomial technology, but there are still some shortcomings when it is used for satellite. Common fault propagation process emulation mode is the purely logical emulation based on probability distribution mostly, is had some limitations, base In fault tree, the Simulation Application Monte Carlo theory of event tree-model, the accident analysis and security risks for being able to achieve system are commented Estimate, but solve the problems, such as comprising the time, process variable, people the dynamic factors such as operation behavior on there is also certain deficiencies.
In Simulink, (Visual Simulation Tools are one to mathematics library tools build based on Finite State Machine Block diagram design environment of the kind based on MATLAB) on, discrete event system is imitated by state process and event-driven realization Very.Finite State Machine provides description and the very powerful method of logic is applied in control, and many complicated logics can be with It is stated in a small chart, simple in rule, readable and verifiability is very strong.In level of practice, Stateflow is (based on having State machine and flow chart are limited to construct combination and sequential logic decision model and the environment emulated) realize finite state machine Code automatically generates, and user only need to draw state transition diagram and process identification in the design interface of Stateflow, will Stateflow generates Simulink simulation code, while can intuitively observation state conversion process.
Summary of the invention
The satellite soft error communication process based on Finite State Machine that the object of the present invention is to provide a kind of is modeled and is imitated True method, the method are based on Finite State Machine, using the state block diagram in graphical tools Stateflow to satellite The circulation way of failure mode and all parts failure of each component influenced in system by soft error is described, and is divided into vertical To with laterally two propagations levels, composition soft error propagation model can be intuitive by being emulated to soft error propagation model The dynamic communication process of soft error is observed on ground, and obtains soft error propagation path.The step of specific modeling and simulation method, is such as Under:
Step 1. determines navigation satellite structure and research object;
Navigation satellite structure is different levels according to subordinate relation, such as system-level, subsystem irrespective of size, component-level.By function It is divided into service platform and payload two parts, service platform part mainly includes power-supply system, control system, radio measurement and control System, payload portions and task performed by satellite are directly related, are the parts influenced vulnerable to soft error, therefore will be effective Payload segment is as research object.Specifically, the research object can also or payload portions subsystems.
Step 2. is based on FMEA (failure model and effect analysis) analysis method and obtains each portion in soft error communication process The circulation way of failure mode and all parts failure of part;
According to the information flow and functional structure of Satellite Payloads, each level is obtained by soft error using FMEA analysis method Failure mode caused by accidentally and its circulation way of failure.There are two types of the communication modes: the first is failure in same layer Lateral propagation in grade between different components, second is the longitudinal propagation failed between different levels.
Step 3. is based on Finite State Machine and constructs satellite soft error propagation model;
Based on Finite State Machine, using its graphical tools Stateflow state block diagram on being influenced by soft error The failure mode of each component is described, and the structure of each component is described with hierarchical states nesting and the form of parallel state Functional relationship.Longitudinal propagation process (such as component-level → subsystem irrespective of size → system-level) is in soft error propagation model definition mark Conditional jump triggering is laterally propagated (components A → part B in such as component-level) and is realized conditional jump, structure using direct event Propagation relationship is built, soft error propagation model is eventually formed.Since module and component count are very huge in entire satellite system, therefore It is named respectively using the unified format of text all over Britain, avoids the later period due to naming bring modeling software lack of standardization to report an error, It improves work efficiency.And annotated with Chinese, it is easy to understand.
Step 4. process model emulates to obtain soft error propagation path;
The state control logic of Simulink environment and Stateflow is combined, to the soft error propagation model of building Input and output are defined, it, can be intuitive by emulating by state that blue highlight show (becoming blue) into the state being currently active The process that each block diagram is successively activated in Stateflow is observed on ground, obtains the failure state transfer occurred by certain timing, That is soft error propagation path;To thrashing sample carry out reasonable assumption (such as extract one obedience Weibull distribution failure Time), the average time between failures MTBF of each component can be calculated according to the time randomly selected in emulation, be satellite Soft error communication process and safety analysis verification technique provide new approaches and new method.
Compared with prior art, the beneficial effects of the present invention are:
(1) multiclass failure mode caused by soft error and its failure effect can be described in the transmitting of each level of satellite, and It is divided into longitudinal propagation between different levels by its invalid characteristic and is propagated with the transverse direction between level, analysis is made more to be bonded practical feelings Condition, and not only rely on engineering experience.
(2) can describe soft error influences the stochastic behaviour propagated in the system structure of entire satellite.
(3) based on Finite State Machine establish soft error communication process model have design it is simple and clear, should be readily appreciated that, Visual feature can construct corresponding simulation model for the specific structure of different satellite systems, have certain versatility, Support reliability design analysis work.
Detailed description of the invention
Fig. 1 is the modeling and simulating step schematic diagram of satellite soft error communication process model provided by the invention.
Fig. 2 is navigation subsystem hierarchical structure nested model.
Fig. 3 is the propagation relation schematic diagram of each component failure.
Specific embodiment
The present invention provides a kind of satellite soft error communication process modeling and simulation method based on Finite State Machine, under Face is described in detail with attached drawing in conjunction with the embodiments.
A kind of satellite soft error communication process modeling and simulation method based on Finite State Machine provided by the invention, Process as shown in Figure 1, the specific steps are as follows:
Step 1. navigation satellite structure is divided into service platform and payload two parts by function, and service platform part is main Including power-supply system, control system, radio measurement and control system, payload portions include navigation subsystem and antenna subsystem, The soft error wherein caused vulnerable to influences such as single-particles is predominantly located in navigation subsystem, thereby determines that research object for navigation point System.The navigation subsystem is mainly by uplink injection device unit, atomic clock/reference frequency synthesis unit, navigation task Processing unit and navigation signal broadcast the composition such as unit, belong to subsystem level.
Step 2. propagates soft error using FMEA analysis method according to the information flow and functional structure of Satellite Payloads Process is analyzed, and the failure mode as caused by soft error and its circulation way in navigation subsystem are obtained.
Device level soft error, which propagates to single machine grade total, in embodiment, in navigation subsystem may cause 6 kinds of single machine failures Mode, i.e. uplink inject losing lock, data transmission fault, text output error, downlink signal without output, time reference mistake, phase Potential difference measurement is abnormal, and finally generates the whole star of 4 classes and interrupt and influence, i.e., precision orbit determination accuracy decline, downlink signal interrupt, Uplink and downlink signals interrupt simultaneously, star ranging it is incorrect.
Step 3. builds the state of each unit in navigation subsystem using the Stateflow state block diagram in finite state machine Found corresponding illustraton of model, including system hierarchy nested model such as Fig. 2, navigation subsystem include uplink injection device unit, Atomic clock/reference frequency synthesis unit, navigation task processing unit and navigation signal broadcast four units of unit, four units Block diagram be represented by dashed line, illustrate that they are concurrency relations.
The communication mode of failure mode and all parts failure to each component of navigation subsystem is described, example Such as Fig. 3, eventually forming soft error influences propagation model.By taking a navigation task processing unit in navigation subsystem as an example, lead The task processing unit that navigates includes a normal condition (normal) and three failure states (failure1-failure3), from It is (flag_232==1) realized by the mark in conditional jump, i.e. 232 components hair that normal, which is transferred to failure1, Failure has been given birth to, has been led to that navigation task processing unit is transferred to first failure state, embodies the longitudinal propagation process of failure.And Being transferred to failure2, failure3 then from normal is to shift (event_FCC_NTP) Lai Shixian state by direct event Conversion, NTP (Navigation task processing unit) refers to navigation task processing unit.
Step 4. combines the state control logic of Simulink environment and Stateflow, and it is defeated that soft error influences model Enter including soft error flow of event, soft error detection, system reset, switching on and shutting down, cut machine Annual distribution.It can be intuitively by emulation It observes that each block diagram successively becomes blue process in Stateflow, obtains the failure state transfer occurred by certain timing, i.e., it is soft Error propagation path;From engineering experience, each component in model is influenced for soft error and defines obedience Weibull point The random number of cloth is extracted a random number by way of grab sample, is defined as the out-of-service time of component, when the system is operated Between be equal to extract the component failure time when, which is transferred to failure state by normal condition.It is random according to system in emulation The average time between failures MTBF of each component can be calculated in out-of-service time caused by the soft error of extraction, be satellite soft error Accidentally communication process and safety analysis verification technique provide new approaches and new method.

Claims (2)

1. the satellite soft error communication process modeling and simulation method based on Finite State Machine, it is characterised in that:
Step 1. determines navigation satellite structure and research object;
The payload portions of navigation satellite structure, be vulnerable to soft error influence part, therefore using payload portions as Research object;
Step 2. obtains the mistake of each component in soft error communication process based on failure model and effect analysis FMEA analysis method The circulation way of effect mode and all parts failure;
There are two types of the communication modes: the first is that the transverse direction to fail in same level between different components is propagated, second It is the longitudinal propagation failed between different levels;
Step 3. is based on Finite State Machine and constructs satellite soft error propagation model;
Based on Finite State Machine, using its graphical tools Stateflow state block diagram on each of being influenced by soft error The failure mode of component is described, and the structure function of each component is described with hierarchical states nesting and the form of parallel state Relationship;Longitudinal propagation process defines the conditional jump triggering of mark in soft error propagation model, laterally propagates and uses direct thing Part realizes conditional jump, constructs propagation relationship, eventually forms soft error propagation model;
Step 4. process model emulates to obtain soft error propagation path;
The state control logic of Simulink environment and Stateflow is combined, the soft error propagation model of building is defined Input and output, the failure state transfer chronologically occurred, i.e. soft error propagation path;It is reasonable to carry out to thrashing sampling It is assumed that the average time between failures MTBF of each component is calculated according to the time randomly selected in emulation.
2. the satellite soft error communication process modeling and simulation side according to claim 1 based on Finite State Machine Method, it is characterised in that: the research object is the navigation subsystem in payload, and the navigation subsystem is infused by uplink Enter unit, atomic clock/reference frequency synthesis unit, navigation task processing unit and navigation signal and broadcasts unit composition; Device level soft error, which propagates to single machine grade, in navigation subsystem six kinds of single machine failure modes, i.e. uplink injection losing lock, data pass It inputs mistake, text output error, downlink signal by mistake and finally generates four classes without output, time reference mistake, phase difference measurement exception Whole star, which is interrupted, to be influenced, i.e., precision orbit determination accuracy decline, downlink signal interrupt, uplink and downlink signals are interrupted, surveyed to star simultaneously Away from incorrect.
CN201811278464.3A 2018-10-30 2018-10-30 Satellite soft error communication process modeling and simulation method based on Finite State Machine Pending CN109408975A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201811278464.3A CN109408975A (en) 2018-10-30 2018-10-30 Satellite soft error communication process modeling and simulation method based on Finite State Machine

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201811278464.3A CN109408975A (en) 2018-10-30 2018-10-30 Satellite soft error communication process modeling and simulation method based on Finite State Machine

Publications (1)

Publication Number Publication Date
CN109408975A true CN109408975A (en) 2019-03-01

Family

ID=65469992

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201811278464.3A Pending CN109408975A (en) 2018-10-30 2018-10-30 Satellite soft error communication process modeling and simulation method based on Finite State Machine

Country Status (1)

Country Link
CN (1) CN109408975A (en)

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN113157562A (en) * 2021-03-16 2021-07-23 王轶昆 Test case generation method and platform based on extended finite-state machine model
CN116661839A (en) * 2023-06-02 2023-08-29 南京睿首智能技术研究院有限公司 Process simulation scoring method and system based on state machine

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20120060064A1 (en) * 2010-09-08 2012-03-08 International Business Machines Corporation Soft error verification in hardware designs
CN102523030A (en) * 2011-11-25 2012-06-27 中国空间技术研究院 Communication satellite effective load test system simulation platform
CN104461808A (en) * 2014-11-06 2015-03-25 北京空间飞行器总体设计部 FPGA single-particle soft error impact evaluation method
CN107862111A (en) * 2017-10-19 2018-03-30 湖南斯北图科技有限公司 A kind of propagation analysis method of assessment system single-particle disabler rate

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20120060064A1 (en) * 2010-09-08 2012-03-08 International Business Machines Corporation Soft error verification in hardware designs
CN102523030A (en) * 2011-11-25 2012-06-27 中国空间技术研究院 Communication satellite effective load test system simulation platform
CN104461808A (en) * 2014-11-06 2015-03-25 北京空间飞行器总体设计部 FPGA single-particle soft error impact evaluation method
CN107862111A (en) * 2017-10-19 2018-03-30 湖南斯北图科技有限公司 A kind of propagation analysis method of assessment system single-particle disabler rate

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
范基坪等: "导航卫星单粒子软错误影响建模与仿真方法", 《北京航空航天大学学报》 *

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN113157562A (en) * 2021-03-16 2021-07-23 王轶昆 Test case generation method and platform based on extended finite-state machine model
CN116661839A (en) * 2023-06-02 2023-08-29 南京睿首智能技术研究院有限公司 Process simulation scoring method and system based on state machine

Similar Documents

Publication Publication Date Title
CN103955556B (en) High Speed Train Operation Control onboard system fault logic modeling method
Stanovich et al. Development of a smart-grid cyber-physical systems testbed
Abdelmalak et al. A survey of cyber-physical power system modeling methods for future energy systems
CN101923483B (en) Simulated direct-current power transmission control protection system
Zhang et al. Distributed supervisory control of discrete-event systems with communication delay
Zhang et al. Approach for integrated modular avionics reconfiguration modelling and reliability analysis based on AADL
Momtaz et al. Predicate monitoring in distributed cyber-physical systems
CN109558649A (en) A kind of register single particle effect analog simulation method towards aerospace chip
CN107423508B (en) Satellite navigation system verification experimental verification and the method for building up of test assessment mathematical model
CN104731085A (en) Test platform for trackside interlock system and test method based on same
CN109408975A (en) Satellite soft error communication process modeling and simulation method based on Finite State Machine
Khairullah et al. Self‐repairing hardware architecture for safety‐critical cyber‐physical‐systems
CN105740528A (en) Self-adaptive synchronization manner-based electric power and communication united simulation platform and synchronization method thereof
Chen et al. Performance analysis and verification of safety communication protocol in train control system
CN106598766B (en) A Dynamic Analysis Method of State Correlation for IMA Resource Sharing Mechanism
Momtaz et al. Monitoring signal temporal logic in distributed cyber-physical systems
Almukhaizim et al. Novel hazard-free majority voter for N-modular redundancy-based fault tolerance in asynchronous circuits
CN105843745B (en) It is a kind of for testing the method and system of redundancy management software
Sánchez et al. HW/SW co-design of the instrument control unit for the energetic particle detector on-board solar orbiter
CN104102562A (en) Cellular automata-based single particle soft error system level propagation analysis method
Hu Exploring formal verification methodology for FPGA-based digital systems.
Miller et al. A methodology for the design and verification of globally asynchronous/locally synchronous architectures
Esterle et al. Digital twins for autonomous intelligent systems: From development to deployment
Amin et al. Low‐Cost Fault Tolerant Methodology for Real Time MPSoC Based Embedded System
CN102882273B (en) Quantitative calculation method and system for reliability of relay protection system of intelligent substation

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
WD01 Invention patent application deemed withdrawn after publication

Application publication date: 20190301

WD01 Invention patent application deemed withdrawn after publication