Requirement Concepts Modeling Focus Team

• Sandy Friedenthal - SAF Consulting
• John Watson
• Rick Steiner - Skygazer Consulting
• Tao Yue - Simula
• Shaukat Ali - Simula
• Brian Selvy - LSST
• Bertil Muth - Hood Group
• David Haines - Boeing
• Michael Crow - Boeing

The objective of the team is to establish the set of requirements for a comprehensive concept model of Requirements and Verification for SysML V2.

• Requirements/Verification Needs R2.2 10/13/2016 **Review Document**
• Requirements/Verification SECM Concept Diagrams 10/24/2016 **Review Document**
• Requirements/Verification SECM Concept Term Definitions 10/13/2016 **Review Document**
  

• 12 Mar 2017 - All Requirements, Term Definitions and Diagrams for the Requirements/Verification Concepts are now being maintained in the SECM and not in the documents listed below.
• Draft SysML v2 RFP Requirements for Requirements, dated 08 Mar 2017
• Requirements/Verification SECM Concept Diagrams 07 Mar 2017
• Draft Requirements for Requirements (Rev e), posted 22 Feb 2017
• Requirements/Verification SECM Concept Diagrams 08 Feb 2017
• Requirements/Verification SECM Concept Term Definitions 08 Feb 2017
• Requirements/Verification SECM Concept Diagrams 09 Jan 2017
• Requirements/Verification SECM Concept Diagrams 31 Dec 2016
• Requirements/Verification SECM Concept Diagrams 20 Dec 2016
• Requirements/Verification Needs R2.2 - 13 Oct 2016
• Requirements/Verification SECM Concept Term Definitions 15 Nov 2016
  

• See section 1.2 of the Requirement/Verification Needs document.

(R1) The next-generation modeling language must express the core systems engineering concepts. This requires definition of a robust data model that reflects these concepts. The requirements that drove SysML derive from the original Systems Engineering Conceptual Model, jointly developed by the INCOSE/OMG/AP233 WG requirements team. Modifications and refinements to this model will occur in light of lessons learned over the last several years, and as necessary to express the core systems engineering concepts.

• Completed - The SECM has been updated to included the Verification Concepts
• Updated Proposal Presentation for Verification Concepts for SysML V2, 21 Dec 2016, Brian and Dave
• IV Mapping to SysML, 15 Dec 2016, Brian and David
• Updated Proposal Presentation for Verification Concepts for SysML V2, 14 Dec 2016, Brian and Dave
• IV Mapping to SysML, 13 Dec 2016, Brian and David
• Updated Proposal Presentation for Verification Concepts for SysML V2, 23 Nov 2016, Brian and Dave
• Requirement/Verification Flight Envelope Example, 23 Nov 2016
• 1st Proposal Presentation for Verification Concepts for SysML V2, 26 Oct 2016, Brian and Dave
• 1st Proposal for Changes to Concept Term Definitions Spreadsheet, 26 Oct 2016, Brian and Dave

• Completed - Model updated, see diagrams in Requirements/Verification SECM SE Needs Concept Diagrams 11/15/2016. Specifically slide 5, “Requirements Attribute Concepts”.
• Updates to Proposal based on group review, 02 Nov2016, Bertil Muth
• Comments and 1st Proposal Presentation, 18 Oct 2016, Bertil Muth

• Completed - 01 Feb 2017
• Requirements Relationships slides, updated after web conference, 01 Feb 2017, Rick and Brian
• Requirement Relationships slides, 01 Feb 2017, Rick and Brian
• Requirement Relationships slides, 04 Jan 2017, Rick and Brian
• Requirements vs. Archetypes, 30 Nov 2016, Rick
  • This presentation was provided by Rick on 30 Nov 2016. It raises a general question/concern regarding requirements as classifiers vs requirements as properties
• Proposal Update for Requirement Relationships Recommendations, 11 Nov 2016, Rick and Brian
• Initial Proposal for Requirement Relationships Recommendations, 09 Nov 2016, Rick and Brian
• LSST Specification-Definition Example, 02 Nov 2016, Brian Selvy

• Completed - Actions listed below have been closed - Sandy asked for feedback to Tao and Shaukat proposed approach to deal with requirements uncertainty that they presented at the 23 Nov telecom. Sandy proposed the following:
  1. Include a non-normative requirement in the SysML v2 RFP for a structured natural language text requirements that incorporates concepts of uncertainty. Refer to Tao/Shaukat’s approach as a potential solution.
  2. Treat the general issue of uncertainty more generally than requirements alone. Focus initially on the uncertainty of property values. Ensure the ability to distinguish different types of uncertainty, such as the uncertainty associated with unit to unit variation (e.g., uncertainty of weight of different manufactured systems) and the uncertainty associated with a property over time due to many different system and environmental uncertainties (e.g. variation in fuel efficiency or engine temperature for a particular vehicle over time)
  3. Action: Tao/Shaukat confirm this is an acceptable proposal - Closed, Tao responded “It is a good proposal. We accept it.”
  4. Action: If confirmed, John to add this requirement and add Tao/Shaukat Structured Natural Language metamodel into the concept model as an example - Closed
  5. Action: Sandy coordinate with Hans Peter to ensure probabilities are sufficiently addressed in the Properties and Expressions concepts - Closed
• Proposal Update for SysML V2 Uncertainty, 23 Nov 2016, Shaukat and Tao
• Initial Proposal for SysML V2 Uncertainty, 09 Nov 2016, Shaukat and Tao

• Completed - See Item 4 above.
• Restricted Textual Requirements - Background Definition Proposal and Examples - 06 Feb 2017 - Tao Yue
• Updated Proposal Presentation, 1 Nov 2016, Tao and Shaukat, Includes comparison to other existing solutions
• 1st Proposal Presentation, 19 Oct 2016, Tao and Shaukat

• Completed - Presentation and discussion on 14 Dec 2016 closed this item.
• Discussion on the different structured and restricted NL based approaches, 14 Dec 2016, Tao and Shaukat

• Complete - Bjorn presented his concepts on 11 Jan 2017.
• Simplified vehicle requirement example with concepts, 11 Jan 2017, Bjorn Cole

• Completed - Bertil provided presentation below on 30 Nov 2016.
• Presentation of ReqIF Alignment, 18 Oct 2016, Bertil See slides 6 and 7.

• Meeting discussion date TBD

• Requirement Concepts WG Status, OMG Technical Meeting, 08 Dec 2016, SysML v2 RFP Working Group Meeting, John Watson
• Requirement Modeling Working Group - Earlier working group focused on improvements to SysML 1.X