A verification framework with application to a propulsion system |
| |
| Affiliation: | 1. Department of Electrical Engineering, University of South Carolina, Columbia, SC 29208, USA;2. Department of Electrical Engineering, Universidad de Chile, Santiago 8370451, Chile;3. Advanced Mining Technology Center of the Universidad de Chile, Santiago 8370451, Chile;4. Palo Alto Research Center, 3333 Coyote Hill Rd, Palo Alto, CA 94304, USA;5. Stinger Ghaffarian Technologies Inc., NASA Ames Research Center, CA 94035, USA;6. School of Electrical and Computer Engineering, Georgia Institute of Technology, Atlanta, GA 30332, USA;1. Department of Electrical Engineering, Faculty of Engineering, Universiti Malaya, Lembah Pantai, 50603 Kuala Lumpur, Malaysia;2. Odette School of Business, University of Windsor, 401 Sunset Ave, Windsor, ON N9B 3P4, Canada;1. Grup de Recerca en Sistemes Intel·ligents, Ramon Llull University, Quatre Camins 2, 08022 Barcelona, Spain;2. Grup de Recerca en Internet Technologies & Storage, Ramon Llull University, Quatre Camins 2, 08022 Barcelona, Spain;3. Departamento de Ingeniería Matemática e Informática, Universidad Pública de Navarra, Campus de Arrosadía, 31006 Pamplona, Spain;1. Faculty of Electronic Engineering, University of Ni?, Aleksandra Medvedeva 14, Ni?, Serbia;2. Faculty of Mechanical Engineering, University of Ni?, Aleksandra Medvedeva 14, Ni?, Serbia;1. Department of Electrical Engineering, Sarvestan Branch, Islamic Azad University, Sarvestan, Iran;2. School of Electrical and Computer Engineering, Shiraz University, Shiraz, Iran;3. American University of Sharjah, Sharjah, United Arab Emirates |
| |
| Abstract: | This paper introduces a novel verification framework for Prognostics and Health Management (PHM) systems. Critical aircraft, spacecraft and industrial systems are required to perform robustly, reliably and safely. They must integrate hardware and software tools intended to detect and identify incipient failures and predict the remaining useful life (RUL) of failing components. Furthermore, it is desirable that non-catastrophic faults be accommodated, that is fault tolerant or contingency management algorithms be developed that will safeguard the operational integrity of such assets for the duration of the emergency. It is imperative, therefore, that models and algorithms designed to achieve these objectives be verified before they are validated and implemented on-board an aircraft. This paper develops a verification approach that builds upon concepts from system analysis, specification definition, system modeling, and Monte Carlo simulations. The approach is implemented in a hierarchical structure at various levels from component to system safety. Salient features of the proposed methodology are illustrated through its application to a spacecraft propulsion system. |
| |
| Keywords: | Verification Offline verification Runtime verification Monte Carlo simulations Propulsion systems Automated contingency management (ACM) |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
