International Journal of Aerospace Engineering

International Journal of Aerospace Engineering / 2020 / Article
Special Issue

Recent Advances in the Application of Advanced Algorithms in Computational Fluid Dynamics Technology

View this Special Issue

Research Article | Open Access

Volume 2020 |Article ID 8811565 | https://doi.org/10.1155/2020/8811565

Haiyun Yang, Youchao Sun, Longbiao Li, Yundong Guo, Siyu Su, Qijun Huangfu, "Safety Analysis of Integrated Modular Avionics System Based on FTGPN Method", International Journal of Aerospace Engineering, vol. 2020, Article ID 8811565, 12 pages, 2020. https://doi.org/10.1155/2020/8811565

Safety Analysis of Integrated Modular Avionics System Based on FTGPN Method

Academic Editor: Feng Qu
Received27 May 2020
Revised05 Aug 2020
Accepted18 Aug 2020
Published01 Sep 2020

Abstract

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.

1. Introduction

IMA system is evolving to provide more functionality with lesser parts, weight, and cost, while it is also meeting all the reliability and safety constraints [14]. To cope efficiently with the high level of complexity, a novel and structured development methodology is required [57]. As known to all, FTA is widely used for safety analysis of the system, but it has some limitations. One of such limitation is that it can only evaluate the safety of static systems. However, the IMA system gives rise to a variety of dynamic failure characteristics such as functional dependencies between events and priorities of failure events [8].

Model-Based safety analysis (MBSA) utilizes software automation and integrates with design models to simplify the safety analysis of complex systems [9]. Among these MBSA methods, the HiP-HOPS focuses on the automatic construction of predictive system failure analyses [1017]. Meanwhile, the languages such as Architecture Analysis and Design Language (AADL) and AltaRica are used, automatically analyzing potential failures in a system model. AADL provides a standardized textual and graphical notation for describing software and hardware system architectures and their functional interfaces [18, 19]. Therefore, the IMA system is proposed to model based on AADL [2026]. However, its disadvantage is that it cannot directly perform safety analysis and needs to be converted to other safety analysis methods such as Petri net and HiP-HOPS [16, 17]. In addition, AltaRica [27] is high-level modelling language dedicated to safety analysis. Based on the AltaRica, there is a commercial tool called Simfia, which is the modelling platform for Airbus A380.

The two methods that GSPN and Fault tree driven Markov processes (FTDMP) are compared in [28]. Then, it points out that GSPN is at a higher level in modelling formalism and shows a superior modelling capacity compared to FTDMP. A conceptual framework, which incorporates the Semi-Markov Process (SMP) based complex behavior to HiP-HOPS for modelling of complex system is proposed in [29]. Although the quantitative analysis results obtained through this SMP [30, 31] is much more precise than the results from GSPN analysis, the safety model in GSPN is more intuitive. Moreover, in order to reduce the computation for GSPN analysis, many mature simulation software tools such as GreatSPN [32] and PIPE2 [33, 34] are developed.

The hybrid method that GSPN is used with these cell systems and the FTA process is applied to the upper-level system is validated effectively [35]. Then, it gained a clear view of the relationship between the failure of subsystems and the failure of the system. However, it also lacks the further safety evaluation for the whole system. In addition, GSPN in some works [3643] have been used to build a safety model for a single dynamic system. But the model cannot illustrate its interactions with other systems.

Within this broader context, the smaller novelties include: (1)According to the working principle, the IMA system is simplified in order to make the safety model more easily(2)The proposed FTGPN method not only builds static safety analysis for the top level of the IMA system but also establishes the dynamic safety model for cell systems(3)FTGPN model for the IMA system is simulated with PIPE2 tool and corresponding parameters can be adjusted to meet the safety requirements easily

FTGPN method solves the problem of being unable to conduct a comprehensive and accurate safety model for complex IMA system. Moreover, FTGPN provides an effective safety analysis method for the IMA system.

The section of this paper is organized as follows:

Section 2 introduces some preliminary knowledge mainly about the IMA system and the FTGPN method. Section 3 establishes the FTGPN model with FTA and GSPN for the IMA system. Section 4 makes the safety analysis for the FTGPN model. Section 5 depicts the capabilities and limitations of the FTGPN. Section 6 draws the conclusions.

2. Preliminary

In this section, the first IMA system is introduced. Then, an interview of the GSPN is given.

2.1. Integrated Modular Avionics

