Run-Time Assurance and Formal Methods Analysis Nonlinear System Applied to Nonlinear System Control
| Autor: | Jonathan A. Hoffman, Matthew Clark, Eric D. Swenson, Kerianne H. Gross, Aaron W. Fifarek |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
020301 aerospace & aeronautics
Functional verification Computer science Event (computing) Runtime verification Aerospace Engineering PID controller 020207 software engineering 02 engineering and technology Certification Formal methods Computer Science Applications Reliability engineering 0203 mechanical engineering 0202 electrical engineering electronic engineering information engineering Systems engineering Systems design Electrical and Electronic Engineering Envelope (motion) |
| Zdroj: | Journal of Aerospace Information Systems. 14:232-246 |
| ISSN: | 2327-3097 |
| DOI: | 10.2514/1.i010471 |
| Popis: | Exhaustive testing of complex and autonomous systems is intractable and cost prohibitive; however, design analysis techniques such as formal methods and design methodologies, including run-time assurance, could provide supplementary certification evidence early in system design. Incorporating formal methods analysis throughout the system design process provides an offline verification method to identify faults as they are introduced, which may drastically reduce the overall system development cost. In the event of a fault not identified during development, run-time assurance is a proposed online verification methodology to allow unproven autonomous controllers to perform within a predetermined envelope of acceptable behavior. In this research, a six-unit CubeSat attitude control subsystem is used as a challenge problem to evaluate the application of nontraditional verification methodologies, such as formal methods analysis and run-time assurance architectures. Strengths and weaknesses of the verification ... |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|