cubesatlab / cubedos

A flight software framework in SPARK/Ada

cubesatlab/cubedos Issues

Child packages should be handled properly
Closed 2 months ago
Update Mercury in response to the addition of Message_Address
Updated 2 months ago
Mailbox Sizes
Updated 2 months ago
Need to Make a Decision about Name resolution
Updated 2 months ago
Update Sample Programs for message refactor
Updated 2 months ago
Fix Async SPARK Proofs
Closed 2 months ago1
Depreciate Publish Subscribe Server
Updated 2 months ago1
Empty message structs should be allowed
Updated 2 months ago
Comments should be forwarded to the generated code
Updated 2 months ago
Typed constants should be supported
Updated 2 months ago
Message invariants should allow more flexible expression forms
Updated 2 months ago
Encoding/Decoding of Time should include fractional part
Updated 2 months ago
Range constraints should allow 'First to be used when defining the lower bound of a range
Updated 2 months ago
Mercury should allow constant expressions in places where constants are currently expected
Updated 2 months ago
Transport Module Send Queues
Updated a year ago1
Need to Pick an Application File Structure Convention
Updated a year ago
Floating point XDR Functions
Updated a year ago
Create sample program for the publish/subscribe server
Updated a year ago4
Implement a tool to check that an application's module => mailbox mapping is bijective
Closed a year ago1
Implement a tool to check that messages are sent to the correct mailbox
Closed a year ago1
Potential Messaging System Refactor
Closed a year ago5
How should the Time Server deal with multiple domains?
Closed a year ago
Review documentation to reflect the way multi-domain systems are now supported
Updated 2 years ago4
Enhance Documentation to include information about the sample program
Updated 2 years ago
How should the Publish/Subscribe Server deal with multiple domains?
Updated 2 years ago
Modify Ping Pong to use two communication domains in two separate processes
Updated 2 years ago1
Create a version of Route_Message that sends messages over TCP/IP
Updated 2 years ago1
Create Routing package
Updated 2 years ago1
Sort CubedOS mailboxes by message priority
Updated 3 years ago3
Modify Ping Pong so it measures message processing performance in some useful way
Closed 3 years ago2
The time server should use absolute time anchored to external universal clocks
Updated 3 years ago
Lack tests of XDR encoding/decoding of negative values
Closed 4 years ago
The test/demo program for the tick generator should demonstrate an absolute tick request
Closed 5 years ago1
Create Message_Manager test program
Closed 5 years ago
Modify Ping Pong to use and display Request_ID values in some useful way
Closed 5 years ago1
Look into using GNATdoc for low level documentation
Closed 5 years ago1
Implement CFDP for CubedOS
Closed 5 years ago2
Implement a bridge to cFE/CFS
Updated 6 years ago
XDR2OS3: Encoding/Decoding of Time should include fractional part
Closed 6 years ago1
Update and finish the LineRider sample
Updated 6 years ago
Implement data compression algorithms in the CubedOS library
Updated 6 years ago
The CubedOS documentation lacks information about the multi-domain architecture
Updated 6 years ago