==== JPL State Analysis (SA) ==== === Overview === * JPL-developed methodology that leverages model- and state-based control architecture * **state** — representation of momentary condition of evolving system * **models** – describe how state evolves * **state variables** — abstractions representing “knowledge” of state * Known state of system is value of its state variables at time of interest * Together, state and models supply what is needed to operate system, predict future state, control toward desired state, & assess performance * SA methodology defines iterative process for state discovery & modeling * Allows models to evolve as appropriate across project lifecycle * SA reqts process helps bridge gap between requirements on software specified by systems engineers * **Mission Data System (MDS)** — embedded software architecture designed to provide multi-mission information and control architecture for robotic exploration spacecraft * SA information compiled in “State Database" {{:mbse:sa_v4.png?450|}} {{:mbse:sa_w_fa.jpg?350|}} === Tool Support === * Tool support for State Analysis (SA) is provided by the State Database [55], which utilizes a Structured Query Language (SQL)-compliant relational database management system (RDBMS) such as Oracle® with a front end user interface. This tool supports developing, managing, inspecting, and validating system and software requirements capture as part of the SA process. === Offering/Availability === * State Analysis (SA) is a JPL-developed MBSE methodology and the offering is available by means of a series of courseware and tutorials offered by SA experts. These courses are offered through JPL Professional Development on a periodic, as-needed basis, or through reimbursable contract agreements with industry partners. As part of the hands-on exercises, access to the State Database tool and supporting training in use of the tool is provided. === Resources === * Estefan, Jeff A., “[[http://www.incose.org/ProductsPubs/pdf/techdata/MTTC/MBSE_Methodology_Survey_2008-0610_RevB-JAE2.pdf|Survey of Model-Based Systems Engineering (MBSE) Methodologies]],” Rev. B, INCOSE Technical Publication, Document No.: INCOSE-TD-2007-003-01, International Council on Systems Engineering, San Diego, CA, June 10, 2008.\\ * [[http://mds.jpl.nasa.gov/public/index.shtml|Mission Data System/State Analysis Public Web Site]], Jet Propulsion Laboratory, California Institute of Technology, June, 2010. * Ingham, Michel D., Rasmussen, Robert D., Bennett, Matthew B. and Alex C. Moncada, “[[http://pub-lib.jpl.nasa.gov/docushare/dsweb/Get/Document-244/paper7.pdf|Generating Requirements for Complex Embedded Systems Using State Analysis]],” //Acta Astronautica//, **58**, Iss. 12, pp. 648-661, Jun. 2006. * Dvorak, Dan, Rasmussen, Robert, Reeves, Glenn and Allan Sacks, “[[http://pub-lib.jpl.nasa.gov/docushare/dsweb/Get/Version-263/paper1.pdf|Software Architecture Themes in JPL’s Mission Data System]],” //Proceedings of the AIAA Guidance, Navigation, and Control Conference//, paper AIAA-99-4553, 1999. ====== Return to List of MBSE Methodologies ====== [[http://www.omgwiki.org/MBSE/doku.php?id=mbse:methodology#List of MBSE Methodologies | Click Here]]