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 PDFInfo
- 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
- satellite
- state machine
- propagation
- finite state
- 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
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/20—Design 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
The satellite soft error communication process modeling and simulation method based on Finite State Machine that the invention discloses a kind of belongs to satellite soft error and propagates modeling and simulation technology field.The present invention is based on Finite State Machine, it is described using the circulation way that the state block diagram in graphical tools Stateflow fails on the failure mode of each component influenced in satellite system by soft error and all parts, it is divided into longitudinal and lateral two propagation levels, constitute soft error propagation model, by being emulated to soft error propagation model, it can be visually observed that the dynamic communication process of soft error, and obtain soft error propagation path.Compared with prior art, the present invention can describe multiclass failure mode caused by soft error and its failure effect 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, so that analysis is more bonded actual conditions, and not only relies on engineering experience.
Description
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.
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)
| 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)
| 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 |
-
2018
- 2018-10-30 CN CN201811278464.3A patent/CN109408975A/en active Pending
Patent Citations (4)
| 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)
| Title |
|---|
| 范基坪等: "导航卫星单粒子软错误影响建模与仿真方法", 《北京航空航天大学学报》 * |
Cited By (2)
| 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 |
|---|---|---|
| Stanovich et al. | Development of a smart-grid cyber-physical systems testbed | |
| CN108376221A (en) | A kind of software system security verification and appraisal procedure based on AADL model extensions | |
| CN108737187A (en) | A kind of CAN bus fault simulation system and failure simulation method | |
| WO2015143750A1 (en) | Fault logic modeling method for high-speed railway train operation control vehicular system | |
| CN103913662B (en) | A kind of method of the test macro single-particle disabler rate based on direct fault location | |
| Zhang et al. | Distributed supervisory control of discrete-event systems with communication delay | |
| CN101923483B (en) | Simulated direct-current power transmission control protection system | |
| CN105938502A (en) | Validation method for design of system security of AltaRica model | |
| CN103529820A (en) | Fault injection testing system and testing method applied to embedded equipment | |
| CN109558649B (en) | Register single event effect simulation method for aerospace chip | |
| CN104484255A (en) | Fault injection device for verifying system level single particle soft error protection ability | |
| CN109408975A (en) | Satellite soft error communication process modeling and simulation method based on Finite State Machine | |
| Momtaz et al. | Predicate monitoring in distributed cyber-physical systems | |
| CN202997695U (en) | Portable intelligent substation GOOSE integrated test device | |
| Almukhaizim et al. | Novel hazard-free majority voter for N-modular redundancy-based fault tolerance in asynchronous circuits | |
| CN103944778B (en) | A kind of distributed event injection device based on combined test collection | |
| Wang et al. | Research on the reliability analysis of the integrated modular avionics system based on the AADL error model | |
| Chen | A Petri net design of FPGA-based controller for a class of nuclear I&C systems | |
| Momtaz et al. | Monitoring signal temporal logic in distributed cyber-physical systems | |
| Yang et al. | Fault tolerance in switched ASMs with intermittent faults | |
| Kopetz et al. | From a federated to an integrated architecture for dependable embedded systems | |
| CN104102562A (en) | Cellular automata-based single particle soft error system level propagation analysis method | |
| Sánchez et al. | HW/SW co-design of the instrument control unit for the energetic particle detector on-board solar orbiter | |
| Mary et al. | Reliability analysis of controller area network based systems—a review | |
| Miller et al. | A methodology for the design and verification of globally asynchronous/locally synchronous architectures |
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 | ||
| WD01 | Invention patent application deemed withdrawn after publication |
Application publication date: 20190301 |