search

micro-ROS / system_modes

System modes for ROS 2 and micro-ROS
Apache License 2.0
43 stars 9 forks source link

Consistency check of SMH file #6

Open norro opened 5 years ago

norro commented 5 years ago

Introduce consistency check of SMH file (yaml). Examples for - currently not detected - inconsistencies:

  1. systems specify parts that are themselves not specified in the SMH file
  2. system modes refer to modes of their parts that are not specified
norro commented 4 years ago

A first step (before the semantic check) should be to validate the SMH file against a schema. Rx seems to be a possible way to do this.

norro commented 3 years ago

Rx available here: https://github.com/rjbs/Rx