A verification framework with application to a propulsion system

Zhang, Bin; Orchard, Marcos E.; Saha, Bhaskar; Saxena, Abhinav; Lee, Young Jin; Vachtsevanos, George

doi:10.1016/j.eswa.2014.03.017

Cited by 12 publications

(5 citation statements)

References 28 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…They thus propose a collaborative PHM development framework in which the PHM and aircraft design are completely integrated, as for instance has been done in the JSF project (Calvello, Olin, Hess, & Frith, 2007;Hess, Calvello, & Dabney, 2004). (Zhang et al, 2014;Nicolai & Dekker, 2008) show another challenge for prognostics in the verification and validation of the techniques used. It is important to acknowledge the degree to which a model and its associated data accurately represent the real-world.…”

Section: Discussionmentioning

confidence: 99%

Deployment of Prognostics to Optimize Aircraft Maintenance – A Literature Review

Sprong

Jiang

Polinder

2020

JIBRM

View full text Add to dashboard Cite

Historic records show that the cost of operating and supporting an aircraft may exceed the initial purchase price as much as ten times. Maintenance, repair and overhaul activities rep- resent around 10-15% of an airlines annual operational costs. Therefore, optimization of maintenance operations to minimize cost is extremely important for airlines in order to stay competitive. Prognostics, a process to predict remaining useful life of systems and/ or components suffering from aging or degradation, has been recognized as one of the revolutionary disciplines that can improve efficiency of aircraft operations and optimize aircraft maintenance. This study focuses on literature that has used prognostics to optimize aircraft maintenance and identifies research gaps for further optimization of aircraft maintenance in commercial aviation. In this paper, the origin and development of prognostics is firstly introduced. Thereafter, the state of art of aircraft maintenance is reviewed. Next, the applicability of prognostics to optimize aircraft maintenance is explained, reviewed, and potential challenges and opportunities are explored. Finally, the state-of-the-art of prognostics in aircraft maintenance is dis- cussed and research gaps are identified in perspective of the deployment of prognostics to optimize aircraft maintenance.

show abstract

Section: Discussionmentioning

confidence: 99%

Deployment of Prognostics to Optimize Aircraft Maintenance – A Literature Review

Sprong

Jiang

Polinder

2020

JIBRM

View full text Add to dashboard Cite

show abstract

“…The model checking approach has 2 main methods including KS and LTS. 66,[91][92][93] Some well-known model checkers are applied to verification approach such as NuSMV, § SPIN, ¶ PAT, # and UPPAAL**. 74,94 The existing model checking methods specify a state space exploration of the system behavior using reachable graph of binary decision diagrams.…”

Section: Model Checking Methods In the Service Composition Approachmentioning

confidence: 99%

“…Finally, the technical results, advantages, and disadvantages are compared in Section 4.2.2. The model checking approach has 2 main methods including KS and LTS . Some well‐known model checkers are applied to verification approach such as NuSMV, SPIN, PAT, and UPPAAL .…”

Section: Categorizing Of Selected Service Composition Approachesmentioning

confidence: 99%

Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research

Souri

Rahmani

Navimipour

2018

Int J Communication

View full text Add to dashboard Cite

Summary Today, service composition is emerging paradigm on the communication networks such as cloud environments, internet of things, wireless sensor network, and software‐defined network. The goal of service composition method is to provide the interactions between user requirements and smart objects of intelligent communication systems. There have been many efforts to use formal verification and behavioral modeling methods to evaluate the service composition mechanisms. Up to now, there is not a comprehensive analysis research on this topic. Therefore, this paper focuses on several formal verification approaches that are performed to confirm the service composition correctness in communication networks. The objective of this paper is to comprehensively categorize and examine current research techniques on formal verification of the service composition. This research analysis provides an overview of recent service composition approaches according to structural and functional properties. Comparison results show that most of the verification approaches in explanation of the service composition correctness are semantic‐aware approach with 43%. The most used verification method for the service composition is model checking with 69%. The process algebra is used 29%, and some theorem proving methods are applied in 9% of the investigated mechanism. Moreover, most widely used modeling tools are NuSMV (22%), SPIN (17%), CPN (12%), UPPAAL (12%), Event‐B (10%), and PAT (5%).

show abstract

“…Model checking is an influential formal verification method to evaluate software systems . Kripke structure (KS) and labeled transition system (LTS) are two main verification methods in the model checking.…”

Section: Motivation and Related Workmentioning

confidence: 99%

“…Model checking is an influential formal verification method to evaluate software systems. 4,[26][27][28] Kripke structure (KS) and labeled transition system (LTS) are two main verification methods in the model checking. Also, NuSMV, Process Analysis Toolkit (PAT), UPPAAL, and TLA+ are famous model checking tools that evaluate the proposed behavioral models according to specified specification rules using temporal logic.…”

Section: Preliminaries and Backgroundmentioning

confidence: 99%

A systematic literature review on formal verification of software‐defined networks

Souri

Norouzi

Asghari

et al. 2019

Trans Emerging Tel Tech

View full text Add to dashboard Cite

By raising evolutionary network connections, a software‐defined network (SDN) offers a well‐managed and flexible novel network topology. The SDN efforts are provided to abstract the original network configuration for business applications and web services. Additionally, the SDN modifies the network management policies such as topology policies, deployment policies, the applicability, and infrastructure maintenance. One of the important features of the SDN is standardizing the network interfaces with the precise functional semantics in application and control flow layers. In another hand, specification and evaluation of the existing network interfaces is a main and significant challenge to prove the correctness of the configurable scenarios in the SDN approach. Recently, formal verification presents a high potential platform to evaluate the main‐layer scenarios of the SDN as the novel perspective in this area. Up to now, there is no survey and state‐of‐the‐art review on the formal verification methods in the SDN. This paper provides a systematic literature review (SLR) for the formal verification methods in the SDN in form of the SDN plans to recognize the state of the art of the open challenges. The presented SLR is classified into three main fields: application plan, data plan, and control plan approaches. The verification mechanisms are compared with each other according to the important factors such as structural properties, quality‐of‐service metrics, applied algorithms, and measurement tools.

show abstract

A verification framework with application to a propulsion system

Cited by 12 publications

References 28 publications

Deployment of Prognostics to Optimize Aircraft Maintenance – A Literature Review

Deployment of Prognostics to Optimize Aircraft Maintenance – A Literature Review

Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research

A systematic literature review on formal verification of software‐defined networks

Contact Info

Product

Resources

About