SysML Extension for Physical Interaction and Signal Flow Simulation Avatar
  1. OMG Specification

SysML Extension for Physical Interaction and Signal Flow Simulation — All Issues

  • Acronym: SysPhS
  • Issues Count: 46
  • Description: All Issues
Closed All
All Issues

Issues Summary

Key Issue Reported Fixed Disposition Status
SYSPISF_-90 Machine files SysPISF 1.0b1 SysPhS 1.0 Resolved closed
SYSPISF_-89 Platform limitation, nested initial values SysPISF 1.0b1 SysPhS 1.0 Duplicate or Merged closed
SYSPISF_-88 Restriction sections SysPISF 1.0b1 SysPhS 1.0 Resolved closed
SYSPISF_-37 Datatypes, units SysPISF 1.0b1 SysPhS 1.0 Resolved closed
SYSPISF_-42 Property redefinition SysPISF 1.0b1 SysPhS 1.0 Resolved closed
SYSPISF_-41 Connector property in association block preprocessing SysPISF 1.0b1 SysPhS 1.0 Resolved closed
SYSPISF_-47 Default/initial summary SysPISF 1.0b1 SysPhS 1.0 Resolved closed
SYSPISF_-40 Clause 6.2 not referring to Annex SysPISF 1.0b1 SysPhS 1.0 Resolved closed
SYSPISF_-39 Modelica 3.4, eBNF SysPISF 1.0b1 SysPhS 1.0 Resolved closed
SYSPISF_-46 SimulinkPort and ModelicaPort are optional SysPISF 1.0b1 SysPhS 1.0 Resolved closed
SYSPISF_-45 Component library names, arguments SysPISF 1.0b1 SysPhS 1.0 Resolved closed
SYSPISF_-44 Component library headers, behavior SysPISF 1.0b1 SysPhS 1.0 Resolved closed
SYSPISF_-43 Platform library, constants, properties, multidimensional values SysPISF 1.0b1 SysPhS 1.0 Resolved closed
SYSPISF_-48 S-Function capitalization SysPISF 1.0b1 SysPhS 1.0 Resolved closed
SYSPISF_-32 Simulink physical interaction SysPISF 1.0b1 SysPhS 1.0 Resolved closed
SYSPISF_-30 Simscape left/right annotations, Simulink port arrays & blocks SysPISF 1.0b1 SysPhS 1.0 Resolved closed
SYSPISF_-36 Platform block/property correspondences SysPISF 1.0b1 SysPhS 1.0 Resolved closed
SYSPISF_-34 Simulink/Simscape block correspondences, clause order SysPISF 1.0b1 SysPhS 1.0 Resolved closed
SYSPISF_-33 Package correspondences, clause order SysPISF 1.0b1 SysPhS 1.0 Resolved closed
SYSPISF_-38 Assignments SysPISF 1.0b1 SysPhS 1.0 Resolved closed
SYSPISF_-5 SimProperty/SimBlock not needed SysPISF 1.0b1 SysPhS 1.0 Resolved closed
SYSPISF_-31 Connector clauses should give correspondences SysPISF 1.0b1 SysPhS 1.0 Resolved closed
SYSPISF_-29 Connecting parts to themselves SysPISF 1.0b1 SysPhS 1.0 Resolved closed
SYSPISF_-28 Expression language, function semantics SysPISF 1.0b1 SysPhS 1.0 Resolved closed
SYSPISF_-35 Simscape generalization example, nodes->components SysPISF 1.0b1 SysPhS 1.0 Resolved closed
SYSPISF_-27 changeCycle definition too restrictive SysPISF 1.0b1 SysPhS 1.0 Resolved closed
SYSPISF_-26 Clause 7.2.2 should refer to simulation runs SysPISF 1.0b1 SysPhS 1.0 Resolved closed
SYSPISF_-25 Scope: modeling vs performance SysPISF 1.0b1 SysPhS 1.0 Resolved closed
SYSPISF_-24 Physical value types SysPISF 1.0b1 SysPhS 1.0 Duplicate or Merged closed
SYSPISF_-23 Multiple generalization SysPISF 1.0b1 SysPhS 1.0 Duplicate or Merged closed
SYSPISF_-21 Constraints in constraint blocks should be in compartments SysPISF 1.0b1 SysPhS 1.0 Duplicate or Merged closed
SYSPISF_-20 State machine should use time events and library elements SysPISF 1.0b1 SysPhS 1.0 Duplicate or Merged closed
SYSPISF_-19 Physical constraint modeling text SysPISF 1.0b1 SysPhS 1.0 Duplicate or Merged closed
SYSPISF_-18 Stereotype constraint wording SysPISF 1.0b1 SysPhS 1.0 Duplicate or Merged closed
SYSPISF_-3 Improve stereotype names SysPISF 1.0b1 SysPhS 1.0 Duplicate or Merged closed
SYSPISF_-22 Preprocessing patterns SysPISF 1.0b1 SysPhS 1.0 Duplicate or Merged closed
SYSPISF_-17 SimVariable semantics SysPISF 1.0b1 SysPhS 1.0 Duplicate or Merged closed
SYSPISF_-16 Missing constraints and multiplicities on SimConstant and SimVariable SysPISF 1.0b1 SysPhS 1.0 Duplicate or Merged closed
SYSPISF_-15 Specializations of primitive types SysPISF 1.0b1 SysPhS 1.0 Duplicate or Merged closed
SYSPISF_-14 Property types in constraints SysPISF 1.0b1 SysPhS 1.0 Duplicate or Merged closed
SYSPISF_-13 SimConstant type constraints SysPISF 1.0b1 SysPhS 1.0 Duplicate or Merged closed
SYSPISF_-12 Stereotype labels SysPISF 1.0b1 SysPhS 1.0 Duplicate or Merged closed
SYSPISF_-11 Use library in translations SysPISF 1.0b1 SysPhS 1.0 Duplicate or Merged closed
SYSPISF_-6 Physical interaction library SysPISF 1.0b1 SysPhS 1.0 Duplicate or Merged closed
SYSPISF_-1 Binding connector notation: Use "equal" instead of "equals" SysPISF 1.0b1 SysPhS 1.0 Duplicate or Merged closed
SYSPISF_-2 More detail needed in Annex A SysPISF 1.0b1 SysPhS 1.0 Duplicate or Merged closed

