nasa / ogma

Generator of runtime monitors for flight and robotics applications.
Other
335 stars 25 forks source link

`ogma-cli`: Present conversion options based on backends #75

Closed ivanperez-keera closed 10 months ago

ivanperez-keera commented 1 year ago

Description

The sections of the README list conversion of FRET files first, then the cFS command, then the C structs conversion, then the ROS command.

This presentation is partly misleading, since FRET commands can also be fed to some backends.

A better way to present the information would be to list the backends available (conversion to Copilot/stand-alone C, conversion to cFS, conversion to ROS, conversion to FPrime), giving examples of the input formats.

Type

Additional context

None.

Requester

Method to check presence of bug

The issue is with the documentation. There is no good, simple automated way to check that it is correct.

Because it's not a programming issue, visual inspection is OK.

Expected result

The README file is structured around the backends and features, rather than the inputs.

Desired result

The README file is structured around the backends and features, rather than the inputs.

Proposed solution

Lay out elements in README as follows:

Further notes

None.

ivanperez-keera commented 10 months ago

Change Manager: Confirmed that the issue exists.

ivanperez-keera commented 10 months ago

Technical Lead: Confirmed that the issue should be addressed.

ivanperez-keera commented 10 months ago

Technical Lead: Issue scheduled for fixing in Ogma 1.2.

Fix assigned to: @ivanperez-keera.

ivanperez-keera commented 10 months ago

Implementor: Solution implemented, review requested.

ivanperez-keera commented 10 months ago

Change Manager: Verified that:

ivanperez-keera commented 10 months ago

Change Manager: Implementation ready to be merged.