Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FRIEDENTHAL-9780128002025 A Practical Guide to SysML The Systems Modeling Language Third edition Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. CH16 - WATER DISTILLER EXAMPLE USING FUNCTIONAL ANALYSIS Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.1 Package diagram of the organization of the distiller model. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.2 Organization of requirements for distiller problem. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.3 Capture of mission statement as a set of requirements. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.4 Decomposing a requirement using containment. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.5 Establishing a context for the distiller system Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.6 Establishing an initial set of use cases for the distiller system, based on system context. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.7 Establishing purification requirement. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.8 Derivation of initial distiller system requirements. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.9 Tracking deriveReqt relationships in a matrix. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.10 Initial decomposition of distiller functions. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.11 Representing states of H2O. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.12 Initial activity diagram of Distill Water. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.13 Derivation of the Drain Residue requirement. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.14 A batch distiller (left) and a continuous distiller (right). Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.15 Initial continuous distiller activity diagram. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.16 Continuous distiller activity diagram with recovered heat. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.17 Initial Distiller structure. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.18 Distill Water activity model with actions allocated to parts of the Distiller. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.19 Distiller breakdown with ports. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.20 Initial distiller internal configuration with item flow and allocation. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.21 Allocating flows from Distill Water object flows to Distiller properties. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.22 Defining parametric relationships as a prelude to analysis. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.23 Analysis reveals a problem in the initial design. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.24 Revising behavior to accommodate diverting feed water. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.25 Revised distiller internal structure with flow diverter. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.26 Analysis of revised distiller confirms benefit of flow diverter. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.27 Defining operator interaction using a sequence diagram. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.28 Distiller internal structure with controller and user interface. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.29 Interface block for boiler signals. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved. FIGURE 16.30 Controller state machine for distiller. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.