Generalized stochastic Petri Net model based security risk assessment of software defined networks

Almutairi, Laila M.; Shetty, Sachin

doi:10.1109/milcom.2017.8170813

Cited by 13 publications

(6 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…PIPE2 is an open-source tool that supports creating and analyzing Petri nets and has an easy-to-use graphical user interface that allows a user to establish stochastic petri net models. Additionally, the analysis environment in this tool includes different modules such as steady-state analysis, reachability/coverability graph analysis, and GSPN analysis [37]. 8.…”

Section: Resultsmentioning

confidence: 99%

See 1 more Smart Citation

Safety Analysis of Integrated Modular Avionics System Based on FTGPN Method

Yang

Sun

et al. 2020

International Journal of Aerospace Engineering

View full text Add to dashboard Cite

Compared with federated avionic architecture, the integrated modular avionic (IMA) system architecture in the aircraft can provide more sophisticated and powerful avionic functionality, and meanwhile, it becomes structurally dynamic, variably interconnected, and highly complex. The traditional approach such as fault tree analysis (FTA) becomes neither convenient nor sufficient in making safety analysis of the IMA system. In order to overcome the limitations, the approach that FTA combines with generalized stochastic petri net (GSPN) is proposed. First, FTA is used to establish the static model for the top level of the IMA system, while GSPN is used to build a dynamic model for each cell system. Finally, the combination model is generated, which is called the FTGPN model. Moreover, the FTGPN model is made safety analysis with the PIPE2 tool. According to the simulation result, corresponding measures are taken to meet the safety requirements of the IMA system.

show abstract

Section: Resultsmentioning

confidence: 99%

“…However, it also lacks the further safety evaluation for the whole system. In addition, GSPN in some works [36][37][38][39][40][41][42][43] have been used to build a safety model for a single dynamic system. But the model cannot illustrate its interactions with other systems.…”

Section: Introductionmentioning

confidence: 99%

Safety Analysis of Integrated Modular Avionics System Based on FTGPN Method

Yang

Sun

et al. 2020

International Journal of Aerospace Engineering

View full text Add to dashboard Cite

show abstract

“…It has easy-to-use graphical user interface that allows a user to establish SPN models. Additionally, it includes different modules such as steady state analysis, reachability/coverability graph analysis and GSPN analysis (Almutairi and Shetty, 2017). The process of making safety analysis for the IMA system is illustrated in the literature (Yang et al , 2020).…”

Section: Case Study and Discussionmentioning

confidence: 99%

A combination method for integrated modular avionics safety analysis

Yang

Sun

2022

AEAT

View full text Add to dashboard Cite

Purpose This study aims to solve the problem that the traditional hierarchically performed hazard origin and propagation studies (HiP-HOPS) cannot make dynamic model for the complex system such as integrated modular avionics (IMA) system. Design/methodology/approach A new combination method that combines HiP-HOPS with architecture analysis and design language (AADL) is proposed. Findings The combination method potentially reduces the amount of rework required for safety analysis and modelling of a modified design. Research limitations/implications Modelling the IMA system with the combination method can just make qualitative analysis but cannot make quantitative analysis. Practical implications The static model depicts the fault propagation among the components while the dynamic model describes the composite fault with AADL for IMA system. Originality/value The results of the case study show that the proposed method not only keeps model consistency but also makes safety analysis and modelling for IMA system efficiently.

show abstract

“…Uma rede de Petrié um grafo bipartido direcionado que pode ser usado na modelagem e descrição de sistemas; contém componentes em sua estrutura, como conjuntos de locais e transições; eé estocástica quando cada transição está associada a um atraso de disparo aleatório que segue um processo estocástico. SPNs são conhecidos pelo alto grau de representatividade, sendo mais intuitivos que opções convencionais, como cadeias de Markov, para representar concorrência, paralelismo, e sincronização, em sistemas variados, desde transporte urbano [Labadi et al 2015]à segurança de aplicações na nuvem [Almutairi and Shetty 2017]. Mais próximo ao nosso estudoé o modelo SPN proposto em [Santos et al 2018] para analisar tempo de resposta de uma aplicação de monitoramento cardíaco sobre a arquitetura névoa e nuvem.…”

Section: Trabalhos Relacionadosunclassified

Modelos Estocásticos para Análise de Desempenho e Custo de uma Arquitetura Distribuída Nuvem e Névoa

Silva¹,

Gonçalves²,

Fé³

et al. 2019

Anais Do XXXVII Simpósio Brasileiro De Redes De Computadores E Sistemas Distribuídos (SBRC 2019)

View full text Add to dashboard Cite

A computação em névoa procura mitigar a limitação da nuvem quanto à alta latência fornecendo serviços flexíveis para os usuários finais na borda da rede. Tanto a computação em nuvem quanto névoa possuem pontos positivos e negativos que impactam no desempenho e custo monetário. A proximidade dos nós da névoa à borda da rede permite adotar computadores de capacidades limitadas à fim de conter custos operacionais e com infraestrutura. Levando em consideração variáveis como latência, carga de trabalho e capacidade computacional, se torna complexo definir em que circunstâncias é mais vantajoso usar a camada de nuvem ou a névoa. Pesquisas anteriores investigaram quando usar cada camada porém com conclusões muito limitadas. Este artigo propõe um modelo de Rede de Petri Estocástica (SPN) para modelar tal cenário considerando a nuvem e a névoa com variadas quantidades de nós e variadas cargas de trabalho. Apresentamos também um estudo de caso com valores reais e uma aplicação benchmark de processamento de texto distribuído. Os resultados apontam que existem casos onde poucos nós da nuvem podem ser mais eficientes do que muitos nós da névoa e vice-versa. Portanto, o presente trabalho pode auxiliar administradores de infraestruturas computacionais a adequar suas arquiteturas encontrando o trade-off entre custo e desempenho.

show abstract

Generalized stochastic Petri Net model based security risk assessment of software defined networks

Cited by 13 publications

References 8 publications

Safety Analysis of Integrated Modular Avionics System Based on FTGPN Method

Safety Analysis of Integrated Modular Avionics System Based on FTGPN Method

A combination method for integrated modular avionics safety analysis

Modelos Estocásticos para Análise de Desempenho e Custo de uma Arquitetura Distribuída Nuvem e Névoa

Contact Info

Product

Resources

About