IMA architectures provide a general platform for hosting avionics in the aircraft. IMA platform includes the shared processing system, shared data network, and shared I/O system. The shared platform is an efficient means for implementing avionic functionality since it greatly reduces the electronic box and wire count in the aircraft. Therefore, the IMA system enables a great reduction in the size, weight, and power for a suite of avionic systems.

The IMA architecture is shown in Figure 1 [44]. The ARINC-653 standard is a common implementation of software partitioning [45]. It can guarantee each application’s memory space and temporal execution environment so that they will not be affected by other applications.

The shared network replaces many dedicated communication lines with a shared backbone network. A common network implementation today is defined by the ARINC-664p7 standard [46]. ARINC-664p7 also includes the concept of partitioning through the use of Virtual Links (VLs) to ensure that communications from one application cannot affect the contents or impact the temporal characteristics of the message delivery (not-to-exceed data latency is guaranteed).

The shared Input/Output (I/O) system acts as a gateway to transfer I/O between many separate sources and the shared network. This makes the I/O available to all network-connected devices without having to run dedicated wiring in the aircraft. Since many sources of data are concentrated onto a common network, these devices are typically referred to as “Remote Data Concentrators (RDCs)” [47].

In order to model the IMA system, the simplified topology of the IMA system is attained and shown in Figure 2. These include the RDC, the General Processing Module (GPM), and the shared communication data network using the ARINC664 standard. The terminal AFDX has two independent communication interfaces, which are channels A and B, respectively. The software and hardware of the operating system for each GPM are the same while the software applications of the GPM are different [2].

The IMA system works as a converter and all communication signals are processed in the system. First, the non-AINC664 signal is converted to the ARINC664 signal. Second, the signal goes through RDC. Third, it is transmitted to the GPM through channel A or B. After the signal is being processed, it is output through channel A or B from GPM. Finally, the signal is changed to the corresponding non-ARINC664 signal at RDC. This whole process is the simplified work theory of the IMA system. The following sections will make a safety analysis for the IMA system based on its simplified structure.

2.2. Overview of GSPN

GSPN is consisted by places (circular), transitions (rectangular bars), directed arcs, and tokens (black bullets). The directed arcs connect input places to transitions or transitions to input places. The places “P” represent the state or condition of a component. The transition “T” describes the change in state from input to output place. However, the direction of the flow of tokens is determined by the directed arcs. Each arc has a multiplicity, which depicts the token migration capacity of the arc. The transition can only fire if the input place has an equal number of tokens or more as the arc multiplicity [4850].

In stochastic petri net (SPN), if a transition is fired, the token waits until the firing delay (which helps to stop the token). Once the firing delay ends, the migration of tokens takes place from initial to final place, and the number of tokens migrating depends upon the input and output functions. Then, SPN was extended to GSPN. Besides SPN features, two new features are added which are immediate transition firing and inhibitor arcs (used to disable the transition when a token is present in input places) [51, 52]. The definitions of the GSPN are introduced as follows.

A GSPN is a 6-tuple (, , , , , ) where: (1) is a finite set of places, (2) presented all the transitions

is a finite set of timed transitions which is associated with a random delay time between enabling and firing;

is a finite set of immediate transitions which can be fired randomly and the delay is zero. (3) is a set of arcs

There exist inhibitor arcs that can only form places to transitions and make the enable conditions to be disenabled. (4) is a weight function of arcs(5) is initial marking where (6) is a set of the firing rates corresponding to the timed transitions

is from . For example, as shown in Figure 3, is represented by . is {1,0,0}. A new marking is reached when timed transitions is enabled. marking is Vanishing state because the immediate transition is enabled at once. Meanwhile, the Tangible state is reached. , , and are the reachability sets for the simple system. and are Tangible states, while is Vanishing state. That is Vanishing state can change to a new Tangible state immediately.

3. Proposed FTGPN Method

Traditional safety analysis methods (such as fault trees, reliability block diagrams, binary decision diagrams, and Markov process models) cannot effectively simulate the dynamic behaviour of the system. However, GSPN is suitable for modelling the dynamic behaviour of the system [50]. Therefore, the FTGPN approach is developed to combine fault trees and GSPN in a new way. And FTGPN is used to make safety analysis for the IMA system in this paper.

3.1. Brief Description of FTGPN

