odu-cga-cubesat / dilophos Goto Github PK

The operating modes of DilophOS can be modeled as a finite state machine (FSM) and represented as a UML state diagram and/or class diagram. This can serve as the minimal architecture for the DilophOS flight software

Implementation:

• specify FSM as m30ml functions
• generate view, using liquid template

in case mission modes hang on an operation or computation

add interrupt timer for generating latest TLE in FSM

software watchdog timer should be modeled or referenced to in FSM

should include, at minimum

• name
• description
• version
• license

add state change from TaskDispatcher to itself for no scheduled task in FSM

refactor FSM as DOF component, whose internal activities are component functions, whose views (s.a., finite state machine, class diagram) via templates as to capture architecture in a single source of truth

from which a template can render views, s.a., a class diagram or a finite state machine, where both class diagram and finite state machine are generated views from the same authoritative source of truth.

Need to add state for handling updates to beacon rate, as per https://odu-cga-cubesat.github.io/sealion-mission-architecture/#_3_update_beacon_rate

I'm thinking the runqueue will work much like a cronjob used for executing scheduled tasks on Unix/Linux systems

generate class diagram for FSM

need to be able to update rate at which orbit propagator computes latest TLE via ground station

This issue entails renaming the repo to something more original than FSW or flight-software.

Contending candidates include:

• DilophOS
• DeCoSatOS
• F'' (F Double Prime). i.e., a derivative of F Prime

since scheduling is no longer needed as of ODU-CGA-CubeSat/sealion-mission-architecture#213, Mission Modes should transition directly to each other

MM1, MM2, & MM3 states should include an activity to record TLE at start and end of state

#32 should be AODS data, not battery health, as that's covered in the health packet

Candidates can include:

• F Prime
• KubOS
• Bright Ascension

need to be able to update GPS ping rate via ground station

refactor flight s/w architecture (dilophos) as an fpp model as to be a formal specification that can be transpiled to flight code

• add changes to architecture as per @jabedrabboODU notes in/as fpp model
• add minimal build script to run fpp analysis tools for validating fpp model
• configure CI to run minimal build script