JPL Technical Report Server

Modeling Off-Nominal Behavior in SysML

Show simple item record

dc.contributor.author Day, John C.
dc.contributor.author Donahue, Kenneth
dc.contributor.author Ingham, Michel
dc.contributor.author Kadesch, Alex
dc.contributor.author Kennedy, Andrew K.
dc.contributor.author Post, Ethan
dc.date.accessioned 2013-01-18T17:30:25Z
dc.date.available 2013-01-18T17:30:25Z
dc.date.issued 2012-06-21
dc.identifier.citation AIAA Infotech 2012: Garden Grove, California, June 19-21, 2012 en_US
dc.identifier.clearanceno 12-2279
dc.identifier.uri http://hdl.handle.net/2014/42632
dc.description.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. en_US
dc.description.sponsorship NASA/JPL en_US
dc.language.iso en_US en_US
dc.publisher Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2012. en_US
dc.subject System Modeling Language (SysML). en_US
dc.subject fault protection en_US
dc.title Modeling Off-Nominal Behavior in SysML en_US
dc.type Preprint en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search


Browse

My Account