FTGPN is depicted clearly with a simple example in Figure 4. The failure of component is represented by “”, while the failure of component is represented by “”. Fault tree uses and as the failure and repair rates of component for quantitative analysis. If the component has failed, the FTGPN would use a GSPN model to represent the failure behaviour of .

FTGPN approach is applied in the following steps. First, the fault tree is used to clearly identify the cell systems’ sequence with the deductive logic and establish the top level of the system. Second, the GSPN model for each cell systems is built. Third, the GSPN of cell systems are constructed according to the architecture of the fault tree. Finally, the FTGPN model for the whole system is formed and it can be made the safety analysis with the PIPE2 tool. And how to establish the FTGPN model for the IMA system will be introduced in detail in the following sections.

3.2. FTA Modelling

Generally, in order to ensure that the FTGPN model is correct and effective for application, some restrictions need to be made. It is assumed that the following conditions are true:

Assumption 1. Each component of the system has only two states, which are failed and operational.

Assumption 2. Each component in the system fails independently, and no more than two components will fail at the same time.

Assumption 3. The maintenance equipment is sufficient, and the component is repaired in time after failed, and the repaired component is new as before.

Assumption 4. The failure rate of component is .

Assumption 5. The repair rate of component is .

Figure 5 shows the fault tree analysis for the architecture of the IMA system. The failure of RDC is represented by B. Meanwhile channel A of ARINC664 network is and channel B of ARINC664 network is . Then, both of them lead to the failure of ARINC664 network represented as C. In addition, CPU is D, memory is E, RTOS is H, and the software of end system is G. Therefore, that one of them is failure will lead to the failure of GPM represented as M. Moreover, the relationship among the RDC, the ARINC664 network, and the GPM is combined with “OR”.

3.3. FTGPN Modelling

Based on the module theory, the GSPN model for GPM and ARINC664 network are established firstly. Finally, the top level of the FTGPN model for the IMA system is synthesized.

3.3.1. GPM Model

The GSPN of GPM model is illustrated in Figure 6, and model descriptions are presented in Tables 1 and 2. The working process for GPM is as follows. It is operational normally at first. After a random time, CPU changes from to the and the marks in is empty (the number of marks in is 1, and it is used to prohibit the failure of other components in GPM), then the immediate transition is triggered, and the GPM changes from to . A random time later, it is assumed that the CPU in the GPM is repaired, and it changes from to (the marks of and disappear). Then, the CPU changes from to , and it indicates that CPU is operational.


NameOperational meaning

PmwGPM is operational
PmfGPM is failed
PdwCPU is operational
PdfCPU is failed
PewMemory is operational
PefMemory is failed
PhwRTOS is operational
PhfRTOS is failed
PgwSoftware is operational
PgfSoftware is failed
PmnNumber of components in failed state


NameOperational meaningTrigger rate (1/h)

TmrGPM goes from failed to operational
TmfGPM goes from operational to failed
TdrCPU goes from failed to operational0.001
TdfCPU goes from operational to failed
TerMemory goes from failed to operational0.002
TefMemory goes from operational to failed
ThrRTOS goes from failed to operational0.0011
ThfRTOS goes from operational to failed
TgrSoftware goes from failed to operational0.0011
TgfSoftware goes from operational to failed

3.3.2. ARINC664 Network Model

The GSPN model of the ARINC664 network is depicted in Figure 7, and the model descriptions are presented in Tables 3 and 4. The working process for the ARINC664 network is as follows. It is operational normally at first. After a random time, ARINC664 network channel A changes from to , and the number of marks in becomes 1, then the number of marks in is 1. When the number of marks in becomes 0 and the number of marks in becomes 2, the immediate transition is triggered, and the ARINC664 network changes to . A random time later, ARINC664 network channel A changes from to , and the ARINC664 network system recovers to .


PlaceOperational meaning

PcwARINC664 network is operational
PcfARINC664 network is failed
Pc1wARINC664 network channel A is operational
Pc1fARINC664 network channel A is failed
Pc2wARINC664 network channel B is operational
Pc2fARINC664 network channel B is failed
PcnNumber of channels in failed state


TransitionOperational meaningTrigger rate (1/h)

TcfARINC664 network goes from operational to failed
TcrARINC664 network goes from failed to operational
Tc1fARINC664 network channel A goes from operational to failed
Tc1rARINC664 network channel A goes from failed to operational0.001
Tc2fARINC664 network channel B goes from operational to failed
Tc2rARINC664 network channel B goes from failed to operational0.001

