search

cubesatlab / cubedos

A flight software framework in SPARK/Ada
48 stars 5 forks source link

Create Routing package #15

Open saf04231 opened 6 years ago

saf04231 commented 6 years ago

In Generic_Message_Manager, remove Route_Message and place it in its own package.

pchapin commented 2 years ago

The name of this issue is a little vague. I believe the intent was to implement some level of support for inter-domain message passing which @SevanBadal is currently working on. "Routing" might be a little grandiose for the scope of Sevan's current work; we are assuming that messages are broadcast to all domains (e. g., as if they were connected to a common network link and communicating via broadcast packets). However Sevan is "routing" between internal message delivery and "external" delivery.

My feeling is that we can close this issue once Sevan's work has stabilized and then open additional, more specific issues as needed after that.