种基于随机Petri网的分区软件可靠性分析方法

本发明公开了种采用随机Petri网对综合模块化航空电子系统中分区软件的可靠性分析方法。该方法首先参考ARINC 653中的分区状态定义，分析并确定分区软件的Petri网的位所和迁移，将"故障状态"作为位所之，建立分区软件的Petri网模型，进而分析分区软件的可达状态树，确定失效状态集，对变迁的实施速度进行分析，利用随机Petri网的可达状态树可以推导其同构的马尔科夫链，求出稳态分布，系统处于故障状态的稳态概率也就软件发生故障的概率，确定分区软件处在故障状态的稳态概率与内核操作系统的可靠性指标、分区调度周期、系统恢复时间之间的函数关系，从而定量的分析分区软件的可靠性。 The...

Full description

Saved in:
Bibliographic Details
Format Patent
LanguageChinese
Published 19.04.2017
Subjects
CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
Online AccessGet full text

Cover

More Information
Summary:本发明公开了种采用随机Petri网对综合模块化航空电子系统中分区软件的可靠性分析方法。该方法首先参考ARINC 653中的分区状态定义，分析并确定分区软件的Petri网的位所和迁移，将"故障状态"作为位所之，建立分区软件的Petri网模型，进而分析分区软件的可达状态树，确定失效状态集，对变迁的实施速度进行分析，利用随机Petri网的可达状态树可以推导其同构的马尔科夫链，求出稳态分布，系统处于故障状态的稳态概率也就软件发生故障的概率，确定分区软件处在故障状态的稳态概率与内核操作系统的可靠性指标、分区调度周期、系统恢复时间之间的函数关系，从而定量的分析分区软件的可靠性。 The invention discloses a partitioning software reliability analyzing method based on a stochastic Petri net (SPN-stochastic petri Net, SPN) for an integrated modular avionics (IMA) system. The partitioning software reliability analyzing method includes: analyzing and determining places and displacement of a Petri net of partitioning software by taking a partitioning state definition in ARINC 653 (Aeronautical Radio, Incorporated 653) for reference, taking a 'failure state' as one of the places, establishing a Petri net model of IMA partitioning software, analyzing a reachable state tree of the partitioning software, determining a failure state set, analyzing an implement speed of transition, utilizing a reachable state tree of
Bibliography:Application Number: CN20131153548