1. SECM - Requirements Concepts - Review
John Watson
07 Feb 2017 Rev A

2. Changes to Review Slide 3 – Added Element Group
Slide 4 and 5 – No significant change
Slide 6 – Requirement Relationships
Removed Rationale Relationship from diagram. Now part of Model Element Relationship Diagram
Added Refine Relationship as a generalization of Requirement Refine Relationship
Slide 7 – Verification Concepts updated based on Context Pattern
All Slides – Any comment that was an open issue or question are now stereotypes as «problem»

3. Requirement Concepts

4. Formal Requirement Concepts

5. Requirements Attribute Concepts

6. Requirement Relationship Concepts Diagram

7. Verification Concepts updated based on context pattern

8. Verification Terms Table

9. Verification Terms Table (continued)

10. Vehicle Weight Performance Requirement Example

11. Analysis Context Diagram - Vehicle Weight Verification Via Analysis Example

12. Analysis Parametric Diagram - Vehicle Weight Verification Via Analysis Example

13. Decompose a Compound Text Based Requirement Example

14. Design Constraint Requirement Example

15. Transform a Text based Functional Requirement to a Formal Requirement Example

16. Vehicle Stopping Distance Example

17. Vehicle Stopping Distance Parametric Diagram

18. Functional Requirement Example -Updated 9/xx/2016

19. Interface Requirement Example, Central Heating System Context Realization

20. Controller-Sensor Interface Realization20

21. High Level Requirements - Controller-Sensor Interface Specification21

22. Detailed Requirements - Controller-Sensor Interface Specification22

23. Controller-Sensor Interface Specification Model23

24. Controller-Inlet Valve Interface Realization

25. Controller-Inlet Valve Interface High Level Specification

26. Controller-Inlet Valve Interface Detailed Generated Requirements

27. Controller-Inlet Valve Interface Specification Model

28. Controller-Sensor & Controller-Inlet Valve Requirement Table - 11/13/2016

29. Restricted Text Statement Metamodel Example

30. USB Library Example

31. Constraint Evaluation Library Example

32. Stereotypes Types Used in Requirement Examples

33. Value Types Used in Examples

34. Derived Required Requirement Example Engine Power from Vehicle Weight & Vehicle Acceleration
Constraint can be reused for
defining the power requirement
and the weight requirement
Pwr-actual
Pwr-reqd = k * Wt-reqd
Engine
Power
Pwr-actual>Pwr-reqd
Accel = 0-60 in 10 sec
Wt-reqd
Vehicle Weight

35. Derived Desired Requirement Example Engine Power from Vehicle Weight & Vehicle Acceleration
Constraint can be reused for
defining the power requirement
and the weight requirement
Pwr-actual>Pwr-desired
Pwr-reqd = k * Wt-reqd
Engine
Power
Pwr-actual
Accel = 0-60 in 5 sec
Accel = 0-60 in 10 sec
Wt-reqd
Vehicle Weight

36. MIL-STD-961E Requirement Specification Example