Commit 3ce341a6 authored by Rafal Babski's avatar Rafal Babski
Browse files

Merge branch 'demo-sat-dev' into 'master'

Demo sat dev

See merge request msp/demo-sat!2
parents b523d9b5 e65a6d21
demo-sat/.cache/
# Ignore whole work directory
demo-sat/work/*
# Except HAL source files
!demo-sat/work/hal
demo-sat/work/hal/*
!demo-sat/work/hal/C
demo-sat/work/hal/C/*
!demo-sat/work/hal/C/src
demo-sat/work/hal/C/src/*
!demo-sat/work/hal/C/src/hal.c
# Except ThermalManager
!demo-sat/work/thermalmanager/
demo-sat/work/thermalmanager/*
!demo-sat/work/thermalmanager/SDL
demo-sat/work/thermalmanager/SDL/*
!demo-sat/work/thermalmanager/SDL/src
demo-sat/work/thermalmanager/SDL/src/*
!demo-sat/work/thermalmanager/SDL/src/thermalmanager.pr
# Except PayloadManager
!demo-sat/work/payloadmanager/
demo-sat/work/payloadmanager/*
!demo-sat/work/payloadmanager/SDL
demo-sat/work/payloadmanager/SDL/*
!demo-sat/work/payloadmanager/SDL/src
demo-sat/work/payloadmanager/SDL/src/*
!demo-sat/work/payloadmanager/SDL/src/payloadmanager.pr
# Except ModeManager
!demo-sat/work/modemanager/
demo-sat/work/modemanager/*
!demo-sat/work/modemanager/SDL
demo-sat/work/modemanager/SDL/*
!demo-sat/work/modemanager/SDL/src
demo-sat/work/modemanager/SDL/src/*
!demo-sat/work/modemanager/SDL/src/modemanager.pr
# Except Housekeeping
!demo-sat/work/housekeeping/
demo-sat/work/housekeeping/*
!demo-sat/work/housekeeping/SDL
demo-sat/work/housekeeping/SDL/*
!demo-sat/work/housekeeping/SDL/src
demo-sat/work/housekeeping/SDL/src/*
!demo-sat/work/housekeeping/SDL/src/housekeeping.pr
# Except CommandDispatcher
!demo-sat/work/commanddispatcher/
demo-sat/work/commanddispatcher/*
!demo-sat/work/commanddispatcher/SDL
demo-sat/work/commanddispatcher/SDL/*
!demo-sat/work/commanddispatcher/SDL/src
demo-sat/work/commanddispatcher/SDL/src/*
!demo-sat/work/commanddispatcher/SDL/src/commanddispatcher.pr
# DemoSat project
## Compilation from commandline
## Oscillators and clocks configuration
### Oscillators
| Oscillator | Frequency |
|------------|-----------|
| DCO | 8 MHz |
| LFXTCLK | 32768 Hz |
### Clocks
| Clock | Source Oscillator | Divider |
|-------|-------------------|---------|
| MCLK | DCO | 1 |
| SMCLK | DCO | 1 |
| ACLK | LFXTCLK | 1 |
### Modules
| Module | Clock | Divider | Description |
|---------------------|-------|--------------------------|-------------------------------------------|
| FreeRTOS tick timer | ACLK | 1000 | FreeRTOS uses this clock for system ticks |
| UART | SMCLK | depends on configuration | |
| I2C | SMCLK | 160 | Standard 100kHz |
| PWM | SMCLK | 8 * 4 | Period 1000 |
## PIN configuration
| Pins | Function | Connection with |
|------|----------|--------------------------------------------|
| P1.3 | ADC | Output of voltage divider near solar panel |
| P1.4 | PWM | pin IN A on BD65496MUV |
| P1.5 | GPIO | pin RES on SDD1306 |
| P1.6 | SDA | pin DIN on SDD1306 and pin SDA on MCP9808 |
| P1.7 | SCL | pin CLK on SDD1306 and pin SCL on MCP9808 |
| P2.0 | UART | - |
| P2.1 | UART | - |
|------|----------|--------------------------------------------|
| GND | Ground | |
| VCC | +3.3V | |
PACKAGE Process_Package_proxy
PUBLIC
WITH Process_Package;
WITH AI;
SYSTEM DeploymentView
EXTENDS Process_Package::DeploymentView
END DeploymentView;
SYSTEM IMPLEMENTATION DeploymentView.final
EXTENDS Process_Package::DeploymentView.final
PROPERTIES
AI::root_system => "SELECTED";
Stack_Size => 1024 bytes APPLIES TO Msp430fr5969_Partition.commanddispatcher_command;
Stack_Size => 512 bytes APPLIES TO Msp430fr5969_Partition.housekeeping_trigger_gather_hk;
Stack_Size => 768 bytes APPLIES TO Msp430fr5969_Partition.modemanager_trigger_gather_mode_hk;
Stack_Size => 512 bytes APPLIES TO Msp430fr5969_Partition.payloadmanager_trigger_gather_payload_hk;
Stack_Size => 512 bytes APPLIES TO Msp430fr5969_Partition.thermalmanager_trigger_check_temp;
END DeploymentView.final;
END Process_Package_proxy;
-- type dataview
---------------------------------------
--! File generated by asn2aadl v2.2-r0568c9a: DO NOT EDIT !
--------------------------------------------------------
--! MadeInFastMode:True:
--! InputASN1FileChecksum:761da994b51109aaa937e7c7490a77c9:/home/taste/projects/demo-sat/demo-sat/pus-c.asn:
--! InputASN1FileChecksum:0e3056c431f93fc63c80618576ce8575:/home/taste/projects/demo-sat/demo-sat/pus-c.acn:
--! InputASN1FileChecksum:2e1b2716a1b4e4e456000326ed03e6b5:/home/taste/projects/demo-sat/demo-sat/types.asn:
--! InputASN1FileChecksum:ee8a7e01f29874c0d50f437d5abb9599:/home/taste/tool-inst/share/taste-types/taste-types.asn:
--------------------------------------------------------
package DataView
public
with Data_Model;
with Taste;
with Base_Types;
with Deployment;
DATA Simulink_Tunable_Parameter
PROPERTIES
TASTE::Ada_Package_Name => "TASTE_Directives";
Type_Source_Name => "Simulink-Tunable-Parameter";
Deployment::ASN1_Module_Name => "TASTE-Directives";
TASTE::Forbid_in_PI => true;
END Simulink_Tunable_Parameter;
DATA Timer
PROPERTIES
TASTE::Ada_Package_Name => "TASTE_Directives";
Type_Source_Name => "Timer";
Deployment::ASN1_Module_Name => "TASTE-Directives";
TASTE::Forbid_in_PI => true;
END Timer;
DATA Taste_directive
PROPERTIES
TASTE::Ada_Package_Name => "TASTE_Directives";
Type_Source_Name => "Taste-directive";
Deployment::ASN1_Module_Name => "TASTE-Directives";
TASTE::Forbid_in_PI => true;
END Taste_directive;
data Stream_Element_Buffer
-- Root type for buffer elements
properties
Data_Model::Data_Representation => Character;
end Stream_Element_Buffer;
DATA DUTY_CYCLE
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("/home/taste/projects/demo-sat/demo-sat/pus-c.asn");
TASTE::EncodingDefinitionFile => classifier(DataView::ACN_pus_c);
TASTE::Ada_Package_Name => "PUS_C";
Deployment::ASN1_Module_Name => "PUS-C";
Source_Language => (ASN1);
-- name of the corresponding data type in the source file:
Type_Source_Name => "DUTY-CYCLE";
TASTE::Position_In_File => [ line => 81 ; column => 1 ; ];
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aREAL;
END DUTY_CYCLE;
DATA IMPLEMENTATION DUTY_CYCLE.impl
END DUTY_CYCLE.impl;
DATA DUTY_CYCLE_Buffer_Max
END DUTY_CYCLE_Buffer_Max;
DATA IMPLEMENTATION DUTY_CYCLE_Buffer_Max.impl
-- Buffer to hold a marshalled data of type DUTY_CYCLE
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END DUTY_CYCLE_Buffer_Max.impl;
DATA DUTY_CYCLE_Buffer
END DUTY_CYCLE_Buffer;
DATA IMPLEMENTATION DUTY_CYCLE_Buffer.impl
-- Buffer to hold a marshalled data of type DUTY_CYCLE
SUBCOMPONENTS
Buffer : data DUTY_CYCLE_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END DUTY_CYCLE_Buffer.impl;
DATA DistributeARegisterLoadCommand_Type
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("/home/taste/projects/demo-sat/demo-sat/pus-c.asn");
TASTE::EncodingDefinitionFile => classifier(DataView::ACN_pus_c);
TASTE::Ada_Package_Name => "PUS_C";
Deployment::ASN1_Module_Name => "PUS-C";
Source_Language => (ASN1);
-- name of the corresponding data type in the source file:
Type_Source_Name => "DistributeARegisterLoadCommand-Type";
TASTE::Position_In_File => [ line => 124 ; column => 1 ; ];
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aSEQUENCE;
END DistributeARegisterLoadCommand_Type;
DATA IMPLEMENTATION DistributeARegisterLoadCommand_Type.impl
END DistributeARegisterLoadCommand_Type.impl;
DATA DistributeARegisterLoadCommand_Type_Buffer_Max
END DistributeARegisterLoadCommand_Type_Buffer_Max;
DATA IMPLEMENTATION DistributeARegisterLoadCommand_Type_Buffer_Max.impl
-- Buffer to hold a marshalled data of type DistributeARegisterLoadCommand_Type
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END DistributeARegisterLoadCommand_Type_Buffer_Max.impl;
DATA DistributeARegisterLoadCommand_Type_Buffer
END DistributeARegisterLoadCommand_Type_Buffer;
DATA IMPLEMENTATION DistributeARegisterLoadCommand_Type_Buffer.impl
-- Buffer to hold a marshalled data of type DistributeARegisterLoadCommand_Type
SUBCOMPONENTS
Buffer : data DistributeARegisterLoadCommand_Type_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END DistributeARegisterLoadCommand_Type_Buffer.impl;
DATA DistributeAnOnoffDeviceCommand_Type
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("/home/taste/projects/demo-sat/demo-sat/pus-c.asn");
TASTE::EncodingDefinitionFile => classifier(DataView::ACN_pus_c);
TASTE::Ada_Package_Name => "PUS_C";
Deployment::ASN1_Module_Name => "PUS-C";
Source_Language => (ASN1);
-- name of the corresponding data type in the source file:
Type_Source_Name => "DistributeAnOnoffDeviceCommand-Type";
TASTE::Position_In_File => [ line => 113 ; column => 1 ; ];
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aSEQUENCE;
END DistributeAnOnoffDeviceCommand_Type;
DATA IMPLEMENTATION DistributeAnOnoffDeviceCommand_Type.impl
END DistributeAnOnoffDeviceCommand_Type.impl;
DATA DistributeAnOnoffDeviceCommand_Type_Buffer_Max
END DistributeAnOnoffDeviceCommand_Type_Buffer_Max;
DATA IMPLEMENTATION DistributeAnOnoffDeviceCommand_Type_Buffer_Max.impl
-- Buffer to hold a marshalled data of type DistributeAnOnoffDeviceCommand_Type
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END DistributeAnOnoffDeviceCommand_Type_Buffer_Max.impl;
DATA DistributeAnOnoffDeviceCommand_Type_Buffer
END DistributeAnOnoffDeviceCommand_Type_Buffer;
DATA IMPLEMENTATION DistributeAnOnoffDeviceCommand_Type_Buffer.impl
-- Buffer to hold a marshalled data of type DistributeAnOnoffDeviceCommand_Type
SUBCOMPONENTS
Buffer : data DistributeAnOnoffDeviceCommand_Type_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END DistributeAnOnoffDeviceCommand_Type_Buffer.impl;
DATA DmtNull
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("/home/taste/projects/demo-sat/demo-sat/pus-c.asn");
TASTE::EncodingDefinitionFile => classifier(DataView::ACN_pus_c);
TASTE::Ada_Package_Name => "PUS_C";
Deployment::ASN1_Module_Name => "PUS-C";
Source_Language => (ASN1);
-- name of the corresponding data type in the source file:
Type_Source_Name => "DmtNull";
TASTE::Position_In_File => [ line => 2 ; column => 1 ; ];
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aINTEGER;
END DmtNull;
DATA IMPLEMENTATION DmtNull.impl
END DmtNull.impl;
DATA DmtNull_Buffer_Max
END DmtNull_Buffer_Max;
DATA IMPLEMENTATION DmtNull_Buffer_Max.impl
-- Buffer to hold a marshalled data of type DmtNull
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END DmtNull_Buffer_Max.impl;
DATA DmtNull_Buffer
END DmtNull_Buffer;
DATA IMPLEMENTATION DmtNull_Buffer.impl
-- Buffer to hold a marshalled data of type DmtNull
SUBCOMPONENTS
Buffer : data DmtNull_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END DmtNull_Buffer.impl;
DATA EXECUTION_REPORT
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("/home/taste/projects/demo-sat/demo-sat/types.asn");
TASTE::Ada_Package_Name => "DemoSat_Types";
Deployment::ASN1_Module_Name => "DemoSat-Types";
Source_Language => (ASN1);
-- name of the corresponding data type in the source file:
Type_Source_Name => "EXECUTION-REPORT";
TASTE::Position_In_File => [ line => 28 ; column => 1 ; ];
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aCHOICE;
END EXECUTION_REPORT;
DATA IMPLEMENTATION EXECUTION_REPORT.impl
END EXECUTION_REPORT.impl;
DATA EXECUTION_REPORT_Buffer_Max
END EXECUTION_REPORT_Buffer_Max;
DATA IMPLEMENTATION EXECUTION_REPORT_Buffer_Max.impl
-- Buffer to hold a marshalled data of type EXECUTION_REPORT
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END EXECUTION_REPORT_Buffer_Max.impl;
DATA EXECUTION_REPORT_Buffer
END EXECUTION_REPORT_Buffer;
DATA IMPLEMENTATION EXECUTION_REPORT_Buffer.impl
-- Buffer to hold a marshalled data of type EXECUTION_REPORT
SUBCOMPONENTS
Buffer : data EXECUTION_REPORT_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END EXECUTION_REPORT_Buffer.impl;
DATA FAILURE_NOTICE_CODE
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("/home/taste/projects/demo-sat/demo-sat/pus-c.asn");
TASTE::EncodingDefinitionFile => classifier(DataView::ACN_pus_c);
TASTE::Ada_Package_Name => "PUS_C";
Deployment::ASN1_Module_Name => "PUS-C";
Source_Language => (ASN1);
-- name of the corresponding data type in the source file:
Type_Source_Name => "FAILURE-NOTICE-CODE";
TASTE::Position_In_File => [ line => 16 ; column => 1 ; ];
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aENUMERATED;
END FAILURE_NOTICE_CODE;
DATA IMPLEMENTATION FAILURE_NOTICE_CODE.impl
END FAILURE_NOTICE_CODE.impl;
DATA FAILURE_NOTICE_CODE_Buffer_Max
END FAILURE_NOTICE_CODE_Buffer_Max;
DATA IMPLEMENTATION FAILURE_NOTICE_CODE_Buffer_Max.impl
-- Buffer to hold a marshalled data of type FAILURE_NOTICE_CODE
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END FAILURE_NOTICE_CODE_Buffer_Max.impl;
DATA FAILURE_NOTICE_CODE_Buffer
END FAILURE_NOTICE_CODE_Buffer;
DATA IMPLEMENTATION FAILURE_NOTICE_CODE_Buffer.impl
-- Buffer to hold a marshalled data of type FAILURE_NOTICE_CODE
SUBCOMPONENTS
Buffer : data FAILURE_NOTICE_CODE_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END FAILURE_NOTICE_CODE_Buffer.impl;
DATA FAILURE_NOTICE_DATA
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("/home/taste/projects/demo-sat/demo-sat/pus-c.asn");
TASTE::EncodingDefinitionFile => classifier(DataView::ACN_pus_c);
TASTE::Ada_Package_Name => "PUS_C";
Deployment::ASN1_Module_Name => "PUS-C";
Source_Language => (ASN1);
-- name of the corresponding data type in the source file:
Type_Source_Name => "FAILURE-NOTICE-DATA";
TASTE::Position_In_File => [ line => 23 ; column => 1 ; ];
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aCHOICE;
END FAILURE_NOTICE_DATA;
DATA IMPLEMENTATION FAILURE_NOTICE_DATA.impl
END FAILURE_NOTICE_DATA.impl;
DATA FAILURE_NOTICE_DATA_Buffer_Max
END FAILURE_NOTICE_DATA_Buffer_Max;
DATA IMPLEMENTATION FAILURE_NOTICE_DATA_Buffer_Max.impl
-- Buffer to hold a marshalled data of type FAILURE_NOTICE_DATA
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END FAILURE_NOTICE_DATA_Buffer_Max.impl;
DATA FAILURE_NOTICE_DATA_Buffer
END FAILURE_NOTICE_DATA_Buffer;
DATA IMPLEMENTATION FAILURE_NOTICE_DATA_Buffer.impl
-- Buffer to hold a marshalled data of type FAILURE_NOTICE_DATA
SUBCOMPONENTS
Buffer : data FAILURE_NOTICE_DATA_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END FAILURE_NOTICE_DATA_Buffer.impl;
DATA FailedStartOfExecutionNotificationNotification_Type
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("/home/taste/projects/demo-sat/demo-sat/pus-c.asn");
TASTE::EncodingDefinitionFile => classifier(DataView::ACN_pus_c);
TASTE::Ada_Package_Name => "PUS_C";
Deployment::ASN1_Module_Name => "PUS-C";
Source_Language => (ASN1);
-- name of the corresponding data type in the source file:
Type_Source_Name => "FailedStartOfExecutionNotificationNotification-Type";
TASTE::Position_In_File => [ line => 103 ; column => 1 ; ];
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aSEQUENCE;
END FailedStartOfExecutionNotificationNotification_Type;
DATA IMPLEMENTATION FailedStartOfExecutionNotificationNotification_Type.impl
END FailedStartOfExecutionNotificationNotification_Type.impl;
DATA FailedStartOfExecutionNotificationNotification_Type_Buffer_Max
END FailedStartOfExecutionNotificationNotification_Type_Buffer_Max;
DATA IMPLEMENTATION FailedStartOfExecutionNotificationNotification_Type_Buffer_Max.impl
-- Buffer to hold a marshalled data of type FailedStartOfExecutionNotificationNotification_Type
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END FailedStartOfExecutionNotificationNotification_Type_Buffer_Max.impl;
DATA FailedStartOfExecutionNotificationNotification_Type_Buffer
END FailedStartOfExecutionNotificationNotification_Type_Buffer;
DATA IMPLEMENTATION FailedStartOfExecutionNotificationNotification_Type_Buffer.impl
-- Buffer to hold a marshalled data of type FailedStartOfExecutionNotificationNotification_Type
SUBCOMPONENTS
Buffer : data FailedStartOfExecutionNotificationNotification_Type_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END FailedStartOfExecutionNotificationNotification_Type_Buffer.impl;
DATA HOUSEKEEPING_PARAMETER_REPORT_DATA
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("/home/taste/projects/demo-sat/demo-sat/pus-c.asn");
TASTE::EncodingDefinitionFile => classifier(DataView::ACN_pus_c);
TASTE::Ada_Package_Name => "PUS_C";
Deployment::ASN1_Module_Name => "PUS-C";
Source_Language => (ASN1);
-- name of the corresponding data type in the source file:
Type_Source_Name => "HOUSEKEEPING-PARAMETER-REPORT-DATA";
TASTE::Position_In_File => [ line => 63 ; column => 1 ; ];
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aCHOICE;
END HOUSEKEEPING_PARAMETER_REPORT_DATA;
DATA IMPLEMENTATION HOUSEKEEPING_PARAMETER_REPORT_DATA.impl
END HOUSEKEEPING_PARAMETER_REPORT_DATA.impl;
DATA HOUSEKEEPING_PARAMETER_REPORT_DATA_Buffer_Max
END HOUSEKEEPING_PARAMETER_REPORT_DATA_Buffer_Max;
DATA IMPLEMENTATION HOUSEKEEPING_PARAMETER_REPORT_DATA_Buffer_Max.impl
-- Buffer to hold a marshalled data of type HOUSEKEEPING_PARAMETER_REPORT_DATA
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END HOUSEKEEPING_PARAMETER_REPORT_DATA_Buffer_Max.impl;
DATA HOUSEKEEPING_PARAMETER_REPORT_DATA_Buffer
END HOUSEKEEPING_PARAMETER_REPORT_DATA_Buffer;
DATA IMPLEMENTATION HOUSEKEEPING_PARAMETER_REPORT_DATA_Buffer.impl
-- Buffer to hold a marshalled data of type HOUSEKEEPING_PARAMETER_REPORT_DATA
SUBCOMPONENTS
Buffer : data HOUSEKEEPING_PARAMETER_REPORT_DATA_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END HOUSEKEEPING_PARAMETER_REPORT_DATA_Buffer.impl;
DATA HOUSEKEEPING_PARAMETER_REPORT_STRUCTURE_ID
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("/home/taste/projects/demo-sat/demo-sat/pus-c.asn");
TASTE::EncodingDefinitionFile => classifier(DataView::ACN_pus_c);
TASTE::Ada_Package_Name => "PUS_C";
Deployment::ASN1_Module_Name => "PUS-C";
Source_Language => (ASN1);
-- name of the corresponding data type in the source file:
Type_Source_Name => "HOUSEKEEPING-PARAMETER-REPORT-STRUCTURE-ID";
TASTE::Position_In_File => [ line => 56 ; column => 1 ; ];
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aENUMERATED;
END HOUSEKEEPING_PARAMETER_REPORT_STRUCTURE_ID;
DATA IMPLEMENTATION HOUSEKEEPING_PARAMETER_REPORT_STRUCTURE_ID.impl
END HOUSEKEEPING_PARAMETER_REPORT_STRUCTURE_ID.impl;
DATA HOUSEKEEPING_PARAMETER_REPORT_STRUCTURE_ID_Buffer_Max
END HOUSEKEEPING_PARAMETER_REPORT_STRUCTURE_ID_Buffer_Max;
DATA IMPLEMENTATION HOUSEKEEPING_PARAMETER_REPORT_STRUCTURE_ID_Buffer_Max.impl
-- Buffer to hold a marshalled data of type HOUSEKEEPING_PARAMETER_REPORT_STRUCTURE_ID
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END HOUSEKEEPING_PARAMETER_REPORT_STRUCTURE_ID_Buffer_Max.impl;
DATA HOUSEKEEPING_PARAMETER_REPORT_STRUCTURE_ID_Buffer
END HOUSEKEEPING_PARAMETER_REPORT_STRUCTURE_ID_Buffer;
DATA IMPLEMENTATION HOUSEKEEPING_PARAMETER_REPORT_STRUCTURE_ID_Buffer.impl
-- Buffer to hold a marshalled data of type HOUSEKEEPING_PARAMETER_REPORT_STRUCTURE_ID
SUBCOMPONENTS
Buffer : data HOUSEKEEPING_PARAMETER_REPORT_STRUCTURE_ID_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END HOUSEKEEPING_PARAMETER_REPORT_STRUCTURE_ID_Buffer.impl;
DATA Headerless_Telemetries
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("/home/taste/projects/demo-sat/demo-sat/pus-c.asn");
TASTE::EncodingDefinitionFile => classifier(DataView::ACN_pus_c);
TASTE::Ada_Package_Name => "PUS_C";
Deployment::ASN1_Module_Name => "PUS-C";
Source_Language => (ASN1);
-- name of the corresponding data type in the source file:
Type_Source_Name => "Headerless-Telemetries";
TASTE::Position_In_File => [ line => 2 ; column => 1 ; ];
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aINTEGER;
END Headerless_Telemetries;
DATA IMPLEMENTATION Headerless_Telemetries.impl
END Headerless_Telemetries.impl;
DATA Headerless_Telemetries_Buffer_Max
END Headerless_Telemetries_Buffer_Max;
DATA IMPLEMENTATION Headerless_Telemetries_Buffer_Max.impl
-- Buffer to hold a marshalled data of type Headerless_Telemetries
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END Headerless_Telemetries_Buffer_Max.impl;
DATA Headerless_Telemetries_Buffer
END Headerless_Telemetries_Buffer;
DATA IMPLEMENTATION Headerless_Telemetries_Buffer.impl
-- Buffer to hold a marshalled data of type Headerless_Telemetries
SUBCOMPONENTS
Buffer : data Headerless_Telemetries_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
END Headerless_Telemetries_Buffer.impl;
DATA HousekeepingParameterNotificationNotification_Type
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("/home/taste/projects/demo-sat/demo-sat/pus-c.asn");
TASTE::EncodingDefinitionFile => classifier(DataView::ACN_pus_c);