|
BEACON eSpace at Jet Propulsion Laboratory >
JPL Technical Report Server >
JPL TRS 1992+ >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/2014/42632
|
| Title: | Modeling Off-Nominal Behavior in SysML |
| Authors: | Day, John C.
Donahue, Kenneth
Ingham, Michel
Kadesch, Alex
Kennedy, Andrew K.
Post, Ethan |
| Keywords: | System Modeling Language (SysML).
fault protection |
| Issue Date: | 21-Jun-2012 |
| Publisher: | Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2012. |
| Citation: | AIAA Infotech 2012: Garden Grove, California, June 19-21, 2012 |
| Abstract: | Specification and development of fault management functionality in systems is performed in an ad hoc way - more of an art than a science. Improvements to system reliability, availability, safety and resilience will be limited without infusion of additional formality into the practice of fault management. Key to the formalization of fault management is a precise representation of off-nominal behavior. Using the upcoming Soil Moisture Active-Passive (SMAP) mission for source material, we have modeled the off-nominal behavior of the SMAP system during its initial spin-up activity, using the System Modeling Language (SysML). In the course of developing these models, we have developed generic patterns for capturing off-nominal behavior in SysML. We show how these patterns provide useful ways of reasoning about the system (e.g., checking for completeness and effectiveness) and allow the automatic generation of typical artifacts (e.g., success trees and FMECAs) used in system analyses. |
| URI: | http://hdl.handle.net/2014/42632 |
| Appears in Collections: | JPL TRS 1992+
|
Items in DSpace are protected by copyright, but are furnished with U.S. government purpose use rights.
|