Issues Descriptions

Machine files

  • Status: closed  
  • Source: Airbus Group ( Mr. Yves Bernard)
  • Summary:

    The XMI files need to be updated (normative and nonnormative).

  • Reported: SysPISF 1.0b1 — Mon, 2 Oct 2017 21:37 GMT
  • Disposition: Resolved — SysPhS 1.0
  • Disposition Summary:

    SYSPISF_-90 machine files

    See SysPhS-XMI.zip for machine-readable files:

    • SysPhSProfile.xmi (normative)
    • SysPhSLibrary.xmi (normative)
    • SysPhSAnnexA-ElectricCircuit.xmi (non-normative)
    • SysPhSAnnexA-Humidifier.xmi (non-normative)
    • SysPhSAnnexA-Hydraulics.xmi (non-normative)
    • SysPhSAnnexA-SignalProcessor.xmi (non-normative)
  • Updated: Mon, 2 Apr 2018 18:09 GMT
  • Attachments:

Platform limitation, nested initial values


Restriction sections

  • Status: closed  
  • Source: NIST ( Mr. Raphael Barbau)
  • Summary:

    The restriction sections in Clause 10 summary subclauses are redundant with the correspondences and can be removed.

  • Reported: SysPISF 1.0b1 — Mon, 2 Oct 2017 17:51 GMT
  • Disposition: Resolved — SysPhS 1.0
  • Disposition Summary:

    SYSPISF_-88 revision

    _

  • Updated: Mon, 2 Apr 2018 18:09 GMT