3.3.3. FTGPN Model

The FTGPN model of the IMA system is shown in Figure 8, and the model descriptions are presented in Tables 5 and 6. The working process for the IMA system is as follows. The IMA system works normally at first. After a random time, the transition is triggered and the IMA system changes to . A random time later, the RDC recovers to operational, and the transition is triggered next. Meanwhile, the mark of disappears, and the IMA system recovers to operational. Finally, according to top level of FTA model for the IMA system, the GSPN models for the cell systems such as GPM and ARINC664 network are combined to the FTGPN model. Additionally, the safety analysis is made for the IMA system in the following sections.


PlaceOperational meaning

PbwRDC is operational
PbfRDC is failed
PafIMA system is failed


TransitionOperational meaningTrigger rate (1/h)

TbfRDC goes from operational to failed
TbrRDC goes from failed to operational0.001

4. Results and Discussion

The tool PIPE2 [33, 34] is used to make analysis for the FTGPN model of the IMA system. 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].

First, the FTGPN model is established in PIPE2 as shown in Figure 8. Then, the analysis results in Tables 7 and 8 can be obtained through GSPN analysis. As depicted in Table 7, the IMA system’s operational states are , , and , and the number of tokens in is 0. Moreover, the total value of , , and is 0.89213. It equals to the probability of when the number of tokens is 0 () in Table 8. Therefore, the conclusion is that the probability of the IMA system in operational state is 0.89213.



011110011111111
000000000000000
000000000000000
000000101010101
111111010101010
000001010101010
111110101010101
000000000000000
000001111111111
222221111111111
000010000000011
111101111111100
000100000001100
111011111110011
001100000110000
110011111001111
010000011000000
101111100111111
011110011111111
011110011111111
100001100000000


0.89213110.980770.019230.980770.01923
0.10787000.019230.980770.019230.98077
0000000

10.9615400.982160.017840.991080.00892
00.038460.038460.017840.982160.008920.99108
000.961540000

0.959450.040550.959450.040550.892130.892130.10787
0.040550.959450.040550.959450.107870.107870.89213
0000000

Figure 9 illustrates the reachability graph of the FTGPN model for the IMA system. Each of the graph node acts as one of the IMA system states, and the initial state is node . It is known that , which is represented by the number of tokens in each place. Also, is corresponding to in Table 7. In addition, the Tangible state is presented in red color, while the blue color is for Vanishing state. Therefore, the marking of the Tangible state is corresponding to the marking in Table 7.

As shown in Figure 9, the states are changed by firing the transitions. For instance, state is fired by transition and then becomes . Meanwhile, state is fired by transition and then becomes . These can all be referred to in Table 7. The number of marks is changing in the corresponding transitions such as , , , and . Meanwhile, , , , and can be found in the corresponding states in Table 7. The states in Table 7 match with the Tangible state with red color one by one in Figure 9. Although the results can be attained manually from Figure 7, the whole reachability graph for a complex system is got fast and accurate with the PIP2 tool.

In addition, every small part of the reachability graph is a closed loop. For instance, first, is fired by transition and becomes . Second, is fired by transition and becomes . Third, is fired by transition and becomes . Finally, is fired by transition and returns to . The whole process is a circle which is depicted in purple color in Figure 9. And the reachability graph is composed of many circles. These indicate all the Tangible states and Vanishing states for the IMA system. Moreover, according to the reachability graph, further research for quantitative analysis can be made in the future.

The different initial random firings have been implemented for the simulation of the FTGPN model. The token distribution has been updated by 100, 500, and 1000 random firings, which are shown in Figure 10.

The graph in Figure 10 shows that the three lines almost coincide. The highest point is , and the average number of tokens is close to 2, while the lowest points are , , and . The value of is not our expectation. Therefore, corresponding countermeasures should be developed to increase its value and make it get to 1. Obviously, the simulation for the FTGPN model allows users to analyze the failure behavior of IMA systems in a more intuitive way. In fact, the above simulations are used to explain the application to the FTGPN model of the IMA system. However, it does not correspond to the real case in the aircraft. For example, there is no repair for the IMA system when the FTGPN model is based on the flight. Although the FTGPN method for modelling the IMA system is verified effectively, further quantitative analysis should be made in the future.

5. Capabilities and Limitations of the FTGPN

