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

2. 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.

3. 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.

4. 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.

5. 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.

6. 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.

7. 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.

8. 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.

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

10. 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.

11. 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.

12. 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.

13. 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.

14. 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.

15. 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.

16. 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.

17. 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.

18. 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.

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

20. 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.

21. 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.

22. 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.

23. 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.

24. 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.

25. 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.

26. 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.

27. 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.

28. 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.

29. 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.

30. 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.

31. 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.

32. 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.