Logo blue background.png

Bruce Powel Douglass, Ph.D.

  • Content

    • Resources
    • Embedded World
    • Papers
    • Presentations
    • Models
    • Harmony aMBSE Overview
    • Harmony aMBSE Functional Analysis
    • Harmony Embedded Software Overview
    • Harmony ESW Nanocycle
    • Safety Analysis and Design
    • Books
    • On the Web
    • Links
  • Services

  • Public Interest

  • Blog

  • What's New

  • Forum

  • About

  • Comments

  • Site Map

  • Geekosphere

  • Members

    • Members Only
  • More

    Use tab to navigate through the menu items.
    To see this working, head to your live site.
    • Categories
    • All Posts
    • My Posts
    markus.nordstrand
    May 03, 2019

    Making refinement of logical data schema into physical data schema explicit in the model

    in Systems Engineering

    Hi!


    I am reading in Chapter 8 of Agile Systems Engineering, while simultaneously reviewing the example model TWrecks1.rpy and have some questions.


    in ibCommCoord there are three flowProperties called

    cmdProximalJointAngle:JointRadian
    cmdMedialJointAngle:JointRadian
    cmdDistalJointAngle:JointRadian

    These are combined into the message CommandedJointAngleMsg:CANMsg with the following mapping:

    Data0:unsigned char = Low byte Proximal Angle
    Data1:unsigned char = High byte Proximal Angle
    Data2:unsigned char = Low byte Medial Angle
    Data3:unsigned char = High byte Medial Angle
    Data4:unsigned char = Low byte Distal Angle
    Data5:unsigned char = High byte Distal Angle

    In paint it would look something like this:






    Now to my questions:


    1. Why are there no explicit relation between the logical flowProperties and the physical data? Wouldn't that kind of traceability be beneficial to know exactly how the logical data schema is refined into the physical? It feels unsatisfying on relying on the semantics of the text string to indicate traceability.

    2. If I where to add such a relation how would I do it in the best way?


    To I have tried to use «allocate» and «dependency», but that can only be done between the interface specification and the flow property and not to the exact value (Data0, Data1, ...). See below:



    Thanks in advance!


    Best regards

    Markus

    3 comments
    0
    Bruce Douglass
    May 03, 2019

    This topic is discussed in Chapter 10.


    The HarmomySE profile provides a <<represents>> relation to map from physical realizations to logical elements. This provides traceability from the physical elements to their logical representation. This is shown on page 219, including the construction of a table summarizing these relations.

    0
    markus.nordstrand
    May 06, 2019  ·  Edited: May 06, 2019

    Agile Systems Engineering only have 8 chapters, then there are Appendix A and B. Page 219 only contains Figure 5.23 Scenario-based use case analysis and Figure 5.24 Requirements allocated to Execute Protocol use case. Which book are you referring to?


    EDIT: I just realized that you are referring to the Harmony aMBSE Deskbook! I will review that and see if I understand how TWrecks1.rpy could be adapted to have the same kind relation! Thanks!

    0
    Bruce Douglass
    May 06, 2019

    Yes, you're right. I was referring to the Deskbook. Sorry for the confusion.

    0
    3 comments
    Site Map

    (c) Bruce Powel Douglass, Ph.D. 2019, 2020

    bruce.douglass@outlook.com