Datatypes, units

  • Status: closed  
  • Source: oose Innovative Informatik eG ( Mr. Tim Weilkiens)
  • Summary:

    Clauses 10.10 and 10.6.11 should refer to valuetypes in SysML, rather than datatypes. Clause 10.10 should mention that the unit in the example is from the library in Figure 20 and should use the same notation in Figure 16. The type wording in the last row of the table in Clause 10.5.6 should be clarified. Correspondences should be given between standard and platform-specific unit symbols, and standard symbols used in Figure 20. Figure 20 should qualify Real, include time/seconds, and be in a clause at the same levels as component interaction/behavior.

  • Reported: SysPISF 1.0b1 — Tue, 19 Sep 2017 19:02 GMT
  • Disposition: Resolved — SysPhS 1.0
  • Disposition Summary:

    SYSPISF_-37 revision

    See SYSPISF_-37-revised-text.docx for revised text.

  • Updated: Mon, 2 Apr 2018 18:09 GMT
  • Attachments:

Property redefinition


Connector property in association block preprocessing


Default/initial summary


Clause 6.2 not referring to Annex

  • Status: closed  
  • Source: NIST ( Mr. Mehdi Dadfarnia)
  • Summary:

    In Clause 6.2, the last sentence should refer to Annex A, rather than 11.4.

  • Reported: SysPISF 1.0b1 — Tue, 19 Sep 2017 19:04 GMT
  • Disposition: Resolved — SysPhS 1.0
  • Disposition Summary:

    SYSPISF_-40 revision

    _

  • Updated: Mon, 2 Apr 2018 18:09 GMT

Modelica 3.4, eBNF


SimulinkPort and ModelicaPort are optional

  • Status: closed  
  • Source: oose Innovative Informatik eG ( Mr. Tim Weilkiens)
  • Summary:

    Clause 11.3 should explain that SimulinkPort and ModelicaPort are only necessary when the name of the Simulink or Modelica port differs from the library port name. Otherwise, ports owned or inherited by SimulinkBlock or ModelicaBlock correspond to Simulink or Modelica ports of the same name, and SimulinkPort and ModelicaPort do not need to be applied.

  • Reported: SysPISF 1.0b1 — Tue, 19 Sep 2017 19:10 GMT
  • Disposition: Resolved — SysPhS 1.0
  • Disposition Summary:

    SYSPISF_-46 revision

    _

  • Updated: Mon, 2 Apr 2018 18:09 GMT

Component library names, arguments


Component library headers, behavior

  • Status: closed  
  • Source: NIST ( Mr. Conrad Bock)
  • Summary:

    The table headers in Clause 11.3 are inconsistent, referring to either the type of element or a name, some capitalized and other not, and the platform columns are called out but not the component library columns. The behavior column is not explained well enough.

  • Reported: SysPISF 1.0b1 — Tue, 19 Sep 2017 19:08 GMT
  • Disposition: Resolved — SysPhS 1.0
  • Disposition Summary:

    SYSPISF_-44 revision

    See SYSPISF_-44-revised-text.docx for revised text.

  • Updated: Mon, 2 Apr 2018 18:09 GMT
  • Attachments:

Platform library, constants, properties, multidimensional values

  • Status: closed  
  • Source: Airbus Group ( Mr. Yves Bernard)
  • Summary:

    In Clause 11.4, Modelica and Simulink parameters should be kinds of PhSConstants. The dimensions and value properties have the wrong types and multiplicities (and dimensions should be singular). The application of MultiDimensionalElement in 11.3 needs more explanation and multiplicities shown. Vector signal elements used in the component library are missing.

  • Reported: SysPISF 1.0b1 — Tue, 19 Sep 2017 19:07 GMT
  • Disposition: Resolved — SysPhS 1.0
  • Disposition Summary:

    SYSPISF_-43 revision

    See SYSPISF_-43-revised-text.docx for revised text.

  • Updated: Mon, 2 Apr 2018 18:09 GMT
  • Attachments:

S-Function capitalization


Simulink physical interaction


Simscape left/right annotations, Simulink port arrays & blocks

  • Status: closed  
  • Source: Airbus Group ( Mr. Yves Bernard)
  • Summary:

    Left/right annotations should be used on all Simscape correspondences for nodes, inputs, and outputs (in case Simscape components are used by Simulink, which requires them). The Simscape code in Clause 10.8.6 should define inputs and outputs the same way as in Clause 10.6.6. Simulink’s use of arrays to specify ports should be explained, as well as block identifiers.

  • Reported: SysPISF 1.0b1 — Tue, 19 Sep 2017 18:56 GMT
  • Disposition: Resolved — SysPhS 1.0
  • Disposition Summary:

    SYSPISF_-30 revision

    See SYSPISF_-30-revised-text.docx for revised text.

  • Updated: Mon, 2 Apr 2018 18:09 GMT
  • Attachments:

Platform block/property correspondences

  • Status: closed  
  • Source: Dassault Systemes ( Mr. Nerijus Jankevicius)
  • Summary:

    List the concrete Modelica and Simulink elements used under their abstractions (class and block respectively), with forward references as needed (Clause 10.2.3 in particular is too general). Simulink block correspondences in Clause 10.3.4 should be in 10.2.4. Clause 10.2.4 should refer to 10.3.4 for the details of models and libraries.

  • Reported: SysPISF 1.0b1 — Tue, 19 Sep 2017 19:01 GMT
  • Disposition: Resolved — SysPhS 1.0
  • Disposition Summary:

    SYSPISF_-36 revision

    See SYSPISF_-36-revised-text.docx for revised text.

  • Updated: Mon, 2 Apr 2018 18:09 GMT
  • Attachments:

Simulink/Simscape block correspondences, clause order


Package correspondences, clause order

  • Status: closed  
  • Source: oose Innovative Informatik eG ( Mr. Tim Weilkiens)
  • Summary:

    Clause 10.3 should focus SysML package correspondences on platform elements, with files supporting the elements. Simscape has no language element corresponding to SysML packages, so the clause should explain in terms of Simscape files and compiled libraries. Code samples in Clauses 10.2 and 10.4 should reflect the SysML packages in 10.2.2 and 10.4.2, respectively (and the SysML figures should include blocks referenced in the package). Clause 10.3.4 code sample should separate model and library (saying more about their purpose and referring to Clause 10.2.4 for details about blocks). Clause 10.2 should be after 10.3.

  • Reported: SysPISF 1.0b1 — Tue, 19 Sep 2017 18:59 GMT
  • Disposition: Resolved — SysPhS 1.0
  • Disposition Summary:

    SYSPISF_-33 revision

    See SYSPISF_-33-revised-text.docx for revised text.

  • Updated: Mon, 2 Apr 2018 18:09 GMT
  • Attachments:

Assignments

  • Status: closed  
  • Source: oose Innovative Informatik eG ( Mr. Tim Weilkiens)
  • Summary:

    Clause 6.1 distinguishes signal flow and physical interaction partly by whether assignments or equations are used, but signal flow mostly uses equations in the rest of the spec. The rest of spec refers to equations and assignments, but the expression language can also be used in ChangeExpressions.

  • Reported: SysPISF 1.0b1 — Tue, 19 Sep 2017 19:03 GMT
  • Disposition: Resolved — SysPhS 1.0
  • Disposition Summary:

    SYSPISF_-38 revision

    See SYSPISF_-38-revised-text.docx for revised text.

  • Updated: Mon, 2 Apr 2018 18:09 GMT
  • Attachments:

SimProperty/SimBlock not needed

  • Key: SYSPISF_-5
  • Status: closed  
  • Source: Dassault Systemes ( Mr. Nerijus Jankevicius)
  • Summary:

    Simulation properties and blocks aren’t needed:

    • Physical interaction could be modeled with fl owproperties typed by specialized conserved substance types that have potential and flow rate simulation variables. These could be in compartments labelled for physical interactions.
    • Signal flow could be modeled with flow properties typed by Real, Integer, or Boolean, and that have SimVariable applied. These could be in compartments labelled for signal flows.
  • Reported: SysPISF 1.0b1 — Tue, 12 Sep 2017 19:11 GMT
  • Disposition: Resolved — SysPhS 1.0
  • Disposition Summary:

    SysPISF_-5 revision

    _

  • Updated: Mon, 2 Apr 2018 18:09 GMT
  • Attachments:

Connector clauses should give correspondences

  • Status: closed  
  • Source: NIST ( Mr. Conrad Bock)
  • Summary:

    Clauses 10.7.4 through 10.7.6 should give correspondences between SysML and simulation platforms, like the other clauses do. Some code is missing the container object shown in Figure 12 or uses a different name for it. Figure 12 uses Spring for two parts, but these parts are different in Clause 10.7.6.

  • Reported: SysPISF 1.0b1 — Tue, 19 Sep 2017 18:57 GMT
  • Disposition: Resolved — SysPhS 1.0
  • Disposition Summary:

    SYSPISF_-31 revision

    See SYSPISF_-31-revised-text.docx for revised text.

  • Updated: Mon, 2 Apr 2018 18:09 GMT
  • Attachments:

Connecting parts to themselves

  • Status: closed  
  • Source: Airbus Group ( Mr. Yves Bernard)
  • Summary:

    Clause 10.7 sometimes is worded as if simulation platforms and the correspondences with SysML do not support connectors between ports on the same part, but they do.

  • Reported: SysPISF 1.0b1 — Tue, 19 Sep 2017 18:55 GMT
  • Disposition: Resolved — SysPhS 1.0
  • Disposition Summary:

    SYSPISF_-29 revision

    _

  • Updated: Mon, 2 Apr 2018 18:09 GMT

Expression language, function semantics

  • Status: closed  
  • Source: Dassault Systemes ( Mr. Nerijus Jankevicius)
  • Summary:

    The last paragraph of Clause 8 states that the functions are available assuming translation, but function semantics doesn't depend on the translations.

  • Reported: SysPISF 1.0b1 — Tue, 19 Sep 2017 18:54 GMT
  • Disposition: Resolved — SysPhS 1.0
  • Disposition Summary:

    SYSPISF_-28 revision

    _

  • Updated: Mon, 2 Apr 2018 18:09 GMT

Simscape generalization example, nodes->components

  • Status: closed  
  • Source: Dassault Systemes ( Mr. Nerijus Jankevicius)
  • Summary:

    The code example in Clauses 10.4.5 should use member components rather than nodes.

  • Reported: SysPISF 1.0b1 — Tue, 19 Sep 2017 19:01 GMT
  • Disposition: Resolved — SysPhS 1.0
  • Disposition Summary:

    SYSPISF_-35 revision

    _

  • Updated: Mon, 2 Apr 2018 18:09 GMT

changeCycle definition too restrictive

  • Status: closed  
  • Source: Dassault Systemes ( Mr. Nerijus Jankevicius)
  • Summary:

    Clause 7.2.4 (SimVariable), Attributes, changeCycle, the text should include cases where the value does not change every interval.

  • Reported: SysPISF 1.0b1 — Tue, 19 Sep 2017 18:54 GMT
  • Disposition: Resolved — SysPhS 1.0
  • Disposition Summary:

    SYSPISF_-27 revision

    _

  • Updated: Mon, 2 Apr 2018 18:09 GMT

Clause 7.2.2 should refer to simulation runs

  • Status: closed  
  • Source: oose Innovative Informatik eG ( Mr. Tim Weilkiens)
  • Summary:

    Clause 7.2.2 (SimConstant) should to simulation runs, rather than simulation in general. The second sentence isn’t grammatical.

  • Reported: SysPISF 1.0b1 — Tue, 19 Sep 2017 18:53 GMT
  • Disposition: Resolved — SysPhS 1.0
  • Disposition Summary:

    SYSPISF_-26 revision

    _

  • Updated: Mon, 2 Apr 2018 18:09 GMT

Scope: modeling vs performance

  • Status: closed  
  • Source: oose Innovative Informatik eG ( Mr. Tim Weilkiens)
  • Summary:

    In Clause 1 (Scope), the first bullet says the extension performs simulation, but the extension only models simulation.

  • Reported: SysPISF 1.0b1 — Tue, 19 Sep 2017 18:52 GMT
  • Disposition: Resolved — SysPhS 1.0
  • Disposition Summary:

    SYSPISF_-25 revision

    _

  • Updated: Mon, 2 Apr 2018 18:09 GMT



Constraints in constraint blocks should be in compartments


State machine should use time events and library elements


Physical constraint modeling text