Some of the capabilities and limitations (limitation in making accurate quantitative analysis for the IMA system) of the FTGPN are discussed in this section.

5.1. Capabilities of the FTGPN

The FTGPN offers the following capabilities. (1)First, the architecture of the IMA system is simplified according to the work theory. And this is a very important step to build the FTA model for the top level of the system(2)The FTGPN method establishes the top level of the IMA system with FTA in the static model, while the cell systems are built with GSPN in a dynamic model. In addition, the dependency and interactions among the IMA system are depicted intuitively by the FTGPN model(3)PIPE2 tool is chosen to make a simulation for the FTGPN model of the IMA system. The results are not only the Tangible states but also the probability of the IMA system in operational. In addition, the reachability graph which depicts all the states can be attained automatically. Moreover, the number of tokens is illustrated clearly in each place. Therefore, the corresponding measures can be taken according to the simulation

5.2. Limitations of the FTGPN

The FTGPN has the following limitations. All will be resolved is our future works. (1)The simplified IMA system is used in this paper. However, it is known that simplifying the complex system is difficult. Therefore, we should develop a new method to generate the FTA automatically. This work should be done in the future(2)It takes much time to establish the FTGPN model. In addition, it is very easy to make mistakes in building model manually. Therefore, a software which can generate the model automatically should be developed(3)Comparing with the existing approaches [12, 2932], the FTGPN method is better in establishing the safety model clearly and directly. However, quantitative analysis for FTGPN is not accurate. Therefore, the quantitative analysis of the FTGPN should be optimized and verified with the Aircraft fuel distribution system. Making optimization for quantitative analysis is my further work(4)In this paper, the PIPE2 tool is chosen to make the simulation. Because of the limitations of the tool, the safety analysis is inadequate. Therefore, the functions for the tool should be extended especially in quantitative analysis

6. Conclusion

FTGPN model is proposed for dynamic safety analysis of the IMA system. First, FTA is introduced to make a static model for the top level of the IMA system, and then GSPN is employed to construct a dynamic model for cell systems. It represents an advancement model for safety analysis and allows faster, automatic analysis of dynamic systems using GSPN. The FTGPN model has combined the advanced features of FTA with GSPN. The integration for the two safety analysis methods is a potential tool to make the safety analysis for the complex and interactive IMA system.

The conclusions of this paper are as follows: (1)The complex IMA system is simplified properly which makes the rest work such as establishing the FTGPN model more easily(2)The FTGPN method for combining the FTA and GSPN and applying in the IMA system not only shows the relationship between cell systems but also simulates the dynamic interactions in each cell system(3)PIPE2 is used to simulate the FTGPN model of the IMA system. All the parameters that we need are shown to us obviously. Then, we can adjust them to meet the safety requirements conveniently

However, for the large system including thousands of components, it is difficult to build the FTGPN model. It is better to develop a tool that can establish the FTGPN model and make safety analysis for it automatically.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no competing interests.

Acknowledgments

This paper is supported by the Research Program supported by the National Natural Science Foundation of China (U1333119), the National defense basic scientific research program of China (JCKY2013605B002), and the Civil Aircraft Special Foundation of Ministry of Industry and Information Technology (MJ-2017-J-91).

