A formal method approach to analyze the design of aircraft Flight Control Systems

Nanda, Manju; Rao, Shrisha

doi:10.1109/systems.2009.4815773

Cited by 7 publications

(3 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Nanda et al [6] compared system algebra with other popular approaches such as RBD and FTA on the flight control system of Boeing 777 and Airbus A380 aircraft.…”

Section: A Review On Previous Studiesmentioning

confidence: 99%

Development of an Efficient Approach for Reliability Analysis Using the Comparative Study of Several Static and Dynamic Methods; Case Study of an Unmanned Aerial Vehicle

Pourgolmohamad

Khayyati

Shiri

2020

IJRRS

View full text Add to dashboard Cite

Unmanned Aerial Vehicles (UAV) are increasingly being popular in many applications. Their operation requires a high level of safety and reliability to accomplish successful missions. In this study, their reliability is comparatively analyzed by different available approaches to select the efficient method. Firstly, the failure model of the system is developed. Then, three different scenarios are considered to study the effect of redundancies on the reliability of the system. In the first scenario, there is no redundancy, whereas in the second scenario there is one redundant component and in the third scenario, there are three redundant components. Static reliability analysis implemented on the proposed scenarios using methods of Fault Tree Analysis (FTA), Reliability Block Diagram (RBD), Markov Chain (MC), and Bayesian Networks (BN) and the results are obtained. Also, regarding the time dependencies between redundant components, a dynamic-based methodology is developed by applying Dynamic Fault Tree (DFT) analysis. Then, the proposed static and dynamic approaches are applied to a UAV as a case study and the results are discussed. Finally, the characteristics of each methodology and the related conditions are clarified for selecting the efficient reliability analysis approach.

show abstract

“…Nanda et al [6] compared system algebra with other popular approaches such as RBD and FTA on the flight control system of Boeing 777 and Airbus A380 aircraft.…”

Section: A Review On Previous Studiesmentioning

confidence: 99%

Development of an Efficient Approach for Reliability Analysis Using the Comparative Study of Several Static and Dynamic Methods; Case Study of an Unmanned Aerial Vehicle

Pourgolmohamad

Khayyati

Shiri

2020

IJRRS

View full text Add to dashboard Cite

show abstract

“…A variety of applications have used RBDs for modeling system reliability, e.g. in [10], [13], [4], and [8].…”

Section: Reliability Model For World Operamentioning

confidence: 99%

Reliability Modeling and Analysis of Modern Distributed Interactive Multimedia Applications: A Case Study of a Distributed Opera Performance

Veeraragavan

Vitenberg

Meling

2012

Distributed Applications and Interoperable Systems

View full text Add to dashboard Cite

Abstract. With the increase in processing power of computers, proliferation of specialized software and hardware, and the availability of greater communications bandwidth, it is possible to deploy more demanding modern Distributed Interactive Multimedia Applications such as World Opera. The World Opera application realizes the vision of a distributed real-time opera performance in which artists who are distributed around the globe are interacting with each other as though they were co-located. The application is driven by the artistic consortium that encompasses several major opera houses worldwide.In this paper, we build a high-level reliability model to predict the system reliability of the deployed architecture for supporting World Opera. Furthermore, we conduct a sensitivity analysis to understand the reliability requirements that individual components need to meet in order to provide desired system reliability.

show abstract

“…In addition, in this concept the conditional strategy has been used alone in Haghighi et.al. [7]and Haghighi and Costagliola [6]. The aforementioned paper uses the conditional method for the estimation of the Weibull parameters and introduces a new control chart for the Weibull quantile function.…”

Section: Introductionmentioning

confidence: 99%

The Conditional Estimation for related Weibull parameters Under Type-II Censoring

Habibirad

Kazempoor

2020

Int J Reliabl Risk Safe Theory App

View full text Add to dashboard Cite

In this paper, the conditional estimation of the Weibull and its related parameters are introduced. Some interesting properties of this estimator in contrast with the well-known maximum likelihood estimators have been investigated. This task is done under the famous sampling plan type-ii censoring scheme. Because of the complex behavior in the calculation of the likelihood function of the presented scheme in this situation without loss of generality, this problem fixed with the Gumbel (log-Weibull) model. The one to one transformation between these models and satisfying in their parameters enabling us for utilizing this alternative model. Finally, the comparison of this method and maximum likelihood estimation are provided through some numerical results.

show abstract

A formal method approach to analyze the design of aircraft Flight Control Systems

Cited by 7 publications

References 5 publications

Development of an Efficient Approach for Reliability Analysis Using the Comparative Study of Several Static and Dynamic Methods; Case Study of an Unmanned Aerial Vehicle

Development of an Efficient Approach for Reliability Analysis Using the Comparative Study of Several Static and Dynamic Methods; Case Study of an Unmanned Aerial Vehicle

Reliability Modeling and Analysis of Modern Distributed Interactive Multimedia Applications: A Case Study of a Distributed Opera Performance

The Conditional Estimation for related Weibull parameters Under Type-II Censoring

Contact Info

Product

Resources

About