Improve stereotype names

  • Key: SYSPISF_-3
  • Status: closed  
  • Source: Airbus Group ( Mr. Yves Bernard)
  • Summary:

    The stereotype defined in order to support simulation of physical and signal flows might also be used for specifying related system characteristics through a model, independently of any simulation intent.

    However, the "Sim" prefix used for each stereotype defined in this profile might discourage such an utilization and so it tends to restrict its domain of application. It's a shame.

    Consider using a more neutral prefix like "pisf" or avoiding using the "Sim" prefix for all of the stereotypes. Especially constants are of far broader interest than simulation only (and should event be introduced in SysML to me). The name "Constant" would be convenient. Also, I think that "SimVariable" could be renamed "FlowVariable".

  • Reported: SysPISF 1.0b1 — Thu, 27 Apr 2017 07:12 GMT
  • Disposition: Duplicate or Merged — SysPhS 1.0
  • Disposition Summary:

    Merge SYSPISF_-3 into SYSPISF_-5

    Merge SYSPISF_-3 into SYSPISF_-5

  • Updated: Mon, 2 Apr 2018 18:09 GMT

Preprocessing patterns

  • Status: closed  
  • Source: Airbus Group ( Mr. Yves Bernard)
  • Summary:

    Clause 9 should include preprocessing for other common SysML modeling patterns, such as blocks with several simulation flow properties typing parts, blocks with non-simulation flow properties typing ports, and connectors between these.

  • Reported: SysPISF 1.0b1 — Tue, 19 Sep 2017 18:49 GMT
  • Disposition: Duplicate or Merged — SysPhS 1.0
  • Disposition Summary:

    Merge SYSPISF_-22 into SYSPISF_-5

    Merge SYSPISF_-22 into SYSPISF_-5

  • Updated: Mon, 2 Apr 2018 18:09 GMT

SimVariable semantics

  • Status: closed  
  • Source: NIST ( Mr. Raphael Barbau)
  • Summary:

    The SimVariable description paragraph states that connected conserved sim variables have values of opposite sign. This is not true when more than two variables are involved.

  • Reported: SysPISF 1.0b1 — Tue, 19 Sep 2017 18:45 GMT
  • Disposition: Duplicate or Merged — SysPhS 1.0
  • Disposition Summary:

    Merge SYSPISF_-17 into SYSPISF_-5

    Merge SYSPISF_-17 into SYSPISF_-5

  • Updated: Mon, 2 Apr 2018 18:09 GMT

Missing constraints and multiplicities on SimConstant and SimVariable

  • Status: closed  
  • Source: Airbus Group ( Mr. Yves Bernard)
  • Summary:

    For example: Conserved variables should be continuous. Continuous variables must be Real. Constants and variables should have redefinition constraints. Variables should have constraints for when they are on blocks typing connected parts or ports in internal block diagrams. Multiplicities on constants and variables are missing.

  • Reported: SysPISF 1.0b1 — Tue, 19 Sep 2017 18:36 GMT
  • Disposition: Duplicate or Merged — SysPhS 1.0
  • Disposition Summary:

    Merge SYSPISF_-16 into SYSPISF_-5

    Merge SYSPISF_-16 with SYSPISF_-5

  • Updated: Mon, 2 Apr 2018 18:09 GMT






Physical interaction library

  • Key: SYSPISF_-6
  • Status: closed  
  • Source: NIST ( Mr. Conrad Bock)
  • Summary:

    The title of Clause 11.2 (Port types) should be changed to 'Component interaction'. Clarifications should be added that the components do not need to be used as port types. The conserved substances are quantity kinds, as in SysML, and should be referred to that way. They should have a common abstraction, specialized from SysML QuantityKind.

  • Reported: SysPISF 1.0b1 — Tue, 19 Sep 2017 18:19 GMT
  • Disposition: Duplicate or Merged — SysPhS 1.0
  • Disposition Summary:

    Merge SYSPISF_-6 into SYSPISF_-5

    Merge SYSPISF_-6 into SYSPISF_-5

  • Updated: Mon, 2 Apr 2018 18:09 GMT

Binding connector notation: Use "equal" instead of "equals"


More detail needed in Annex A