References

  1. D. Rajaram, Y. Cai, I. Chakraborty, and D. N. Mavris, “Integrated sizing and optimization of aircraft and subsystem architectures in early design,” Journal of Aircraft, vol. 55, no. 5, pp. 1942–1954, 2018. View at: Publisher Site | Google Scholar
  2. C. H. Fleming and N. G. Leveson, “Improving hazard analysis and certification of integrated modular avionics,” Journal of Aerospace Information System, vol. 11, no. 6, pp. 397–411, 2014. View at: Publisher Site | Google Scholar
  3. T. Ishimatsu, N. G. Leveson, J. P. Thomas et al., “Hazard analysis of complex spacecraft using systems-theoretic process analysis,” Journal of Spacecraft and Rockets, vol. 51, no. 2, pp. 509–522, 2014. View at: Publisher Site | Google Scholar
  4. Z. Jiang, T. Zhao, S. Wang, and F. Ren, “A novel risk assessment and analysis method for correlation in a complex system based on multi-dimensional theory,” Applied Science, vol. 10, article 3007, 2020. View at: Publisher Site | Google Scholar
  5. R. P. Collinson, Introduction to Avionics System, Springer Science & Business Media, 2017.
  6. C. R. Spizer, Digital Avionic Handbook, CRC Press., pp. 22–258, 3rd edition, 2015.
  7. J. B. Itier, “A380 integrated modular avionics,” in Proceedings of the ARTIST2 Meeting on Integrated Modular Avionics, pp. 72–75, Roma, Italy, 2007. View at: Google Scholar
  8. J. Anjali and W. Michael, Model-based safety analysis final report, NASA/CR-2006-21395, NASA Contractor Report, 2006.
  9. Y. Papadopoulos, M. Walker, D. Parker et al., “A synthesis of logic and bio-inspired techniques in the design of dependable systems,” Annual Reviews in Control, vol. 41, pp. 170–182, 2016. View at: Publisher Site | Google Scholar
  10. Y. Papadopoulos and J. A. McDermid, “Hierarchically performed hazard origin and propagation studies,” in Computer Safety, Reliability and Security. SAFECOMP 1999, M. Felici and K. Kanoun, Eds., vol. 1698 of Lecture Notes in Computer Science, pp. 139–152, Springer, Berlin, Heidelberg, 1999. View at: Publisher Site | Google Scholar
  11. Y. Papadopoulos, M. Walker, D. Parker et al., “Engineering failure analysis and design optimisation with HiP-HOPS,” Engineering Failure Analysis, vol. 18, no. 2, pp. 590–608, 2011. View at: Publisher Site | Google Scholar
  12. S. Kabir, M. Walker, and Y. Papadopoulos, “Dynamic system safety analysis in HiP-HOPS with petri nets and bayesian networks,” Safety Science, vol. 105, pp. 55–70, 2018. View at: Publisher Site | Google Scholar
  13. M. Bozzano and Y. Papadopoulos, “A model-based extension to HiP-HOPS for dynamic fault propagation studies,” in Model-Based Safety and Assessment. IMBSA 2017, M. Bozzano and Y. Papadopoulos, Eds., vol. 10437 of Lecture Notes in Computer Science, pp. 163–178, Springer, Cham, 2017. View at: Publisher Site | Google Scholar
  14. Z. Mian, L. Bottaci, Y. Papadopoulos, and M. Biehl, “System dependability modelling and analysis using AADL and HiP-HOPS,” in Proceedings of the 14th IFAC Symposium on Information Control Problems in Manufacturing, pp. 1447–1652, Bucharest, Romania, 2012. View at: Google Scholar
  15. Y. Papadopoulos, Safety-Directed System Monitoring Using Safety Cases, [Ph.D. thesis], University of York, 2000.
  16. Z. Mian, L. Bottaci, Y. Papadopoulos, and N. Mahmud, “Model transformation for analyzing dependability of AADL model by using HiP-HOPS,” Journal of Systems and Software, vol. 151, pp. 258–282, 2019. View at: Publisher Site | Google Scholar
  17. Z. Mian, Y. Gao, X. Shi, and C. Tang, “Semantic mapping for model transformation between AADL2 and HiP-HOPS,” in 2019 4th International Conference on System Reliability and Safety (ICSRS), pp. 539–543, Rome, Italy, 2019. View at: Publisher Site | Google Scholar
  18. A. E. Rugina, Dependability modelling and evaluation-from AADL to stochastic petri nets in systèmes informatiques, [Ph. D. thesis], Institute National Polytechnique de Toulouse, Toulouse, 2007.
  19. A. E. Rugina, K. Kanoun, and M. Kaâniche, “A system dependability Modeling framework using AADL and GSPNs,” in Architecting Dependable Systems IV, R. Lemos, C. Gacek, and A. Romanovsky, Eds., vol. 4615 of Lecture Notes in Computer Science, pp. 14–38, Springer, Berlin, Heidelberg, 2007. View at: Publisher Site | Google Scholar
  20. A. E. Rugina, K. Kanoun, and M. Kaâniche, “The ADAPT tool: from AADL architectural models to stochastic petri nets through model transformation,” in 2008 Seventh European Dependable Computing Conference, Kaunas, Lithuania, 2008. View at: Publisher Site | Google Scholar
  21. R. B. Han and S. H. Wang, “Transformation rules from AADL to improved colored GSPN for integrated modular avionics,” in 2016 11th International Conference on Reliability, Maintainability and Safety (ICRMS), Hangzhou, China, 2016. View at: Publisher Site | Google Scholar
  22. B. Liu, Z. Quan, and S. Wang, “IMA reconfiguration modelling and reliability analysis based on AADL,” in The 4th Annual IEEE International Conference on Cyber Technology in Automation, Control and Intelligent, Hong Kong, China, 2014. View at: Publisher Site | Google Scholar
  23. T. Robati, A. E. Kouhen, A. Gherbi, S. Hamadou, and J. Mullins, “An extension for AADL to model mixed-criticality avionic systems deployed on IMA architectures with TTEthernet,” in 1st Architecture Centric Virtual Integration Workshop (ACVI), Valencia, Spain, 2014. View at: Google Scholar
  24. Y. Wu, W. Wang, Z. Yu, and B. Liu, “Study of Ima software dynamic reconfiguration based on AADL,” Information Technology Journal, vol. 12, no. 22, pp. 6627–6630, 2013. View at: Publisher Site | Google Scholar
  25. J. Delange and P. Feiler, “Architecture fault modeling with the AADL error-model annex,” in 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications, Verona, Italy, 2014. View at: Publisher Site | Google Scholar
  26. P. Wang, C. X. Zhao, and F. Yan, “Research on the reliability analysis of the integrated modular avionics system based on the AADL error model,” International Journal of Aerospace Engineering, vol. 2018, Article ID 9358461, 11 pages, 2018. View at: Publisher Site | Google Scholar
  27. T. Prosvirnova, M. Batteux, P. A. Brameret et al., “The altarica 3.0 project for model-based safety assessment,” in Proceedings of 4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS 2013, York, Great Britain, September 2013. View at: Google Scholar
  28. M. Talebberrouane, F. Khan, and Z. Lounis, “Availability analysis of safety critical systems using advanced fault tree and stochastic petri net formalisms,” Journal of Loss Prevention in the Process Industries, vol. 44, pp. 193–203, 2016. View at: Publisher Site | Google Scholar
  29. S. Kabir, K. Aslansefat, I. Sorokos, Y. Papadopoulos, and Y. Gheraibia, “A conceptual framework to incorporate complex basic events in HiP-HOPS,” in Model-Based Safety and Assessment. IMBSA 2019, Y. Papadopoulos, K. Aslansefat, P. Katsaros, and M. Bozzano, Eds., vol. 11842 of Lecture Notes in Computer Science, pp. 109–124, Springer, Cham, 2019. View at: Publisher Site | Google Scholar
  30. S. Kabir, K. Aslansefat, I. Sorokos, Y. Papadopoulos, and S. Konur, “A hybrid modular approach for dynamic fault tree analysis,” IEEE Access, vol. 8, pp. 97175–97188, 2020. View at: Publisher Site | Google Scholar
  31. K. Aslansefat and G. R. Latif-Shabgahi, “A hierarchical approach for dynamic fault trees solution through semi-Markov process,” IEEE Transactions on Reliability, vol. 2019, pp. 1–18, 2019. View at: Publisher Site | Google Scholar
  32. E. G. Amparore, M. Beccuti, and S. Donatelli, “(Stochastic) model checking in Great SPNApplication and Theory of Petri Nets and Concurrency. PETRI NETS 2014,” Tech. Rep., Springer, Cham, 2014. View at: Publisher Site | Google Scholar
  33. P. Bonet, C. M. Llad, and R. Puigjaner, “PIPE v2.5: a petri net tool for performance modelling,” in In Proceedings of 23rd Latin American conference informatics, Costa Rica, 2007. View at: Google Scholar
  34. N. J. Dingle, W. J. Knottenbelt, and T. Suto, “PIPE2: a tool for the performance evaluation of generalised stochastic petri nets,” ACM SIGMETRICS Performance Evaluation Review, vol. 36, no. 4, pp. 34–39, 2009. View at: Publisher Site | Google Scholar
  35. Y. Lu, Y. W. Dong, X. M. Wei, and M. Xiao, “A hybrid method of redundancy system reliability analysis based on AADL models,” in 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C), Lisbon, Portugal, 2018. View at: Publisher Site | Google Scholar
  36. J. P. Fan and T. D. Zhao, “Dispatch reliability of civil aviation simulation based on generalized stochastic petri nets (GSPN),” in 2014 10th International Conference on Reliability, Maintainability and Safety (ICRMS), Guangzhou, China, 2014. View at: Publisher Site | Google Scholar
  37. L. M. Almutairi and S. Shetty, “Generalized stochastic petri net model based security risk assessment of software defined networks,” in MILCOM 2017 - 2017 IEEE Military Communications Conference (MILCOM), pp. 545–550, Baltimore, MD, USA, 2017. View at: Publisher Site | Google Scholar
  38. D. Jana and N. Chakraborty, “Generalized stochastic petri nets (GSPN) for analysis of microgrid under uncertainities,” in 2018 20th National Power Systems Conference (NPSC), Tiruchirappalli, India, 2018. View at: Publisher Site | Google Scholar
  39. M. Garoui, “Modeling and analysis of vehicles platoon safety in a dynamic environment based on GSPN,” in Enterprise, Business-Process and Information Systems Modeling. BPMDS 2016, EMMSAD 2016, R. Schmidt, W. Guédria, I. Bider, and S. Guerreiro, Eds., vol. 248 of Lecture Notes in Business Information Processing, pp. 465–478, Springer, Cham, 2016. View at: Publisher Site | Google Scholar
  40. S. Kabir, M. Walker, and Y. Papadopoulos, “Quantitative evaluation of Pandora temporal fault trees via petri nets,” IFAC-Papers Online, vol. 48, no. 21, pp. 458–463, 2015. View at: Publisher Site | Google Scholar
  41. M. A. Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis, “Modelling with generalized stochastic petri nets,” ACM SIGMETRICS Performance Evaluation Review, vol. 26, no. 2, 1998. View at: Google Scholar
  42. Y. Chu, Z. Yuan, and J. Chen, “Research on dynamic reliability of a jet pipe servo valve based on generalized stochastic petri nets,” International Journal of Aerospace Engineering, vol. 2015, 8 pages, 2015. View at: Publisher Site | Google Scholar
  43. S. Tigane, L. Kahloul, S. Benharzallah, S. Baarir, and S. Bourekkache, “Reconfigurable GSPNs: a modeling formalism of evolvable discrete-event systems,” Science of Computer Programming, vol. 183, article 102302, 2019. View at: Publisher Site | Google Scholar
  44. C. Watkins, “Integrated modular avionics: managing the allocation of shared intersystem resources,” in 2006 IEEE/AIAA 25TH Digital Avionics Systems Conference, Portland, OR, USA, 2006. View at: Publisher Site | Google Scholar
  45. A. R. I. N. C. Electronic Engineering Committee, ARINC653: Avionics Application Software Standard Interface, Aeronautical Radio, Inc, Annapolis, MD, 2006.
  46. ARINC Electronic Engineering Committee, “ARINC 664p7: Aircraft Data Network, Part 7,” in Avionics full duplex switched ethernet (AFDX) network, Aeronautical Radio, Inc, Annapolis, MD, 2005. View at: Google Scholar
  47. C. B. Watkins and R. Walter, “Comparing two industry game changers: integrated modular avionics and the iPhone,” in 2009 IEEE/AIAA 28th Digital Avionics Systems Conference, Orlando, FL, USA, 2009. View at: Publisher Site | Google Scholar
  48. R. David and H. Alla, Discrete, Continuous, and Hybrid Petri Nets, Springer, Berlin Heidelberg, 2005.
  49. T. Murata, “Petri nets: properties, analysis and applications,” Proceedings of the IEEE, vol. 77, no. 4, pp. 541–580, 1989. View at: Publisher Site | Google Scholar
  50. R. Li and S. Reveliotis, “Performance optimization for a class of generalized stochastic petri nets,” Event Dynamic Systems, vol. 25, no. 3, pp. 387–417, 2014. View at: Publisher Site | Google Scholar
  51. M. Z. Kamil, M. Taleb-Berrouane, F. Khan, and S. Ahmed, “Dynamic domino effect risk assessment using petri-nets,” Process Safety and Environmental Protection, vol. 124, no. 2019, pp. 308–316, 2019. View at: Publisher Site | Google Scholar
  52. P. J. Haas, “Stochastic petri nets: modelling, stability, simulation,” in Proceedings of the 2004 Winter Simulation Conference, vol. 1, pp. 101–112, 2004. View at: Google Scholar

Copyright © 2020 Haiyun Yang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.


More related articles

 PDF Download Citation Citation
 Download other formatsMore
 Order printed copiesOrder
Views631
Downloads320
Citations

Related articles

Article of the Year Award: Outstanding research contributions of 2020, as selected by our Chief Editors. Read the winning articles.