Software System Development for Spacecraft Data Handling

Software System Development forSpacecraft Data Handling & Contr ol

Data Handling System ArchitecturalDesign Document

TERMA Doc. no.: TERMA/OBOSS-2/TN/011

Date: 26.11.99

Issue: 1

Revision: 1

Distrib ution: ESTEC, TERMA

Prepared by: Mor ten Rytter Nielsen

Appr oved by: Gert Caspersen

Authorised by: Gert Caspersen

Data Handling System Architectural Design Document

TERMA/OBOSS-2/TN/011/1.1

ii


Theintellectualpropertyright of thisdocumentis vestedin TERMA ElektronikAS.


iii


Document Chang e Record

Issue Date Change

1.0 18.03.99 First issueof document1.1 26.11.99

Document Status Sheet

Page Issue

i–vii 1.11–88 1.1


iv


Table of Contents1 Intr oduction 1

1.1 Scope . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.2 Outlineof Document . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

2 Documents 42.1 ApplicableDocuments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42.2 ReferenceDocuments. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

3 Overview of the System 53.1 Overview of the System . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

4 Attitude Control System 74.1 Attitude Control System . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84.2 The ACS Monitor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94.3 The ParamMonitor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104.4 The Monitor Scheduler. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114.5 The Monitoring List . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124.6 The Event Reporter. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134.7 Monitor TC Interpreter. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144.8 The ACS FunctionManagement. . . . . . . . . . . . . . . . . . . . . . . . . . 154.9 Attitude Control SystemDispatcher. . . . . . . . . . . . . . . . . . . . . . . . 164.10 The ACS HK Collector . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 174.11 The TC Interpreter . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 184.12 The ReportGenerator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 194.13 The Event Manager. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204.14 The Event Scheduler. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 214.15 The ACS StorageSelectionDefs . . . . . . . . . . . . . . . . . . . . . . . . . 224.16 StorageSelectionDefs TC Interpreter. . . . . . . . . . . . . . . . . . . . . . . 23

5 CDH Structure Initialiser 245.1 CDH StructureInitialiser . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25

6 CDH Structure Services 266.1 CDH StructureServices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 276.2 Packet Router . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 286.3 Appl ProcDescrManager . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29


v


6.4 GroundIF . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 306.5 The GroundIF . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 316.6 Application ProcessDispatcher . . . . . . . . . . . . . . . . . . . . . . . . . . 326.7 SyncProtocol . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 336.8 Receiver . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34

7 DeviceController 357.1 Device Controller . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 367.2 Device TC Interpreter . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37

8 Electrical Power Subsystem 388.1 ElectricalPower Subsystem . . . . . . . . . . . . . . . . . . . . . . . . . . . . 398.2 ElectricalPower SubsystemDispatcher . . . . . . . . . . . . . . . . . . . . . . 408.3 The EPSMonitor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 418.4 The ParamMonitor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 428.5 The Monitor Scheduler. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 438.6 The Monitoring List . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 448.7 The Event Reporter. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 458.8 Monitor TC Interpreter. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 468.9 The EPSFunctionManagement. . . . . . . . . . . . . . . . . . . . . . . . . . 478.10 The EPSHK Collector . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 488.11 The TC Interpreter . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 498.12 The ReportGenerator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 508.13 The Event Manager. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 518.14 The Event Scheduler. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52

9 ICU Process 539.1 ICU Process. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 549.2 ICU Process. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 559.3 The ICU Process. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 569.4 Application ProcessDispatcher . . . . . . . . . . . . . . . . . . . . . . . . . . 579.5 SyncProtocol . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 589.6 Receiver . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59

10 Memory Manager 6010.1 Memory Manager. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6110.2 Memory ManagerDispatcher . . . . . . . . . . . . . . . . . . . . . . . . . . . 6210.3 The Memory ManagerAdministration. . . . . . . . . . . . . . . . . . . . . . . 6310.4 Memory ManagementTC Interpreter . . . . . . . . . . . . . . . . . . . . . . . 64


vi


11 Misc 6511.1 Misc . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6611.2 SourceData . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6711.3 SourceDataManager. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6811.4 The Small Cell Pool . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6911.5 The Large Cell Pool . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7011.6 InternalPUS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7111.7 PUSState . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7211.8 Low Level Stuff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7311.9 ExternalPUS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74

12 Onboard StorageAdministrator 7512.1 OnboardStorageAdministrator . . . . . . . . . . . . . . . . . . . . . . . . . . 7612.2 The OnboardStorageAdministratorStorageAnd Retrieval . . . . . . . . . . . 7712.3 StoragePacket Handler. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7812.4 OnboardStorageAdministratorDispatcher . . . . . . . . . . . . . . . . . . . . 7912.5 The Cyclic Store1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8012.6 The Cyclic Store2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8112.7 The BoundedStore1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82

13 TelecommandScheduler 8313.1 TelecommandScheduler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8413.2 TelecommandSchedulerDispatcher. . . . . . . . . . . . . . . . . . . . . . . . 8513.3 The TelecommandSchedulerTC Scheduler. . . . . . . . . . . . . . . . . . . . 8613.4 The OBS Scheduler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8713.5 OBS TC Interpreter. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88

A UserConfiguration File A.1

B ExecutionSkeletonFile B.1


vii


1 Intr oductionThis documentconstitutesan architectural designdocument(ADD) for an instanceof theOBOSS2 software. The OBOSS-2softwareis an HRT-HOOD compliantversionof the soft-waredevelopedin OBOSS.For informationson theHRT-HOOD SpecificationMethodin gen-eralwereferto [HRT-HOOD]. For explanationsonthespecificwaysthatwehavechosento useHRT-HOOD (hereunderspecialsyntaxandsemanticsusedin thespecification)we refer to thedocuments[Hybrid-task] and[HSO].

Thepurposeof this designis that it shouldserve asinput to a schedulabilityanalysisof an in-stanceof theOBOSS-2software.Every terminalobjectthanarenot a Gen Act Param object,apassiveobjector asimilarobjectwith noseparatethreadof controlhaveanentryin theExecu-tion SkeletonFile (ESF)which canbefoundin theappendix.Every active terminalobjectalsohave anentry in theUserConfiguration File (UCF). For a brief explanationof themeaningoftheESFandUCFseethedocument[HSO].

In figure1 onecanseea packet flow diagramof thespecifiedsystem.ThearrowscorrespondtoPUSpacketsbeingpassedbetweendifferentcomponentsof thesystem1.

1.1 Scope

Thescopeof this documentis to provide thegraphicalpartof theHRT-HOOD specificationofaninstanceof theOBOSS2 softwarebecausethis is enoughto constructadecentschedulabilityanalysis.

1.2 Outline of Document

The structureandcontentsof the documentis asfollows. Chapter3 givesa designoverviewof the system.The objectsincludedin this designareparentobjectsfound in the succeedingchapters.

Thesucceedingchapterscontainsthedecomposedparentobjectsfrom chapter3 fully specifiedaccordingto [HSO] andthus includeschild objects. The HRT-HOOD tool from Intecshasa

1Actually it is alwaysjust referencesto thePUSpacketsthataremovedaroundin thesystem


1


The_ICU_Process

Manager_RouterThe_Memory_

Dispatcher

The_EPS_Function_Management

The_EPS_Hk_Collector

The_EPS_Monitor

Dispatcher

Telecommand_Scheduler

Attitude_ControlSystem_Dispatcher System_TC_

Onboard_Storage_

Administrator

Interpreter

Ground_IF

Attitude_Control_

SubsystemElectrical_Power_ Electrical_Power_

Subsystem_InterpreterSubsystem_TC_Electrical_Power_

The_Memory_Manager_Administration

The_ACS_Monitor

The_ACS_Function_Management

The_ACS_HK_Collector

Scheduler_RouterThe_Telecommand_

Telecommand_Scheduler_Dispatcher

Scheduler_TC_Telecommand_

Interpreter

The_Telecommand_Scheduler_TC_Scheduler

The_Attitude_Control_System_Router

The_Onboard_

Storage_Administrator_

Router

Onboard_Storage_

Administrator_Dispatcher

Onboard_Storage_

Administrator_Storage_

And_Retrieval

Onboard_Storage_

Administrator_TC_

Interpreter

The_ACS_Storage_Selection_Defs

The_Electrical_Power_Subsystem_Router

System

Memory_Manager Memory_Manager_

Attitude_Control_

Packet_Router

Figure1

Packetflow diagramof thespecifiedsystem


2


specialconceptandsemanticfor a root objectwhich they call a project.Projectscannotexportoperationsandthereforeeachprojectin thesechaptersincludesanobjectwith thesamenameastheprojectitself thatexportstheoperationsthatshouldreallybeexportedby theprojectitself ifit waspossiblein thetool.


3


2 Documents2.1 Applicab le Documents

[Ada-83] ReferenceManualfor theAda ProgrammingLanguage,UnitedStatesDepartmentofDefense,ANSI/MIL-STD-1815A-1983,1983

[PUS] PacketUtilisationStandard,ESA,PSS-07-101,Issue1, 1994

[HRT-HOOD] HRT-HOOD: A StructuredDesignMethod for Hard Real-Time Ada Systems,Volume3, Alan BurnsandAndy Wellings,Elsevier, 1995

[ERC32-temp]HRT-HoodNICECodeExtractorTemplatesfor ERC32-basedAonix/AlsysAdaTargets,DeliveryNote,AlessandroPaganone,IntecsSistemiS.P.A., July21,1997

2.2 Reference Documents

[Hybrid-task] Analysis of Hybrid Task Specification and Reimplementation,TERMA/69/OBOSS-II/TN-006,MortenRytterNielsen,TermaElektronik,1998

[HSO] HRT-HOOD Specification used in OBOSS-II, TERMA/69/OBOSS-II/TN-008,MortenRytterNielsen,TermaElektronik,1998


4


3 Overview of the System


5


3.1 Overview of the System

Thefile ps files/TheOverview of the System/mainPICT 1 ps.tex:

Overview_of_the_System

A Attitude_Control_System

Forward_TC ASER

A Packet_Router

Deposit ASER

Optional_Deposit ASER

A Device_Controller

Handle_PUS_Packet ASER

A Onboard_Storage_Administrator

Forward_Packet ASER

A Telecommand_Scheduler


A Electrical_Power_Subsystem

Forward_TC ASER

A ICU_Process

Forward_Packet ASER

A Memory_Manager

Forward_TC ASER

A Ground_IF

Forward_Packet ASER

Receive ASER

A Serial_Bus_Simulator

Send ASER


6


4 Attitude Contr ol System


7


4.1 Attitude Contr ol System

Thefile ps files/TheAttitude Control System/mainPICT 1 ps.tex:

Attitude_Control_System

A The_ACS_Monitor


Pr The_Attitude_Control_System_Router

Deposit PSER

Optional_Deposit PSER

Pr The_ACS_Monitor_Gen_Act_Param

Is_Legal_Parameter_ID Is_Selected Is_Valid Optional_Deposit Receive

Pr ACS_Driver_IF

Is_Legal_Parameter_ID Is_Selected Is_Valid Receive Trigger

Pr The_ACS_Function_Management_Gen_Act_Param

Activate_Function Deactivate_Function Deposit Perform_Activity

A The_ACS_Function_Management


ACS_Function_Interpreter

Activate_Function Deactivate_Function Perform_Activity

A Attitude_Control_System

Forward_TC ASER

A Attitude_Control_System_Dispatcher

Forward_TC ASER

Pr The_Attitude_Control_System_Router_Gen_Act_Param

Deposit

A The_ACS_HK_Collector


A Attitude_Control_System_TC_Interpreter

Handle_PUS_Packet

Pr The_ACS_HK_Collector_Gen_Act_Param

Optional_Deposit Receive Trigger

A The_ACS_Storage_Selection_Defs


A The_ACS_Storage_Selection_Defs_Gen_Act_Param

Optional_Deposit


8


4.2 The ACS Monitor


A The_ACS_Monitor

E Sporadic_Task

E Mission_Verification_Val

E TC_Acknowledger

E PUS_Data_Types

E Verification_Types

E Param_Monitor

E Event_Reporter

E Monitor_Parser

E Application_Process_Parameters

E Monitoring_List

E PUS_State

E System

E Onboard_Monitoring_Types

E Task_Management_Types

E Packet_Transmission_Control_Types

E Parameter_Structure_Descriptions

E PUS

E Mission_Parameters


A The_Param_Monitor

Add_Check HSER

Clear_Check HSER

Clear_All_Checks HSER

Enable_Monitoring HSER

Disable_Monitoring HSER

Pr The_Monitoring_List

Add_Parameter PSER

Clear PSER

Delete_Expected_Value_C PSER

Delete_Limit_Check_Defin PSER

Delete_Parameter PSER

Disable_Monitoring PSER

....

A The_Event_Reporter

Report_Transition_Event HSER

A Monitor_TC_Interpreter

Handle_PUS_Packet ASER The_Monitor_Parser

Unparse_Monitoring_List Parse_TC Unparse_Current_Param Unparse_Out_Of_Limit_

Pr The_Event_Reporter_Gen_Act_Param

Optional_Deposit Unparse_Out_Of_Limit_Report

A The_Param_Monitor_Gen_Act_Param

Get_Expected_Value_Monitoring_Definitions Get_Filter ....

Pr The_Monitoring_List_Gen_Act_Param

Is_Selected Is_Valid



9


4.3 The Param Monitor


A The_Param_Monitor



E Satellite_Clock



E Monitoring_List_Exceptions

E Cyclic_Task

E Basic_Types

E Parameter_Value_Checker

E Event_Scheduler

A The_Param_Monitor_Gen_Act_Para

E System_Clock

C The_Monitor Pr PIO_The_Param_Monitor

Add_Check PSER

Pr The_Parameter_Value_Checker

Monitor_Parameter PSER

Pr The_Monitor_Scheduler

Add_Cyclic_Event PSER

Clear_Time_Line PSER

Delete_All_Events PSER

Delete_Cyclic_Event PSER

Get_Events_Due PSER

Reschedule_Time_Line PSER

Schedule_Is_Empty PSER

Pr The_Monitor_Gen_Act_Param

Monitor_Parameters_Due

Pr The_Monitor_Scheduler_Gen_Act_Param

- + < Clock

Pr The_Parameter_Value_Checker_Gen_Act_Param

.... Report_Transition_Event Update_Expected_Value_Check_State Update_Limit_Check_State

Add_Check HSER

Clear_Check HSER





10


4.4 The Monitor Scheduler


Pr The_Monitor_Scheduler E Task_Priority_Control


E Map_Type

The_Cyclic_Event_Intervals

Apply Domain_Is_Covered Get_Domain Get_Next_Element_In_Range Get_Next_Key_In_Domain Get_Range Initialize Insert Is_In Make_Map_Empty Range_Is_Covered Remove Replace

Pr PIO_The_Monitor_Scheduler





Get_Events_Due PSER







Get_Events_Due PSER




11


4.5 The Monitoring List


Pr The_Monitoring_List E Onboard_Monitoring_Types



E Parameter_Monitoring_Definitions

E Mission_Verification_Values

E Protected_Map_Type



Apply PSER

Domain_Is_Covered PSER

Get_Domain PSER

Get_Next_Element_In_Range PSER

Get_Next_Key_In_Domain PSER

Get_Range PSER

Initialize PSER

Insert PSER

Is_In PSER

Make_Map_Empty PSER

Range_Is_Covered PSER

Remove PSER

Replace PSER

Pr PIO_The_Monitoring_List

Add_Parameter PSER

Clear PSER

Delete_Expected_Value_Check_Definition PSER

Delete_Limit_Check_Definition PSER



Disable_Monitoring_At_Service_Level PSER


Enable_Monitoring PSER

Enable_Monitoring_At_Service_Level PSER

Get_Expected_Value_Monitoring_Definitions PSER

Get_Filter PSER

Get_Interval PSER

Get_Limit_Monitoring_Definitions PSER

Get_Mode PSER

Get_Monitoring_List_Domain PSER

Get_Next_Check_Definition_ID PSER

Get_Validity_No PSER

Insert_Expected_Value_Check_Definition PSER

Insert_Limit_Check_Definition PSER

Modify_Parameter_Validity_Number PSER

Parameter_Is_Valid PSER

Replace_Expected_Value_Check_Definition PSER

Replace_Limit_Check_Definition PSER

Update_Expected_Value_Check_State PSER

Update_Limit_Check_State PSER

Add_Parameter PSER

Clear PSER

Delete_Expected_Value_Check_Definiti PSER








Get_Expected_Value_Monitoring_Defi PSER

Get_Filter PSER

Get_Interval PSER


Get_Mode PSER




Insert_Expected_Value_Check_Definiti PSER




Replace_Expected_Value_Check_Defin PSER





12


4.6 The Event Repor ter


A The_Event_Reporter E PUS



E Transition_Reporting_List

E Cyclic_Task


E Task_Priority_Control

Pr The_Transition_Reporting_List

Add_Unreported_Transition PSER

Get_Unreported_Transition_List PSER

C OOL_Reporter

Pr OOL_Reporter_Gen_Act_Param

Submit_Out_Of_Limit_Report



13


4.7 Monitor TC Interpreter



A The_Param_Monitor

P The_Monitor_Parser



S The_TC_Interpreter

Start ASER

Pr The_TC_Interpreter_Gen_Act_Param

Execute_Telecommand



14


4.8 The ACS Function Management


A The_ACS_Function_Management

Pr The_ACS_Function_Management_Gen_Act_Param

E Function_Management_Types


E PUS_State

E TC_Acknowledger

E Source_Data_Stream

E External_Function_Management_Types

E External_PUS_Data_Types

E PUS_Data_Types



E PUS



Start ASER


Execute_Telecommand



15


4.9 Attitude Contr ol System Dispatc her


A Attitude_Control_System_Dispatcher E PUS_State

E PUS

E Attitude_Control_System_Parameters

A Attitude_Control_System_TC_Interpreter S The_TC_Forwarder

Start ASER

Pr The_TC_Forwarder_Gen_Act_Param

Handle_PUS_Packet

Forward_TC ASER


16


4.10 The ACS HK Collector


A The_ACS_HK_Collector

Pr The_ACS_HK_Collector_Gen_Act_Param




E PUS

E Parameter_Representation

E HK_Diag_TC_Interpreter

E HK_Collector_Types

E PUS_State

A The_TC_Interpreter

Handle_PUS_Packet HSER


Deposit Receive Trigger

S The_TC_Interpreter_Task

Start ASER

A The_TC_Interpreter_Task_Gen_Act_Param

Execute_Telecommand



17


4.11 The TC Interpreter








E PUS


E Basic_Types

E Map_Type


E PUS_Data_Types

E TC_Acknowledger



E HK_Diag_Event_Manager

E HK_Diag_Report_Generator


E Storage_Configuration

E External_HK_Collector_Types

E PUS_State

Pr The_Report_Generator

Abort_Report PSER

Clear_Report PSER

Define_Report PSER

Generate_Report PSER

Measure_Parameter PSER

Set_Filtered_Generation_Mode PSER

Set_Periodic_Generation_Mode PSER

Pr PIO_The_TC_Interpreter

Handle_PUS_Packet PSER

Pr The_Report_Generator_Gen_Act_Param

Deposit Receive Trigger A The_Event_Manager

Clear_Report HSER

Define_Report HSER

Disable_Report HSER

Enable_Report ASER

Pr The_Event_Manager_Gen_Act_Param

Abort_Report Generate_Report Measure_Parameter

Pr The_SID_Map

Apply PSER


Get_Domain PSER



Get_Range PSER

Initialize PSER

Insert PSER

Is_In PSER

Make_Map_Empty PSER


Remove PSER

Replace PSER



18


4.12 The Repor t Generator


Pr The_Report_Generator Pr The_Report_Generator_Gen_Act_Param





E PUS_State


E PUS_Data_Types








E PUS

Pr PIO_The_Report_Generator

Abort_Report PSER

Clear_Report PSER

Define_Report PSER





Pr The_SID_Map

Apply PSER


Get_Domain PSER



Get_Range PSER

Insert PSER

Is_In PSER

Make_Map_Empty PSER


Remove PSER

Replace PSER

Abort_Report PSER

Clear_Report PSER

Define_Report PSER






19


4.13 The Event Manager


A The_Event_Manager Pr The_Event_Manager_Gen_Act_Param

E Event_Reporting

E PUS_State

E Satellite_Clock


E Map_Type

E Event_Scheduler

E System_Clock





E Ada_Task_Configuration

Pr The_Event_Scheduler





Get_Events_Due PSER



Pr The_Event_Scheduler_Gen_Act_Param

- + < Clock

Pr PIO_The_Event_Manager

Clear_Report PSER

Define_Report PSER

Disable_Report PSER

Enable_Report PSER

The_SID_Map


C The_Event_Task

Pr The_Event_Task_Gen_Act_Param

Collect_Parameters_Due

Clear_Report HSER

Define_Report HSER

Disable_Report HSER

Enable_Report ASER


20


4.14 The Event Scheduler





E Map_Type



Pr PIO_The_Event_Scheduler





Get_Events_Due PSER







Get_Events_Due PSER




21


4.15 The ACS Stora ge Selection Defs


A The_ACS_Storage_Selection_Defs E Parameter_Representation

E TC_Acknowledger




E External_PUS_State

E PUS_State


E Basic_Types

E Appl_Proc_Descr_Manager


E PUS_Data_Types

E External_Packet_Store_Types


E Packet_Store_Types


E PUS

A The_ACS_Storage_Selection_Defs_Gen_Act_Param

A Storage_Selection_Defs_TC_Interpreter




22


4.16 Stora ge Selection Defs TC Interpreter


A Storage_Selection_Defs_TC_Interpreter A The_ACS_Storage_Selection_Defs_Gen_Act_Param







E PUS_State


Start ASER


Execute_Telecommand



23


5 CDH Structure Initialiser


24


5.1 CDH Structure Initialiser

Thefile ps files/TheCDH StructureInitialiser/mainPICT 1 ps.tex:

CDH_Structure_Initialiser

Pr CDH_Structure_Initialiser

Go Initialize

Pr Basic_Services_Initialiser

Go Initialize

Pr Packet_Router_Initialiser

Go Initialize

Pr OBDH_Bus_Init

Go Init

Pr Up_Down_Link_Bus_Init

Go Init

Pr Uplink_IF_Init

Go Init

Pr Downlink_IF_Init

Go Init

Pr Dynamic_Application_Process_Descrs_Initialiser

Go Initialize

Pr Mission_Parameters_Initialiser

Go Initialize

Pr Source_Data_Initialiser

Go Initialize

Pr Internal_PUS_Initialiser

Go Initialize

Pr External_PUS_Initialiser

Go Initialize


25


6 CDH Structure Services


26


6.1 CDH Structure Services

Thefile ps files/TheCDH StructureServices/mainPICT 1 ps.tex:

CDH_Structure_Services

A Packet_Router

Deposit ASER


Pr Appl_Proc_Descr_Manager

Add_All_Storage_Selection_Def PSER

Add_All_Subtypes_Storage_Selection_Def PSER

Add_Specific_Subtypes_Storage_Selection_Def PSER

Disable_Storage PSER

Enable_Storage PSER

Get_Destination_Packet_Store_ID PSER

Get_Next_TC_Counter PSER

Get_Next_TM_Counter PSER

Get_Routing_Destination_APID PSER

Get_Storage_Selection_Service_Def PSER

Init_Appl_Proc_Descr PSER

Is_Storage_Selection_All_Present PSER

Is_Storage_Selection_Service_Present PSER

Remove_All_Storage_Selection_Def PSER

Remove_All_Subtypes_Storage_Selection_Def PSER

Remove_Specific_Subtypes_Storage_Selection_Def PSER


Send ASER

A Ground_IF

Forward_Pa ASER

Receive ASER


27


6.2 Packet Router


A Packet_Router E Telecommand_Scheduler


E PUS_State

E PUS

E Packet_Router_Parameters

E Onboard_Storage_User

E Onboard_Storage_Administrator


E Attitude_Control_System



A Ground_IF

E ICU_Process

S The_Packet_Forwarder

Start ASER

Pr The_Packet_Forwarder_Gen_Act_Param

Distribute_PUS_Packet

A PIO_Packet_Router

Deposit ASER


Deposit ASER



28


6.3 Appl Proc Descr Manager



E Parameter_Representation_Constraints


E PUS_State

E PUS_Data_Types

E PUS



Pr Packet_Counters_Manager




Pr Storage_Selection_Manager





Enable_Storage PSER













Enable_Storage PSER













29


6.4 Ground IF


A Ground_IF

E Up_Down_Link_Parameters




E PUS_Data_Types

E PUS_State

E Basic_Types

E PUS


A Packet_Router

A The_Ground_IF

Forward_Packet ASER

Receive ASER

Pr The_Ground_IF_Gen_Act_Param

Convert_From_Ground_External_To_PUS_Packet Convert_From_PUS_To_Ground_External_Packet Optional_Deposit Send

Forward_Packet ASER

Receive ASER


30


6.5 The Ground IF


A The_Ground_IF

Pr The_Ground_IF_Gen_Act_Param

E External_PU

E Basic_Types

E Mission_Par

E PUS

E Task_Priority

E PUS_Data_T

E Verification_

E External_PU

E PUS_State

E System

Pr The_Circular_Buffer

Get PSER

Get_Single_Element PSER

Put PSER

Put PSER

A Application_Process_Dispatcher

Forward_Packet ASER

A Sync_Protocol

Receive ASER

Send_Packet ASER

A Receiver

Start_Receiver

Forward_Packet ASER

Receive ASER


31


6.6 Application Process Dispatc her


A Application_Process_Dispatcher Pr The_Ground_IF_Gen_Act_Param

A Sync_Protocol E PUS_State S The_Dispatcher

Start ASER

Pr The_Dispatcher_Gen_Act_Param

Convert_And_Handle_PUS_Packet

Forward_Packet ASER


32


6.7 Sync Protocol


A Sync_Protocol Pr The_Ground_IF_Gen_Act_Param


A Receiver

A PIO_Sync_Protocol

Receive ASER

Send_Packet ASER

Receive ASER

Send_Packet ASER


33


6.8 Receiver


A Receiver Pr The_Circular_Buffer

Pr The_Ground_IF_Gen_Act_Param S The_Receiver

Start ASER

Pr The_Receiver_Gen_Act_Param

Receive

Start_Receiver


34


7 Device Contr oller


35


7.1 Device Contr oller

Thefile ps files/TheDevice Controller/mainPICT 1 ps.tex:

Device_Controller

A Device_Controller


A Device_TC_Interpreter


Pr Device_Command_Parser

Parse_TC

Pr On_Off_Driver

Send

Pr Register_Driver

Send


36


7.2 Device TC Interpreter

Thefile ps files/TheDevice Controller/mainPICT 21 ps.tex:

A Device_TC_Interpreter E PUS

Pr On_Off_Driver

Pr Register_Driver

E External_Device_Command_Distribution_Types

E Packet_Router

E TC_Acknowledger


E PUS_State

E PUS_Data_Types



E Device_Command_Distribution_Types

Pr Device_Command_Parser


Start ASER


Execute_Telecommand



37


8 Electrical Power Subsystem


38


8.1 Electrical Power Subsystem

Thefile ps files/TheElectricalPower Subsystem/mainPICT 1 ps.tex:

Electrical_Power_Subsystem

A Electrical_Power_Subsystem

Forward_TC ASER

A Electrical_Power_Subsystem_Dispatcher

Forward_TC ASER

A Electrical_Power_Subsystem_TC_Interpreter


Pr The_Electrical_Power_Subsystem_Router

Deposit PSER

Optional_deposit PSER

Pr The_Electrical_Power_Subsystem_Router_Gen_Act_Param

Deposit

A The_EPS_Monitor


Pr The_EPS_Monitor_Gen_Act_Param

Handle_OOL_Transition Is_Legal_Parameter_ID Is_Selected Is_Valid Optional_Deposit Receive

Pr EPS_Driver_IF

Is_Legal_Parameter_ID Is_Selected

PSER

Is_Valid PSER

Receive PSER

Trigger

Pr Electrical_Power_Subsystem_State

Get_Collection_Status PSER

Get_Current_Effect PSER

Get_Power_Status PSER

Set_Collection PSER

Set_Power PSER

Pr EPS_OOL_Handling

Handle_OOL_Transition PSER

Pr EPS_Function_Interpreter

Activate_Function PSER

Deactivate_Function PSER

Perform_Activity PSER

Pr The_EPS_Function_Management_Gen_Act_Param

Activate_Function Deactivate_Function Optional_Deposit Perform_Activity

A The_EPS_Function_Management


A The_EPS_HK_Collector


Pr The_EPS_HK_Collector_Gen_Act_Param

Is_Legal_Parameter_ID Optional_Deposit ....


39


8.2 Electrical Power Subsystem Dispatc her


A Electrical_Power_Subsystem_Dispatcher E PUS

E PUS_State

A Electrical_Power_Subsystem_TC_Interpreter

E Electrical_Power_Subsystem_Parameters

S The_TC_Forwarder

Start ASER


Handle_PUS_Packet

Forward_TC ASER


40


8.3 The EPS Monitor


A The_EPS_Monitor

E Sporadic_Task

E Mission_Ver

E TC_Acknowl

E PUS_Data_T


E Param_Monitor

E Event_Reporter

E Monitor_Parser

E Application_Process_Parameters

E Monitoring_List

E PUS_State

E System


E Task_Management_Types

E Packet_Transmission_Control_Types


E PUS

E Mission_Par


A The_Param_Monitor

Add_Check HSER

Clear_Check HSER





Add_Parameter PSER

Clear PSER

Delete_Expected_Value_C PSER

Delete_Limit_Check_Defin PSER



....




Handle_PUS_Packet ASER The_Monitor_Parser

Unparse_Monitoring_List Parse_TC Unparse_Current_Param Unparse_Out_Of_Limit_


Optional_Deposit Unparse_Out_Of_Limit_Report

A The_Param_Monitor_Gen_Act_Param

Get_Expected_Value_Monitoring_Definitions Get_Filter ....


Is_Selected Is_Valid



41


8.4 The Param Monitor


A The_Param_Monitor


E Mission_Par

E Satellite_Clock




E Cyclic_Task

E Basic_Types

E Parameter_Value_Checker

E Event_Scheduler

A The_Param_Monitor_Gen_Act_Para

E System_Clock

C The_Monitor Pr PIO_The_Param_Monitor

Add_Check PSER

Pr The_Parameter_Value_Checker

Monitor_Parameter PSER

Pr The_Monitor_Scheduler





Get_Events_Due PSER



Pr The_Monitor_Gen_Act_Param

Monitor_Parameters_Due


- + < Clock

Pr The_Parameter_Value_Checker_Gen_Act_Param

.... Report_Transition_Event Update_Expected_Value_Check_State Update_Limit_Check_State

Add_Check HSER

Clear_Check HSER





42


8.5 The Monitor Scheduler


Pr The_Monitor_Scheduler E Task_Priority_Control


E Map_Type



Pr PIO_The_Monitor_Scheduler





Get_Events_Due PSER







Get_Events_Due PSER




43


8.6 The Monitoring List


Pr The_Monitoring_List E Onboard_Monitoring_Types



E Parameter_Monitoring_Definitions

E Mission_Ver




Apply PSER


Get_Domain PSER



Get_Range PSER

Initialize PSER

Insert PSER

Is_In PSER

Make_Map_Empty PSER


Remove PSER

Replace PSER

Pr PIO_The_Monitoring_List

Add_Parameter PSER

Clear PSER

Delete_Expected_Value_Check_Definition PSER








Get_Expected_Value_Monitoring_Definitions PSER

Get_Filter PSER

Get_Interval PSER


Get_Mode PSER




Insert_Expected_Value_Check_Definition PSER




Replace_Expected_Value_Check_Definition PSER




Add_Parameter PSER

Clear PSER

Delete_Expected_Value_Check_Definiti PSER








Get_Expected_Value_Monitoring_Defi PSER

Get_Filter PSER

Get_Interval PSER


Get_Mode PSER




Insert_Expected_Value_Check_Definiti PSER




Replace_Expected_Value_Check_Defin PSER





44


8.7 The Event Repor ter



E PUS

E Mission_Par


E Transition_Reporting_List

E Cyclic_Task



Pr The_Transition_Reporting_List

Add_Unreported_Transition PSER

Get_Unreported_Transition_List PSER

C OOL_Reporter

Pr OOL_Reporter_Gen_Act_Param

Submit_Out_Of_Limit_Report



45


8.8 Monitor TC Interpreter



A The_Param_Monitor

P The_Monitor_Parser




Start ASER


Execute_Telecommand



46


8.9 The EPS Function Management


A The_EPS_Function_Management

E Function_Management_Types


E PUS_State

E TC_Acknowledger


E External_Function_Management_Types


E PUS_Data_Types



E PUS


Pr The_EPS_Function_Management_Gen_Act_Param

E Electrical_Power_Subsystem_Parameters


Start ASER


Execute_Telecommand



47


8.10 The EPS HK Collector


A The_EPS_HK_Collector

Pr The_EPS_HK_Collector_Gen_Act_Param




E PUS


E HK_Diag_TC_Interpreter


E PUS_State




Deposit Receive Trigger

S The_TC_Interpreter_Task

Start ASER

A The_TC_Interpreter_Task_Gen_Act_Param

Execute_Telecommand



48


8.11 The TC Interpreter




E Task_Priority

E Parameter_R

E Parameter_St

E Mission_Par

E PUS


E Basic_Types

E Map_Type

E External_PU

E PUS_Data_T

E TC_Acknowl

E Mission_Ver

E Verification_

E HK_Diag_Event_Manager

E HK_Diag_Report_Generator

E Source_Data

E Storage_Con


E PUS_State Pr The_Report_Generator

Abort_Report PSER

Clear_Report PSER

Define_Report PSER





Pr PIO_The_TC_Interpreter

Handle_PUS_Packet PSER

Pr The_Report_Generator_Gen_Act_Param

Deposit Receive Trigger A The_Event_Manager

Clear_Report HSER

Define_Report HSER

Disable_Report HSER

Enable_Report ASER

Pr The_Event_Manager_Gen_Act_Param

Abort_Report Generate_Report Measure_Parameter

Pr The_SID_Map

Apply PSER


Get_Domain PSER



Get_Range PSER

Initialize PSER

Insert PSER

Is_In PSER

Make_Map_Empty PSER


Remove PSER

Replace PSER



49


8.12 The Repor t Generator


Pr The_Report_Generator Pr The_Report_Generator_Gen_Act_Param


E Source_Data

E Storage_Con

E Mission_Ver

E PUS_State

E External_PU

E PUS_Data_T

E Protected_M

E Task_Priority

E Verification_


E Parameter_St

E Parameter_R

E Mission_Par

E PUS

Pr PIO_The_Report_Generator

Abort_Report PSER

Clear_Report PSER

Define_Report PSER





Pr The_SID_Map

Apply PSER


Get_Domain PSER



Get_Range PSER

Insert PSER

Is_In PSER

Make_Map_Empty PSER


Remove PSER

Replace PSER

Abort_Report PSER

Clear_Report PSER

Define_Report PSER






50


8.13 The Event Manager


A The_Event_Manager Pr The_Event_Manager_Gen_Act_Param

E Event_Report

E PUS_State

E Satellite_Cloc

E Mission_Ver

E Map_Type

E Event_Sched

E System_Cloc

E Task_Priority

E Verification_


E Mission_Par







Get_Events_Due PSER




- + < Clock

Pr PIO_The_Event_Manager

Clear_Report PSER

Define_Report PSER

Disable_Report PSER

Enable_Report PSER

The_SID_Map


C The_Event_Task

Pr The_Event_Task_Gen_Act_Param

Collect_Parameters_Due

Clear_Report HSER

Define_Report HSER

Disable_Report HSER

Enable_Report ASER


51


8.14 The Event Scheduler



E Task_Priority

Pr The_Event_Scheduler_Gen_Act_Param E Map_Type



Pr PIO_The_Event_Scheduler





Get_Events_Due PSER







Get_Events_Due PSER




52


9 ICU Process


53


9.1 ICU Process

Thefile ps files/TheICU Process/mainPICT 1 ps.tex:

ICU_Process

A ICU_Serial_Bus_Simulator

Send ASER

A ICU_Process

Forward_Packet ASER

Receive ASER

A Packet_Router

Deposit ASER



54


9.2 ICU Process


A ICU_Process




E PUS_Data_Types

E PUS_State

E Basic_Types

E PUS

A ICU_Serial_Bus_Simulator

A Packet_Router

E ICU_Process_Parameters

A The_ICU_Process

Forward_Packet ASER

Receive ASER

Pr The_ICU_Process_Gen_Act_Param

Convert_From_Ground_External_To_PUS_Packet Convert_From_PUS_To_Ground_External_Packet Optional_Deposit Send

Forward_Packet ASER

Receive ASER


55


9.3 The ICU Process


A The_ICU_Process

Pr The_ICU_Process_Gen_Act_Param


E Basic_Types


E PUS


E PUS_Data_Types



E PUS_State

E System


Get PSER

Get_Single_Element PSER

Put PSER

Put PSER

A Application_Process_Dispatcher

Forward_Packet ASER

A Sync_Protocol

Receive ASER

Send_Packet ASER

A Receiver

Start_Receiver

Forward_Packet ASER

Receive ASER


56


9.4 Application Process Dispatc her


A Application_Process_Dispatcher Pr The_ICU_Process_Gen_Act_Param

A Sync_Protocol E PUS_State S The_Dispatcher

Start ASER

Pr The_Dispatcher_Gen_Act_Param

Convert_And_Handle_PUS_Packet

Forward_Packet ASER


57


9.5 Sync Protocol


A Sync_Protocol Pr The_ICU_Process_Gen_Act_Param


A Receiver

A PIO_Sync_Protocol

Receive ASER

Send_Packet ASER

Receive ASER

Send_Packet ASER


58


9.6 Receiver


A Receiver Pr The_Circular_Buffer

Pr The_ICU_Process_Gen_Act_Param S The_Receiver

Start ASER

Pr The_Receiver_Gen_Act_Param

Receive

Start_Receiver


59


10 Memor y Manager


60


10.1 Memor y Manager

Thefile ps files/TheMemory Manager/mainPICT 1 ps.tex:

Memory_Manager

A Memory_Manager

Forward_TC ASER

A Memory_Manager_Dispatcher

Forward_TC ASER

A The_Memory_Manager_Administration


Pr The_Memory_Manager_Administration_Gen_Act_Param

Calculate_ISO_Checksum Optional_Deposit Read_Data Write_Data

Memory_Interface_Manager

Calculate_ISO_Checksum Read_Data Write_Data

Pr The_Memory_Manager_Router

Deposit PSER


Pr The_Memory_Manager_Router_Gen_Act_Param

Deposit

The_Memory_RAM_IF


The_Memory_EEPROM_IF


The_Memory_Mem_1_IF



61


10.2 Memor y Manager Dispatc her


A Memory_Manager_Dispatcher E PUS

A The_Memory_Manager_Administration

E PUS_State

E Memory_Manager_Parameters

S The_TC_Forwarder

Start ASER


Handle_PUS_Packet

Forward_TC ASER


62


10.3 The Memor y Manager Administration


A The_Memory_Manager_Administration Pr The_Memory_Manager_Administration_Gen_Act_Param

E Memory_Management_Parser

E TC_Acknowledger



E PUS_State



E PUS_Data_Types

E Basic_Types

E ISO_Checksum

E PUS


E External_Memory_Management_Types

E Memory_Management_Types


A Memory_Management_TC_Interpreter


The_Memory_Management_Parser

Parse_TC Unparse_Memory_Check_Using_Absolute_ Unparse_Memory_Dump_Using_Absolute_



63


10.4 Memor y Management TC Interpreter


A Memory_Management_TC_Interpreter P The_Memory_Management_Parser

E TC_Acknowledger

Pr The_Memory_Manager_Administration_Gen_Act_Param

E PUS_State S The_TC_Interpreter

Start ASER


Execute_Telecommand



64


11 Misc


65


11.1 Misc

Thefile ps files/TheMisc/mainPICT 1 ps.tex:

Misc

Pr Source_Data

Pr Internal_PUS

Pr Low_Level_Stuff

Pr External_PUS


66


11.2 Source Data


Pr Source_Data

Pr Source_Data_Stream

Allocate PSER

Append PSER

Bits_In_Stream Bits_In_Stream Deallocate

PSER

Get PSER

Get PSER

Make_Image_From_Stream PSER

Make_Read_Stream Make_Stream_From_Image

PSER

Put PSER

Put PSER

Share PSER

Pr Source_Data_Manager

Allocate PSER

Deallocate PSER

Dereference PSER

Share PSER

Pr Source_Data_Initialiser

Go Initialize

Pr Parameter_Representation

.... < < < Ordering_Relation_Exists > < Equal Get

PSER

Put PSER

Get PSER

Put PSER

Get PSER

Put PSER

Get PSER

Put PSER

Get PSER

....

Cell_Stream

Get Put

Cell_Package


67


11.3 Source Data Manager


Pr Source_Data_Manager P Cell_Package

E Unchecked_Conversion



E Basic_Types

Pr PIO_Source_Data_Manager

Allocate PSER

Deallocate PSER

Dereference PSER

Share PSER

Pr The_Small_Cell_Pool

Allocate PSER

Deallocate PSER

Dereference PSER

Share PSER

Pr The_Large_Cell_Pool

Allocate PSER

Deallocate PSER

Dereference PSER

Share PSER

Allocate PSER

Deallocate PSER

Dereference PSER

Share PSER


68


11.4 The Small Cell Pool


Pr The_Small_Cell_Pool

P Cell_Package

E Basic_Types


E Resource_Manager

Pr PIO_The_Small_Cell_Pool

Allocate PSER

Deallocate PSER

Dereference PSER

Share PSER

Pr The_Store_Manager

Allocate PSER

Deallocate PSER

Is_Allocated PSER

Share PSER

Allocate PSER

Deallocate PSER

Dereference PSER

Share PSER


69


11.5 The Large Cell Pool


Pr The_Large_Cell_Pool

P Cell_Package

E Basic_Types


E Resource_Manager

Pr PIO_The_Large_Cell_Pool

Allocate PSER

Deallocate PSER

Dereference PSER

Share PSER

Pr The_Store_Manager

Allocate PSER

Deallocate PSER

Is_Allocated PSER

Share PSER

Allocate PSER

Deallocate PSER

Dereference PSER

Share PSER


70


11.6 Internal PUS


Pr Internal_PUS

Pr PUS_State

Generate_PUS PSER

Generate_PUS PSER

Allocate_PUS_Packet_Impl PSER

Dispose_PUS PSER

Is_TC_PUS_Packet Is_TM_PUS_Packet Get_Packet_Type Get_Receiver_APID Get_Sender_APID Get_Optional_Packet_Store_ID Get_Sequence_Count Get_Source_ID Get_TC_Source_Sequence_Count Get_TM_Source_Sequence_Count Get_Service_Name Get_Service_Type Get_Service_Subtype Get_Ack_Type Get_Time Get_PUS_Packet_Impl Get_Write_Stream Get_Read_Stream Update_Receiver_APID Update_Sender_APID Update_Packet_Store_ID Update_Packet_Type Update_Sequence_Count Update_Source_ID Update_TC_Source_Sequence_Count Update_TM_Source_Sequence_Count Update_Service_Name Update_Service_Type Update_Service_Subtype Update_Ack_Type Store_PUS_Packet_Impl Image_Put

PSER

Image_Get PSER

Stream_Append PSER

Update_Write_Stream

PUS Internal_PUS_Initialiser

Go Initialize

PUS_Data_Types

+ - < <=


71


11.7 PUS State


Pr PUS_State P PUS_Data_Types

P PUS

E Satellite_Clock




E Basic_Types

Pr The_PUS_Packet_Manager

Allocate PSER

Deallocate PSER

Is_Allocated PSER

Share PSER

Pr PIO_PUS_State

Generate_PUS PSER

Generate_PUS PSER


Dispose_PUS PSER

Is_TC_PUS_Packet Is_TM_PUS_Packet Get_Packet_Type Get_Receiver_APID Get_Sender_APID Get_Optional_Packet_Store_ID Get_Sequence_Count Get_Source_ID Get_TC_Source_Sequence_Count Get_TM_Source_Sequence_Count Get_Service_Name Get_Service_Type Get_Service_Subtype Get_Ack_Type Get_Time Get_PUS_Packet_Impl Get_Write_Stream Get_Read_Stream Update_Receiver_APID Update_Sender_APID Update_Packet_Store_ID Update_Packet_Type Update_Sequence_Count Update_Source_ID Update_TC_Source_Sequence_Count Update_TM_Source_Sequence_Count Update_Service_Name Update_Service_Type Update_Service_Subtype ....

Generate_PUS PSER

Generate_PUS PSER


Dispose_PUS PSER

Is_TC_PUS_Packet Is_TM_PUS_Packet Get_Packet_Type Get_Receiver_APID Get_Sender_APID Get_Optional_Packet_Store_ID Get_Sequence_Count Get_Source_ID Get_TC_Source_Sequence_Count Get_TM_Source_Sequence_Count Get_Service_Name Get_Service_Type Get_Service_Subtype Get_Ack_Type Get_Time Get_PUS_Packet_Impl Get_Write_Stream Get_Read_Stream Update_Receiver_APID Update_Sender_APID Update_Packet_Store_ID Update_Packet_Type Update_Sequence_Count Update_Source_ID Update_TC_Source_Sequence_Count Update_TM_Source_Sequence_Count Update_Service_Name Update_Service_Type Update_Service_Subtype Update_Ack_Type ....


72


11.8 Low Level Stuff


Pr Low_Level_Stuff

Basic_Types

Make_Single_Precision_Real Make_Double_Precision_Real Make_IEEE_Float Make_IEEE_Float < > Make_On_Board_Coarse_Time Make_On_Board_Fine_Time Make_CUC_Representation_Conform Duration_To_Fine_Time < - + To_Duration Make_Relative_On_Board_Time

External_On_Board_Clock

Get_Current_Obt

Satellite_Clock

CUC_Time_To_Real_Time Correlate_Real_Time_Clock Get_Time

System_Clock

- - + < Clock Delay_Until Microseconds Milliseconds To_Interval

Pr Task_Priority_Control

Assign_Priority_To_Current_Task PSER

Assign_Priority_To_Current_Task PSER


73


11.9 External PUS


Pr External_PUS

Pr External_PUS_Data_Types

Internal_To_External_Time External_To_Internal_Time Check_Application_ID Check_Source_ID Check_Service_Type Get

PSER

Put PSER

Get PSER

Put PSER

External_PUS_Initialiser

Go Initialize

Pr External_PUS_State

Make_And_Check_TC_Packet_Header Make_And_Check_TM_Packet_Header Byte_Array_To_External_TC_Packet Byte_Array_To_External_TM_Packet External_TM_Packet_To_Byte_Array External_TC_Packet_To_Byte_Array PUS_Packet_To_External_TC_Packet PUS_Packet_To_External_TM_Packet External_TC_Packet_To_PUS_Packet

PSER

External_TM_Packet_To_PUS_Packet PSER

Byte_Array_To_External_Onboard_TC_Packet Byte_Array_To_External_Onboard_TM_Packet External_Onboard_TM_Packet_To_Byte_Array External_Onboard_TC_Packet_To_Byte_Array PUS_Packet_To_External_Onboard_TC_Packet PUS_Packet_To_External_Onboard_TM_Packet External_Onboard_TC_Packet_To_PUS_Packet

PSER

External_Onboard_TM_Packet_To_PUS_Packet PSER

Get_Packet_ID Get_TC_Packet_Sequence_Control Get_TM_Packet_Sequence_Control

ISO_Checksum

Calculate_Checksum Checksum_Ok


74


12 Onboar d Stora ge Administrator


75


12.1 Onboar d Stora ge Administrator

Thefile ps files/TheOnboardStorageAdministrator/mainPICT 1 ps.tex:

Onboard_Storage_Administrator

A Onboard_Storage_Administrator

Forward_Packet ASER

A The_Onboard_Storage_Administrator_Storage_And_Retrieval

Handle_PUS_TC_Packet Handle_PUS_TM_Packet

A Onboard_Storage_Administrator_Dispatcher

Forward_Packet ASER

A Onboard_Storage_Administrator_TC_Interpreter


Pr The_Onboard_Storage_Administrator_Router

Deposit PSER


Pr The_Onboard_Storage_Administrator_Router_Gen_Act_Param

Deposit

Pr The_Onboard_Storage_Administrator_Storage_And_Retrie

Delete_All_Packets Delete_To_Packet Delete_To_Time Get_Packets_In_Period Get_Packets_In_Range Insert Optional_Deposit

PSER

Onboard_Storage_Administrator_Interface_Manager

Delete_All_Packets Delete_To_Packet Delete_To_Time Get_Packets_In_Period Get_Packets_In_Range Insert

The_Cyclic_Store_1


The_Cyclic_Store_2


The_Bounded_Store_1



76


12.2 The Onboar d Stora ge Administrator Stora ge And Retrie val




E TC_Acknowledger







E Packet_Store_Types


E PUS_State


E PUS_Data_Types

E Basic_Types

E PUS

Pr The_Onboard_Storage_Administrator_Storage_And_Retrieval_Gen_Act_Param


A Storage_Packet_Handler


A PIO_The_Onboard_Storage_Administrator_Storage_And_Retrieval

Handle_PUS_TC_Packet ASER

Handle_PUS_TM_Packet ASER

Handle_PUS_TC_Packet Handle_PUS_TM_Packet


77


12.3 Stora ge Packet Handler


A Storage_Packet_Handler E Parameter_Representation





E PUS_State

Pr The_Onboard_Storage_Administrator_Storage_And_Retrieval_Gen_Act_Param

S The_Packet_Handler

Start ASER

Pr The_Packet_Handler_Gen_Act_Param

Handle_Packet



78


12.4 Onboar d Stora ge Administrator Dispatc her


A Onboard_Storage_Administrator_Dispatcher E PUS

A Onboard_Storage_Administrator_TC_Interpreter


E PUS_State

E Onboard_Storage_Administrator_Parameters

S The_TC_Or_TM_Forwarder

Start ASER

Pr The_TC_Or_TM_Forwarder_Gen_Act_Param

Handle_PUS_Packet

Forward_Packet ASER


79


12.5 The Cyclic Store 1


The_Cyclic_Store_1

E Task_Priority

E Source_Data

E Packet_Store

E Parameter_R

E Mission_Par

E PUS

E External_PU

E External_PU

E PUS_State

E Satellite_Cloc

E Appl_Proc_

E PUS_Data_T

The_Store

Binary_Search Dec Done_Search Inc Read Search_Left Search_Right Write

PIO_The_Cyclic_Store_1




80


12.6 The Cyclic Store 2


The_Cyclic_Store_2

E Task_Priority

E Source_Data

E Packet_Store

E Parameter_R

E Mission_Par

E PUS

E External_PU

E External_PU

E PUS_State

E Satellite_Cloc

E Appl_Proc_

E PUS_Data_T

The_Store


PIO_The_Cyclic_Store_2




81


12.7 The Bounded Store 1


The_Bounded_Store_1

E Task_Priority

E Source_Data

E Packet_Store

E Parameter_R

E Mission_Par

E PUS

E External_PU

E External_PU

E PUS_State

E Satellite_Cloc

E Appl_Proc_

E PUS_Data_T

The_Store


PIO_The_Bounded_Store_1




82


13 Telecommand Scheduler


83


13.1 Telecommand Scheduler

Thefile ps files/TheTelecommandScheduler/mainPICT 1 ps.tex:

Telecommand_Scheduler

A Telecommand_Scheduler

Forward_TC ASER

A Telecommand_Scheduler_Dispatcher

Forward_TC ASER

A The_Telecommand_Scheduler_TC_Scheduler


A Telecommand_Scheduler_TC_Interpreter


Pr The_Telecommand_Scheduler_TC_Scheduler_Gen_Act_Param

Forward_TC Optional_Deposit

Pr The_Telecommand_Scheduler_Router

Deposit PSER


Pr The_Telecommand_Scheduler_Router_Gen_Act_Param

Deposit


84


13.2 Telecommand Scheduler Dispatc her


A Telecommand_Scheduler_Dispatcher E PUS

E PUS_State

E Telecommand_Scheduler_Parameters

A Telecommand_Scheduler_TC_Interpreter

S The_TC_Forwarder

Start ASER


Handle_PUS_Packet

Forward_TC ASER


85


13.3 The Telecommand Scheduler TC Scheduler


A The_Telecommand_Scheduler_TC_Scheduler E On_Board_Scheduling_Parser

E Gen_OBS_Scheduler

E Gen_OBS_Schedule

E On_Board_Scheduling_Types

E TC_Acknowledger



E PUS_State

E PUS_Data_Types

E PUS


E External_On_Board_Scheduling_Types



Pr The_OBS_Schedule

Delete_TC_Packets PSER

Delete_TC_Packets_Over_Time PSER

Disable_Schedule PSER

Disable_Sub_Schedule PSER

Enable_Schedule PSER

Enable_Sub_Schedule PSER

Get_Detailed_Schedule_Info PSER

Get_Detailed_Schedule_Over_Time_Info PSER

Get_Summary_Schedule_Info PSER

Get_Summary_Schedule_Over_Time_Info PSER

Get_Telecommands_Due PSER

Insert_TC_Packet PSER

Reset PSER

C The_OBS_Scheduler

A OBS_TC_Interpreter


The_OBS_Parser

Parse_TC Unparse_Detailed_Schedule_Report Unparse_Summary_Schedule_Report

Pr The_OBS_Scheduler_Gen_Act_Param

Forward_TC Get_Telecommands_Due



86


13.4 The OBS Scheduler


C The_OBS_Scheduler E Task_Priority_Control


E PUS

Pr The_OBS_Scheduler_Gen_Act_Param

C The_Scheduler

Pr The_Scheduler_Gen_Act_Param

Schedule_Telecommands_Due


87


13.5 OBS TC Interpreter


A OBS_TC_Interpreter

P The_OBS_Parser

E TC_Acknowledger


E PUS_State

Pr The_OBS_Schedule


Start ASER


Execute_Telecommand



88

User Configuration File

Appendix A


PREFERENCES

DMS

BLOCKINGPROTOCOLIPCI

END

TARGETCHARACTERISTICS

NOATAC

PRIORITYLOW

1PRIORITYHIGH72--asmanylevelsarethreadsandprotected

CPUCLOCKFREQUENCY10MHz--referenceonERC32boards

WAITSTATESREAD0WRITE0--ideal

END

THREADDEFINITION

-----------------------

--APID4:SYSTEMINFRASTRUCTURE

-----------------------

THREADPacket_Router.Packet_Forwarder.The_Sporadic_Task

CRITICALITYHard

MINIMUM

71_425_0--14packetspersecond

DEADLINE

10_000_0

END

-----------------------

--APID3:GROUNDIFAGENT

-----------------------

THREADGround_IF.The_Ground_IF.Application_Process_Dispatcher.The_Dispatcher.The_Sporadic_Task

CRITICALITYHard

MINIMUM

83_330_0--12TMpacketspersecond

DEADLINE

50_000_0

END

THREADGround_IF.The_Ground_IF.The_Receiver.The_Sporadic_Task

CRITICALITYHard

MINIMUM1_000_000_0--1

TCpacketpersecond

DEADLINE1_000_000_0

END

THREADSerial_Bus_Simulator.The_Receiver_Task

--InterruptSporadic

MINIMUM1_000_000_0--1

TCpacketpersecond

END

-----------------------

--APID6:ICUPROCESSAGENT


A.2


-----------------------

THREADICU_Process.The_ICU_Process.Application_Process_Dispatcher.The_Dispatcher.The_Sporadic_Task

CRITICALITYHard

MINIMUM3_000_000_0--1

TCpacketevery3seconds

DEADLINE

150_000_0

END

THREADICU_Process.The_ICU_Process.The_Receiver.The_Sporadic_Task

CRITICALITYHard

MINIMUM

500_000_0--2

packetspersecond

DEADLINE

100_000_0

END

THREADICU_Serial_Bus_Simulator.The_Receiver_Task

--InterruptSporadic

MINIMUM

500_000_0--2

packetspersecond

END

-----------------------

--APID1:AOCS-CommsStructure

-----------------------

THREADAttitude_Control_System_Dispatcher.TC_Forwarder.The_Sporadic_Task

CRITICALITYHard

MINIMUM3_000_000_0--1

TCpacketevery3seconds

DEADLINE

150_000_0

END

-----------------------

--APID1:AOCS-MonitoringService

-----------------------

THREADACS_Monitor.Monitor_TC_Interpreter.The_TC_Interpreter.The_Sporadic_Task

CRITICALITYHard

MINIMUM15_000_000_0--1

commandevery15seconds

DEADLINE

500_000_0

END

THREADACS_Monitor.The_Param_Monitor.The_Monitor.The_Cyclic_Task

CRITICALITYHard

PERIOD1_000_000_0--1-secondcycle

DEADLINE1_000_000_0

END

THREADACS_Monitor.The_Event_Reporter.OOL_Reporter.The_Cyclic_Task

CRITICALITYHard

PERIOD10_000_000_0--1

OOLeventreportevery10seconds

DEADLINE10_000_000_0


A.3


END

-----------------------

--APID1:AOCS-FunctionManagementService

-----------------------

THREADACS_Function_Management.The_TC_Interpreter.The_Sporadic_Task

CRITICALITYHard

MINIMUM15_000_000_0--1


DEADLINE

1_000_000_0

END

-----------------------

--APID1:AOCS-HK&DiagnosticService

-----------------------

THREADACS_HK_Collector.TC_Interpreter_Task.The_Sporadic_Task

CRITICALITYHard

MINIMUM15_000_000_0--1


DEADLINE

500_000_0

END

THREADACS_HK_Collector.TC_Interpreter.Event_Manager.Event_Task.The_Cyclic_Task

CRITICALITYHard


DEADLINE1_000_000_0

END

-----------------------

--APID1:AOCS-On-BoardStorageService

-----------------------

THREADACS_Storage_Selection_Defs.Storage_Selection_Defs_TC_Interpreter.The_TC_Interpreter.The_Sporadic_Task

CRITICALITYHard

MINIMUM15_000_000_0--1


DEADLINE

1_000_000_0

END

-----------------------

--APID1:AOCS-DeviceLevelCommandingService

-----------------------

THREADDevice_TC_Interpreter.The_TC_Interpreter.The_Sporadic_Task

CRITICALITYHard

MINIMUM15_000_000_0--1


DEADLINE

50_000_0

END


A.4


-----------------------

--APID2:TTTC-CommsStructure

-----------------------

THREADTelecommand_Scheduler_Dispatcher.TC_Forwarder.The_Sporadic_Task

CRITICALITYHard

MINIMUM3_000_000_0--1

packetevery3

seconds

DEADLINE

250_000_0

END

-----------------------

--APID2:TTTC-TelecommandScheduling

-----------------------

THREADTelecommand_Scheduler_TC_Scheduler.OBS_TC_Interpreter.The_TC_Interpreter.The_Sporadic_Task

CRITICALITYHard

MINIMUM3_000_000_0--1

commandevery3

seconds

DEADLINE

750_000_0

END

THREADTelecommand_Scheduler_TC_Scheduler.OBS_Scheduler.The_Scheduler.The_Cyclic_Task

CRITICALITYHard

PERIOD1_000_000_0--1-secondcyclewithonecommandtriggerpersecond

DEADLINE

300_000_0

END

-----------------------

--APID5:StorageAdministrator

-----------------------

THREADOnboard_Storage_Administrator_Dispatcher.TC_Or_TM_Forwarder.The_Sporadic_Task

CRITICALITYHard

MINIMUM

3_000_000_0--1commandevery3seconds

DEADLINE

1_000_000_0

END

THREADOnboard_Storage_Administrator_Storage_And_Retrieval.The_TC_Interpreter.The_Sporadic_Task

CRITICALITYHard

MINIMUM


DEADLINE

1_000_000_0

END

-----------------------

--APID7:MemoryManager

-----------------------

THREADMemory_Manager_Dispatcher.TC_Forwarder.The_Sporadic_Task

CRITICALITYHard

MINIMUM

3_000_000_0--1packetevery3seconds


A.5


DEADLINE

1_000_000_0

END

THREADMemory_Manager_Administration.Memory_Management_TC_Interpreter.The_TC_Interpreter.The_Sporadic_Task

CRITICALITYHard

MINIMUM


DEADLINE

2_000_000_0

END

-----------------------

--APID8:EPS-CommsStructure

-----------------------

THREADElectrical_Power_Subsystem_Dispatcher.TC_Forwarder.The_Sporadic_Task

CRITICALITYHard

MINIMUM3_000_000_0--1

packetpersecond

DEADLINE1_000_000_0

END

-----------------------

--APID8:EPS-MonitoringService

-----------------------

THREADEPS_Monitor.Monitor_TC_Interpreter.The_TC_Interpreter.The_Sporadic_Task

CRITICALITYHard

MINIMUM9_000_000_0--1

commandevery9

seconds

DEADLINE1_000_000_0

END

THREADEPS_Monitor.The_Param_Monitor.The_Monitor.The_Cyclic_Task

CRITICALITYHard


DEADLINE1_000_000_0

END

THREADEPS_Monitor.The_Event_Reporter.OOL_Reporter.The_Cyclic_Task

CRITICALITYHard

PERIOD10_000_000_0--1

OOLeventreportevery10seconds

DEADLINE10_000_000_0

END

-----------------------

--APID8:EPS-FunctionManagementService

-----------------------

THREADEPS_Function_Management.The_TC_Interpreter.The_Sporadic_Task

CRITICALITYHard

MINIMUM9_000_000_0--1

commandevery9

seconds


A.6


DEADLINE3_000_000_0

END

-----------------------

--APID8:EPS-HK&DiagnosticService

-----------------------

THREADEPS_HK_Collector.TC_Interpreter_Task.The_Sporadic_Task

CRITICALITYHard

MINIMUM9_000_000_0--1

commandevery9

seconds

DEADLINE

500_000_0

END

THREADEPS_HK_Collector.TC_Interpreter.Event_Manager.Event_Task.The_Cyclic_Task

CRITICALITYHard


DEADLINE1_000_000_0

END

END

WCETDATA

OKalltextfromnowonshouldbeignore

Themeaningoflifeisyettobedecerned

ThisshouldnotberecocognisedTHREAD

END


A.7

Execution Skeleton File

Appendix B


PROGRAMOBOSS_PROBA_Instance

----------------------------------------------------------------------

--APID3:GroundIFAgent

-----------------------

--Receiver

-----------------------

PROTECTEDGround_IF.The_Ground_IF.The_Receiver.Event_Buffer.Queue_Task

TYPESYNCHRO

ENTRYDeposit

WCET

96,0,0

BARRIERWCET

6,1,0

ENTRYExtract

WCET

76,0,0

ENDGround_IF.The_Ground_IF.The_Receiver.Event_Buffer.Queue_Task

THREADGround_IF.The_Ground_IF.The_Receiver.The_Sporadic_Task

TYPESPORADIC

WCET

3,0,0

CALL_PO

Ground_IF.The_Ground_IF.The_Receiver.Event_Buffer.Queue_TaskExtract

--getapacketasexternalgroundbytesfrombuffer

WCET

227,0,0

CALL_PO

Ground_IF.The_Ground_IF.The_Circular_Buffer.Buffer_TaskGet

--convertbytearraytointernalPUSpacket

WCET

1000,0,0

--allocatePUSpacket(includingitsstream)

WCET

705,0,0

--thefollowingmightalsoallocatefromLarge_Cell_Pool,

--+butSmall_Cell_Poolistheonewiththemostaccesses

CALL_PO

Source_Data_Manager.Small_Cell_Pool.Store_Manager.AllocatorAllocate

CALL_PO

Source_Data_Manager.Small_Cell_Pool.Store_Manager.AllocatorIs_Allocated

WCET

400,0,0

CALL_PO

Source_Data_Manager.Small_Cell_Pool.Store_Manager.AllocatorShare

WCET

295,0,0

CALL_PO

PUS_Packet_Manager.AllocatorAllocate

WCET

270,0,0

CALL_PO

Source_Data_Manager.Small_Cell_Pool.Store_Manager.AllocatorDeallocate

--forwardtheTC

CALL_PO

Packet_Router.Packet_Forwarder.Event_Buffer.Queue_TaskDeposit

ENDGround_IF.The_Ground_IF.The_Receiver.The_Sporadic_Task

--CircularBuffer

-----------------------

PROTECTEDGround_IF.The_Ground_IF.The_Circular_Buffer.Buffer_Task

TYPERESOURCE


B.2


ENTRYPut

--Elem

:in

Element_Type

WCET

250,0,0

ENTRYPut

--Elem_Array:

in

Element_Type_Array

WCET

250,0,0

ENTRYGet

--Elem

:in

Element_Type

WCET

302,0,0

ENTRYGet

--Elem_Array:

in

Element_Type_Array

WCET

302,0,0

ENDGround_IF.The_Ground_IF.The_Circular_Buffer.Buffer_Task

--Dispatcher

-----------------------

PROTECTEDGround_IF.The_Ground_IF.Application_Process_Dispatcher.The_Dispatcher.Event_Buffer.Queue_Task

TYPESYNCHRO

ENTRYDeposit

WCET

96,0,0

BARRIERWCET

6,1,0

ENTRYExtract

WCET

76,0,0

ENDGround_IF.The_Ground_IF.Application_Process_Dispatcher.The_Dispatcher.Event_Buffer.Queue_Task

THREADGround_IF.The_Ground_IF.Application_Process_Dispatcher.The_Dispatcher.The_Sporadic_Task

TYPESPORADIC

WCET

3,0,0

CALL_PO

Ground_IF.The_Ground_IF.Application_Process_Dispatcher.The_Dispatcher.Event_Buffer.Queue_TaskExtract

--convertinternalPUSpackettoexternalgroundbyte

array

WCET

9938,0,0

--disposePUSpacket(includingitsstream)

WCET

352,0,0

CALL_PO


CALL_PO

PUS_Packet_Manager.AllocatorDeallocate

--sendbytes

ENDGround_IF.The_Ground_IF.Application_Process_Dispatcher.The_Dispatcher.The_Sporadic_Task

--SerialBusInterface

-----------------------

THREADSerial_Bus_Simulator.The_Receiver_Task

TYPEINTERRUPTSPORADIC

--placereceivedbytesinbuffer

--(worst"realistic"caseisacompletepacket,whichrequires2

Putarrayoperations)

WCET

784,0,0

CALL_PO

Ground_IF.The_Ground_IF.The_Circular_Buffer.Buffer_TaskPut


B.3


WCET

72,0,0

CALL_PO

Ground_IF.The_Ground_IF.The_Circular_Buffer.Buffer_TaskPut

WCET

22,0,0

CALL_PO

Ground_IF.The_Ground_IF.The_Receiver.Event_Buffer.Queue_TaskDeposit

ENDSerial_Bus_Simulator.The_Receiver_Task

----------------------------------------------------------------------

--APID4:SystemInfrastructure

-----------------------

--PacketRouter

-----------------------

PROTECTEDPacket_Router.Packet_Forwarder.Event_Buffer.Queue_Task

TYPESYNCHRO

ENTRYDeposit

WCET

96,0,0

BARRIERWCET

6,1,0

ENTRYExtract

WCET

76,0,0

ENDPacket_Router.Packet_Forwarder.Event_Buffer.Queue_Task

THREADPacket_Router.Packet_Forwarder.The_Sporadic_Task

TYPESPORADIC

WCET

3,0,0

CALL_PO

Packet_Router.Packet_Forwarder.Event_Buffer.Queue_TaskExtract

WCET

200,0,0

--Assumingtheforwardingtogroundcalltobeworstcase

CALL_PO

Storage_Selection_Manager.Packet_Store_Info_Critical_RegionGet_Destination_Packet_Store_ID

WCET

200,0,0

CALL_PO

Storage_Selection_Manager.Packet_Store_Info_Critical_RegionGet_Routing_Destination_APID

WCET

200,0,0

CALL_PO

Ground_IF.The_Ground_IF.Application_Process_Dispatcher.The_Dispatcher.Event_Buffer.Queue_TaskDeposit

POAttitude_Control_System_Dispatcher.TC_Forwarder.Event_Buffer.Queue_TaskDeposit

Telecommand_Scheduler_Dispatcher.TC_Forwarder.Event_Buffer.Queue_TaskDeposit

Onboard_Storage_Administrator_Dispatcher.TC_Or_TM_Forwarder.Event_Buffer.Queue_TaskDeposit

ICU_Process.The_ICU_Process.Application_Process_Dispatcher.The_Dispatcher.Event_Buffer.Queue_TaskDeposit

Memory_Manager_Dispatcher.TC_Forwarder.Event_Buffer.Queue_TaskDeposit

Electrical_Power_Subsystem_Dispatcher.TC_Forwarder.Event_Buffer.Queue_TaskDeposit

ENDPacket_Router.Packet_Forwarder.The_Sporadic_Task

--TMCounter

-----------------------

PROTECTEDPacket_Counters_Manager.Counters_Critical_Region

TYPERESOURCE

ENTRYInit_Appl_Proc_Descr--notcalled


B.4


WCET

1,0,0

--TOBEDETERMINED

ENTRYGet_Next_TC_Counter

WCET

775,0,0

ENTRYGet_Next_TM_Counter

WCET

775,0,0

ENDPacket_Counters_Manager.Counters_Critical_Region

--DataPool

-----------------------

PROTECTEDSource_Data_Manager.Small_Cell_Pool.Store_Manager.Allocator

TYPERESOURCE

ENTRYIs_Allocated

WCET

25,0,0

ENTRYAllocate

WCET

142,0,0

ENTRYDeallocate

WCET

135,0,0

ENTRYShare

WCET

2,0,0

ENDSource_Data_Manager.Small_Cell_Pool.Store_Manager.Allocator

PROTECTEDSource_Data_Manager.Large_Cell_Pool.Store_Manager.Allocator

TYPERESOURCE

ENTRYIs_Allocated

WCET

25,0,0

ENTRYAllocate

WCET

135,0,0

ENTRYDeallocate

WCET

135,0,0

ENTRYShare

WCET

2,0,0

ENDSource_Data_Manager.Large_Cell_Pool.Store_Manager.Allocator

--PUSPacketManager

-----------------------

PROTECTEDPUS_Packet_Manager.Allocator

TYPERESOURCE

ENTRYIs_Allocated

WCET

25,0,0

ENTRYAllocate

WCET

135,0,0

ENTRYDeallocate

WCET

135,0,0

ENTRYShare

WCET

2,0,0

ENDPUS_Packet_Manager.Allocator


B.5


--StorageSelectionManager

-----------------------

PROTECTEDStorage_Selection_Manager.Packet_Store_Info_Critical_Region

TYPERESOURCE

ENTRYEnable_Storage

WCET

1,0,0

--TOBEDETERMINED

ENTRYDisable_Storage

WCET

1,0,0

--TOBEDETERMINED

ENTRYAdd_All_Storage_Selection_Def

WCET

1,0,0

--TOBEDETERMINED

ENTRYAdd_All_Subtypes_Storage_Selection_Def

WCET

1,0,0

--TOBEDETERMINED

ENTRYAdd_Specific_Subtypes_Storage_Selection_Def

WCET

1,0,0

--TOBEDETERMINED

ENTRYRemove_All_Storage_Selection_Def

WCET

1,0,0

--TOBEDETERMINED

ENTRYRemove_All_Subtypes_Storage_Selection_Def

WCET

1,0,0

--TOBEDETERMINED

ENTRYRemove_Specific_Subtypes_Storage_Selection_Def

WCET

1,0,0

--TOBEDETERMINED

ENTRYIs_Storage_Selection_All_Present

WCET

1,0,0

--TOBEDETERMINED

ENTRYIs_Storage_Selection_Service_Present

WCET

1,0,0

--TOBEDETERMINED

ENTRYGet_Storage_Selection_Service_Def

WCET

5455,0,0

ENTRYGet_Routing_Destination_APID

WCET

5455,0,0

ENTRYGet_Destination_Packet_Store_ID

WCET

5455,0,0

ENDStorage_Selection_Manager.Packet_Store_Info_Critical_Region

----------------------------------------------------------------------

--APID6:ICUProcessAgent

-----------------------

--Receiver

-----------------------

PROTECTEDICU_Process.The_ICU_Process.The_Receiver.Event_Buffer.Queue_Task

TYPESYNCHRO

ENTRYDeposit

WCET

96,0,0

BARRIERWCET

6,1,0

ENTRYExtract

WCET

76,0,0

ENDICU_Process.The_ICU_Process.The_Receiver.Event_Buffer.Queue_Task


B.6


THREADICU_Process.The_ICU_Process.The_Receiver.The_Sporadic_Task

TYPESPORADIC

WCET

3,0,0

CALL_PO

ICU_Process.The_ICU_Process.The_Receiver.Event_Buffer.Queue_TaskExtract

--getapacketasexternalon-boardbytesfrom

buffer

WCET

227,0,0

CALL_PO

ICU_Process.The_ICU_Process.The_Circular_Buffer.Buffer_TaskGet

--convertbytearraytointernalPUSpacket

WCET

1000,0,0

--allocatePUSpacket(includingitsstream)

WCET

705,0,0

--thefollowingmightalso

allocatefromLarge_Cell_Pool,

--+butSmall_Cell_Poolistheonewiththemostaccesses

CALL_PO


WCET

400,0,0

CALL_PO


--forwardthepacket

CALL_PO


ENDICU_Process.The_ICU_Process.The_Receiver.The_Sporadic_Task

--CircularBuffer

-----------------------

PROTECTEDICU_Process.The_ICU_Process.The_Circular_Buffer.Buffer_Task

TYPERESOURCE

ENTRYPut

--Elem

:in

Element_Type

WCET

250,0,0

ENTRYPut

--Elem_Array:

in

Element_Type_Array

WCET

250,0,0

ENTRYGet

--Elem

:in

Element_Type

WCET

302,0,0

ENTRYGet

--Elem_Array:

in

Element_Type_Array

WCET

302,0,0

ENDICU_Process.The_ICU_Process.The_Circular_Buffer.Buffer_Task

--Dispatcher

-----------------------

PROTECTEDICU_Process.The_ICU_Process.Application_Process_Dispatcher.The_Dispatcher.Event_Buffer.Queue_Task

TYPESYNCHRO

ENTRYDeposit

WCET

96,0,0

BARRIERWCET

6,1,0

ENTRYExtract


B.7


WCET

76,0,0

ENDICU_Process.The_ICU_Process.Application_Process_Dispatcher.The_Dispatcher.Event_Buffer.Queue_Task

THREADICU_Process.The_ICU_Process.Application_Process_Dispatcher.The_Dispatcher.The_Sporadic_Task

TYPESPORADIC

WCET

3,0,0

CALL_PO

ICU_Process.The_ICU_Process.Application_Process_Dispatcher.The_Dispatcher.Event_Buffer.Queue_TaskExtract

--convertinternalPUSpackettoexternalon-boardbytearray

WCET

9938,0,0

--disposePUSpacket(includingitsstream)

WCET

352,0,0

CALL_PO

Source_Data_Manager.Large_Cell_Pool.Store_Manager.AllocatorDeallocate

CALL_PO


--sendbytes

ENDICU_Process.The_ICU_Process.Application_Process_Dispatcher.The_Dispatcher.The_Sporadic_Task

--SerialBusInterface

-----------------------

THREADICU_Serial_Bus_Simulator.The_Receiver_Task

TYPEINTERRUPTSPORADIC

--placereceivedbytesinbuffer

--(worst"realistic"caseisacompletepacket,whichrequires2

Putarrayoperations)

WCET

784,0,0

CALL_PO

ICU_Process.The_ICU_Process.The_Circular_Buffer.Buffer_TaskPut

WCET

72,0,0

CALL_PO

ICU_Process.The_ICU_Process.The_Circular_Buffer.Buffer_TaskPut

WCET

22,0,0

CALL_PO

ICU_Process.The_ICU_Process.The_Receiver.Event_Buffer.Queue_TaskDeposit

ENDICU_Serial_Bus_Simulator.The_Receiver_Task

----------------------------------------------------------------------

--APID1:AOCS-CommsStructure

-----------------------

PROTECTEDAttitude_Control_System_Dispatcher.TC_Forwarder.Event_Buffer.Queue_Task

TYPESYNCHRO

ENTRYDeposit

WCET

96,0,0

BARRIERWCET

6,1,0

ENTRYExtract

WCET

76,0,0

ENDAttitude_Control_System_Dispatcher.TC_Forwarder.Event_Buffer.Queue_Task

THREADAttitude_Control_System_Dispatcher.TC_Forwarder.The_Sporadic_Task

TYPESPORADIC

WCET

3,0,0

CALL_PO

Attitude_Control_System_Dispatcher.TC_Forwarder.Event_Buffer.Queue_TaskExtract


B.8


WCET

83,0,0

--AssumingthemonitoringTCcall

tobeworstcase

CALL_PO

ACS_Monitor.Monitor_TC_Interpreter.The_TC_Interpreter.Event_Buffer.Queue_TaskDeposit

PODevice_TC_Interpreter.The_TC_Interpreter.Event_Buffer.Queue_TaskDeposit

ACS_Function_Management.The_TC_Interpreter.Event_Buffer.Queue_TaskDeposit

ACS_HK_Collector.TC_Interpreter_Task.Event_Buffer.Queue_TaskDeposit

ACS_Storage_Selection_Defs.Storage_Selection_Defs_TC_Interpreter.The_TC_Interpreter.Event_Buffer.Queue_TaskDeposit

--Thefollowing6operationsareallcalledincase

ofrejectingaTC



Packet_Counters_Manager.Counters_Critical_RegionGet_Next_TM_Counter




ENDAttitude_Control_System_Dispatcher.TC_Forwarder.The_Sporadic_Task

--APID1*AOCS-Monitoring

-----------------------

PROTECTED

ACS_Monitor.Monitor_TC_Interpreter.The_TC_Interpreter.Event_Buffer.Queue_Task

TYPESYNCHRO

ENTRYDeposit

WCET

96,0,0

BARRIERWCET

6,1,0

ENTRYExtract

WCET

76,0,0

END--ACS_Monitor.Monitor_TC_Interpreter.The_TC_Interpreter.Event_Buffer.Queue_Task

THREADACS_Monitor.Monitor_TC_Interpreter.The_TC_Interpreter.The_Sporadic_Task

TYPESPORADIC

WCET

3,0,0

CALL_PO

ACS_Monitor.Monitor_TC_Interpreter.The_TC_Interpreter.Event_Buffer.Queue_TaskExtract

--ACS_Monitor.Execute_Telecommand

--ACS_Monitor.The_Monitor_Parser.Parse_TC

WCET

160000,0,0

--GenerateandsendacceptanceverificationTM

WCET

30000,0,0

CALL_PO


CALL_PO


CALL_PO


CALL_PO


--Generateandsendstart-of-executionverificationTM

WCET

30000,0,0

CALL_PO


CALL_PO


CALL_PO


CALL_PO



B.9


--ACS_Monitor.Interpret_TC

WCET

510,0,0

--ACS_Monitor.Modify_Parameters

LOOP5

--ACS_Monitor.The_Monitoring_List.Modify_Parameter_Validity_Number

--Key:

inKey_Type;Elem_Ref:outElement_Type_Reference;Element_Not_In_Map:outBoolean

CALL_POACS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_ProtectorApply

--ACS_Monitor.The_Monitoring_List.Update_Statuses

LOOP2

--Wegetlimitchecksandexpectedvaluechecks

WCET

1,0,0--TOBEDETERMINED

CALL_POACS_Monitor.The_Monitoring_List.Check_Definition_CollectionGet_Check_Definitions

--Reassign_Statuses

LOOP10

WCET


CALL_POACS_Monitor.The_Monitoring_List.Check_Definition_CollectionHead

CALL_POACS_Monitor.The_Monitoring_List.Check_Definition_CollectionUpdate_Head

CALL_POACS_Monitor.The_Monitoring_List.Check_Definition_CollectionTail

END

END

--GenerateandsendprogressverificationTM

--ACS_Monitor.Verify_Step

WCET

30000,0,0

CALL_PO


CALL_PO


CALL_PO


CALL_PO


--ACS_Monitor.Modify_Definitions(limitdefinitions&expectedvaluedefinitions)

LOOP10

WCET


--ACS_Monitor.The_Monitoring_List.Insert_Check_Definition

--Key:

inKey_Type;Elem_Ref:

outElement_Type_Reference;Element_Not_In_Map:outBoolean


CALL_POACS_Monitor.The_Monitoring_List.Check_Definition_CollectionInsert_Check_Definition


--ACS_Monitor.Verify_Step

WCET

30000,0,0

CALL_PO


CALL_PO


CALL_PO


CALL_PO


END

END

--GenerateandsendcompletionverificationTM

--ACS_Monitor.Verify_Stage

WCET


CALL_PO


CALL_PO



B.10


CALL_PO


CALL_PO


--DisposePUSpacket(includingitsstream)

--PUS_State.Dispose_PU

WCET


--ThefollowingmightalsodeallocatefromLarge_Cell_Pool,butSmall_Cell_Poolistheonewiththemostaccesses

CALL_PO


CALL_PO


POACS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_ProtectorMake_Map_Empty

ACS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_ProtectorInsert

ACS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_ProtectorRemove

ACS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_ProtectorReplace

--Key:

inKey_Type;Elem:

outElement_Type;Element_Not_In_Map:outBoolean

ACS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_ProtectorApply

ACS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_ProtectorIs_In

ACS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_ProtectorGet_Domain

ACS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_ProtectorDomain_Is_Covered

ACS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_ProtectorGet_Next_Key_In_Domain

ACS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_ProtectorGet_Range

ACS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_ProtectorRange_Is_Covered

--Iterator:inoutMap_Range;Element:outElement_Type;Range_Is_Exhausted:outBoolean

ACS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_ProtectorGet_Next_Element_In_Range

--Iterator:inoutMap_Range;Element_Reference:outElement_Type_Reference;Range_Is_Exhausted:out

Boolean

ACS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_ProtectorGet_Next_Element_In_Range

ACS_Monitor.The_Monitoring_List.Check_Definition_CollectionEmpty_Definitions

ACS_Monitor.The_Monitoring_List.Check_Definition_CollectionReplace_Check_Definition

ACS_Monitor.The_Monitoring_List.Check_Definition_CollectionDelete_Check_Definition

ACS_Monitor.The_Param_Monitor.Monitor_Scheduler.Critical_RegionAdd_Cyclic_Event

ACS_Monitor.The_Param_Monitor.Monitor_Scheduler.Critical_RegionDelete_Cyclic_Event

ACS_Monitor.The_Param_Monitor.Monitor_Scheduler.Critical_RegionDelete_All_Events

ACS_Monitor.The_Param_Monitor.Monitor_Scheduler.Critical_RegionClear_Time_Line

ACS_Monitor.The_Param_Monitor.Monitor_Scheduler.Critical_RegionReschedule_Time_Line

ACS_Monitor.The_Param_Monitor.Monitor_Scheduler.Critical_RegionSchedule_Is_Empty

Source_Data_Manager.Large_Cell_Pool.Store_Manager.AllocatorAllocate


ENDACS_Monitor.Monitor_TC_Interpreter.The_TC_Interpreter.The_Sporadic_Task

PROTECTEDACS_Monitor.The_Param_Monitor.Monitor_Scheduler.Critical_Region

TYPERESOURCE

ENTRYAdd_Cyclic_Event

WCET

410,0,0

ENTRYDelete_Cyclic_Event

WCET

500,0,0

ENTRYClear_Time_Line

WCET

1200,0,0

ENTRYReschedule_Time_Line

WCET

1112,0,0


B.11


ENTRYSchedule_Is_Empty

WCET

200,0,0

ENTRYGet_Events_Due

WCET

1372,0,0--foronedueevent

--WCET

419,0,0--fornodueevents

ENTRYDelete_All_Events

WCET

1200,0,0

ENDACS_Monitor.The_Param_Monitor.Monitor_Scheduler.Critical_Region

PROTECTEDACS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_Protector

TYPERESOURCE

ENTRYMake_Map_Empty

WCET

1,0,0

--TOBEDETERMINED

ENTRYInsert

WCET

510,0,0

ENTRYRemove

WCET

1,0,0

--TOBEDETERMINED

ENTRYReplace

WCET

1,0,0

--TOBEDETERMINED

ENTRYApply

WCET

510,0,0

ENTRYIs_In

WCET

1,0,0

--TOBEDETERMINED

ENTRYGet_Domain

WCET

1,0,0

--TOBEDETERMINED

ENTRYDomain_Is_Covered

WCET

1,0,0

--TOBEDETERMINED

ENTRYGet_Next_Key_In_Domain

WCET

152,0,0

ENTRYGet_Range

WCET

1,0,0

--TOBEDETERMINED

ENTRYRange_Is_Covered

WCET

1,0,0

--TOBEDETERMINED

ENTRYGet_Next_Element_In_Range

WCET

1,0,0

--TOBEDETERMINED


WCET

1,0,0

--TOBEDETERMINED

ENDACS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_Protector

PROTECTEDACS_Monitor.The_Monitoring_List.Check_Definition_Collection

TYPERESOURCE

ENTRYGet_Check_Definitions

WCET

1,0,0

--TOBEDETERMINED

ENTRYHead

WCET

1,0,0

--TOBEDETERMINED

ENTRYUpdate_Head

WCET

1,0,0

--TOBEDETERMINED

ENTRYTail


B.12


WCET

1,0,0

--TOBEDETERMINED

ENTRYEmpty_Definitions

WCET

1,0,0

--TOBEDETERMINED

ENTRYInsert_Check_Definition

WCET

1,0,0

--TOBEDETERMINED

ENTRYReplace_Check_Definition

WCET

1,0,0

--TOBEDETERMINED

ENTRYDelete_Check_Definition

WCET

1,0,0

--TOBEDETERMINED

ENDACS_Monitor.The_Monitoring_List.Check_Definition_Collection

THREADACS_Monitor.The_Param_Monitor.The_Monitor.The_Cyclic_Task

TYPECYCLIC

--ACS_Monitor.The_Param_Monitor.Monitor_Parameters_Due

WCET

61,0,0

--ACS_Monitor.The_Param_Monitor.Monitor_Scheduler.Get_Events_Due

CALL_POACS_Monitor.The_Param_Monitor.Monitor_Scheduler.Critical_RegionGet_Events_Due

LOOP5

--ACS_Driver_IF.Receive;Satellite_Clock.Get_Time

WCET

3098,0,0

--ACS_Monitor.The_Param_Monitor.The_Parameter_Value_Checker.Monitor_Parameter

WCET

1,0,0

--TOBEDETERMINED

--ACS_Monitor.The_Monitoring_List.Parameter_Is_Valid


--ACS_Monitor.The_Monitoring_List.Update_Statuses

LOOP2

--Receive(Param_ID)

WCET

3364,0,0


CALL_POACS_Monitor.The_Monitoring_List.Check_Definition_CollectionGet_Check_Definitions

--Reassign_Statuses

LOOP10

WCET

1999,0,0


CALL_POACS_Monitor.The_Monitoring_List.Check_Definition_CollectionUpdate_Head


END

--ACS_Monitor.The_Param_Monitor.The_Parameter_Value_Checker.Make_Checks

WCET


--ACS_Monitor.The_Monitoring_List.Get_Monitoring_Definitions


LOOP10

WCET

1256,0,0


--ACS_Monitor.The_Param_Monitor.The_Parameter_Value_Checker.Make_Check

--ACS_Monitor.The_Monitoring_List.Get_Filter


CALL_POACS_Monitor.The_Event_Reporter.OOL_Reporter.The_Transition_Reporting_List.Transition_List_RegionAdd_Unreported_Transition


B.13



END

END

END

ENDACS_Monitor.The_Param_Monitor.The_Monitor.The_Cyclic_Task

PROTECTEDACS_Monitor.The_Event_Reporter.OOL_Reporter.The_Transition_Reporting_List.Transition_List_Region

TYPERESOURCE

ENTRYInitialize

WCET

600,0,0

ENTRYAdd_Unreported_Transition

WCET

1250,0,0

ENTRYGet_Unreported_Transition_List

WCET

135,0,0

ENDACS_Monitor.The_Event_Reporter.OOL_Reporter.The_Transition_Reporting_List.Transition_List_Region

THREADACS_Monitor.The_Event_Reporter.OOL_Reporter.The_Cyclic_Task

TYPECYCLIC

--ACS_Monitor.The_Event_Reporter.OOL_Reporter.Submit_Out_Of_Limit_Report

WCET


--ACS_Monitor.The_Event_Reporter.OOL_Reporter.The_Transition_Reporting_List.Get_Unreported_Transition_List

WCET


CALL_POACS_Monitor.The_Event_Reporter.OOL_Reporter.The_Transition_Reporting_List.Transition_List_RegionGet_Unreported_Transition_List

LOOP100

WCET

1,0,0

--TOBEDETERMINED

--ACS_Monitor.The_Monitor_Parser.Unparse_Out_Of_Limit_Report

CALL_PO


CALL_PO


--ACS_Monitor.Optional_Deposit

CALL_PO


CALL_PO


END

ENDACS_Monitor.The_Event_Reporter.OOL_Reporter.The_Cyclic_Task

--APID1*AOCS-FunctionManagement

-----------------------

PROTECTEDACS_Function_Management.The_TC_Interpreter.Event_Buffer.Queue_Task

TYPESYNCHRO

ENTRYDeposit

WCET

96,0,0

BARRIERWCET

6,1,0

ENTRYExtract

WCET

76,0,0

ENDACS_Function_Management.The_TC_Interpreter.Event_Buffer.Queue_Task

THREADACS_Function_Management.The_TC_Interpreter.The_Sporadic_Task

TYPESPORADIC


B.14


WCET

3,0,0

CALL_PO

ACS_Function_Management.The_TC_Interpreter.Event_Buffer.Queue_TaskExtract

WCET


--checkTCheader

WCET


--generateandsendacceptanceverificationTM

WCET

30000,0,0

CALL_PO


CALL_PO


CALL_PO


CALL_PO


--parsefunctionidandactivityid(assumeperformactivitytohavetheworst-caseexecutiontime)

WCET


--generateandsendstart-of-executionverificationTM

WCET

30000,0,0

CALL_PO


CALL_PO


CALL_PO


CALL_PO


--performactivity(non-blocking)

WCET


--generateandsendcompletionverificationTM

WCET


CALL_PO


CALL_PO


CALL_PO


CALL_PO


ENDACS_Function_Management.The_TC_Interpreter.The_Sporadic_Task

--APID1*AOCS-HK&Diagnostic

-----------------------

PROTECTEDACS_HK_Collector.TC_Interpreter_Task.Event_Buffer.Queue_Task

TYPESYNCHRO

ENTRYDeposit

WCET

96,0,0

BARRIERWCET

6,1,0

ENTRYExtract

WCET

76,0,0

ENDACS_HK_Collector.TC_Interpreter_Task.Event_Buffer.Queue_Task

THREADACS_HK_Collector.TC_Interpreter_Task.The_Sporadic_Task

TYPESPORADIC

WCET

3,0,0

CALL_PO

ACS_HK_Collector.TC_Interpreter_Task.Event_Buffer.Queue_Task

Extract

--ACS_HK_Collector.Execute_Telecommand

--ACS_HK_Collector.TC_Interpreter.Send_Verification



B.15


WCET

30000,0,0

CALL_PO


CALL_PO


CALL_PO


CALL_PO



WCET

30000,0,0

CALL_PO


CALL_PO


CALL_PO


CALL_PO


--ACS_HK_Collector.TC_Interpreter.Report_Generator.Define_Report

WCET

88000,0,0

CALL_POACS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_ProtectorInsert

WCET

931,0,0


--ACS_HK_Collector.TC_Interpreter.Send_Verification

WCET

30000,0,0

CALL_PO


CALL_PO


CALL_PO


CALL_PO



--PUS_State.Dispose_PUS


CALL_PO


CALL_PO


WCET


POACS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_ProtectorRemove

ACS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_ProtectorReplace

--Key:

inKey_Type;Elem:


ACS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_ProtectorApply

--Key:


ACS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_ProtectorApply

ACS_HK_Collector.TC_Interpreter.Event_Manager.The_Event_Scheduler.Critical_RegionAdd_Cyclic_Event

ACS_HK_Collector.TC_Interpreter.Event_Manager.The_Event_Scheduler.Critical_RegionDelete_Cyclic_Event

ACS_HK_Collector.TC_Interpreter.Event_Manager.The_Event_Scheduler.Critical_RegionGet_Events_Due



ENDACS_HK_Collector.TC_Interpreter_Task.The_Sporadic_Task

PROTECTEDACS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_Protector

TYPERESOURCE

ENTRYMake_Map_Empty

WCET


ENTRYInsert

WCET

22270,0,0


B.16


ENTRYRemove

WCET

1,0,0

--TOBEDETERMINED

ENTRYReplace

WCET

1,0,0

--TOBEDETERMINED

ENTRYApply

WCET

640,0,0

ENTRYIs_In

WCET

1,0,0

--TOBEDETERMINED

ENTRYGet_Domain

WCET

1,0,0

--TOBEDETERMINED


WCET

1,0,0

--TOBEDETERMINED


WCET

1,0,0

--TOBEDETERMINED

ENTRYGet_Range

WCET

1,0,0

--TOBEDETERMINED


WCET

1,0,0

--TOBEDETERMINED


WCET

1,0,0

--TOBEDETERMINED


WCET

1,0,0

--TOBEDETERMINED

ENDACS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_Protector

PROTECTEDACS_HK_Collector.TC_Interpreter.Event_Manager.The_Event_Scheduler.Critical_Region

TYPERESOURCE


WCET

2031,0,0

--20thevents(777for1st+66foreachsubsequent)


WCET

2000,0,0


WCET

2000,0,0


WCET

600000,0,0


WCET

200,0,0

ENTRYGet_Events_Due--20events(max)

WCET

107227,0,0


WCET

5000,0,0

ENDACS_HK_Collector.TC_Interpreter.Event_Manager.The_Event_Scheduler.Critical_Region

THREADACS_HK_Collector.TC_Interpreter.Event_Manager.Event_Task.The_Cyclic_Task

TYPECYCLIC

--ACS_HK_Collector.TC_Interpreter.Event_Manager.Collect_Parameters_Due

--ACS_HK_Collector.TC_Interpreter.Event_Manager.The_Event_Scheduler.Get_Events_Due

WCET

61,0,0

CALL_PO

ACS_HK_Collector.TC_Interpreter.Event_Manager.The_Event_Scheduler.Critical_RegionGet_Events_Due


B.17


LOOP20

--20acquisitions(usingkernelservices)

WCET1368,0,0

END

--ACS_HK_Collector.TC_Interpreter.Report_Generator.Generate_Report

WCET

30000,0,0

CALL_PO


CALL_PO


CALL_PO


CALL_PO


WCET

78,0,0

ENDACS_HK_Collector.TC_Interpreter.Event_Manager.Event_Task.The_Cyclic_Task

--APID1*AOCS-On-BoardStorage

-----------------------

PROTECTEDACS_Storage_Selection_Defs.Storage_Selection_Defs_TC_Interpreter.The_TC_Interpreter.Event_Buffer.Queue_Task

TYPESYNCHRO

ENTRYDeposit

WCET

96,0,0

BARRIERWCET

6,1,0

ENTRYExtract

WCET

76,0,0

ENDACS_Storage_Selection_Defs.Storage_Selection_Defs_TC_Interpreter.The_TC_Interpreter.Event_Buffer.Queue_Task

THREADACS_Storage_Selection_Defs.Storage_Selection_Defs_TC_Interpreter.The_TC_Interpreter.The_Sporadic_Task

TYPESPORADIC

WCET

3,0,0

CALL_PO

ACS_Storage_Selection_Defs.Storage_Selection_Defs_TC_Interpreter.The_TC_Interpreter.Event_Buffer.Queue_TaskExtract

WCET


--checkTCheader

WCET



WCET

30000,0,0

CALL_PO


CALL_PO


CALL_PO


CALL_PO


--parsestorageselectiondef(assumeaddinga

definitiontohave

theworst-caseexecutiontime)

WCET



WCET

30000,0,0

CALL_PO


CALL_PO


CALL_PO


CALL_PO


--addstorageselectiondefs(assumeaddingdefinitionstohavetheworst-caseexecutiontime)

--loopover"N1"insertions(practicalmaxlimit:numberofPUSservicessupported)


B.18


LOOP10

--parseandinsertstorageselectiondef

WCET

1,0,0

--TOBEDETERMINED

CALL_PO

Storage_Selection_Manager.Packet_Store_Info_Critical_RegionAdd_Specific_Subtypes_Storage_Selection_Def

--generateandsendprogressverificationTM

WCET

30000,0,0

CALL_PO


CALL_PO


CALL_PO


CALL_PO


END

WCET



WCET


CALL_PO


CALL_PO


CALL_PO


CALL_PO


POStorage_Selection_Manager.Packet_Store_Info_Critical_RegionEnable_Storage

Storage_Selection_Manager.Packet_Store_Info_Critical_RegionDisable_Storage

Storage_Selection_Manager.Packet_Store_Info_Critical_RegionAdd_All_Storage_Selection_Def

Storage_Selection_Manager.Packet_Store_Info_Critical_RegionAdd_All_Subtypes_Storage_Selection_Def

Storage_Selection_Manager.Packet_Store_Info_Critical_RegionRemove_All_Storage_Selection_Def

Storage_Selection_Manager.Packet_Store_Info_Critical_RegionRemove_All_Subtypes_Storage_Selection_Def

Storage_Selection_Manager.Packet_Store_Info_Critical_RegionRemove_Specific_Subtypes_Storage_Selection_Def

Storage_Selection_Manager.Packet_Store_Info_Critical_RegionGet_Storage_Selection_Service_Def

ENDACS_Storage_Selection_Defs.Storage_Selection_Defs_TC_Interpreter.The_TC_Interpreter.The_Sporadic_Task

--APID1*AOCS-DeviceLevelCommanding

-----------------------

PROTECTEDDevice_TC_Interpreter.The_TC_Interpreter.Event_Buffer.Queue_Task

TYPESYNCHRO

ENTRYDeposit

WCET

96,0,0

BARRIERWCET

6,1,0

ENTRYExtract

WCET

76,0,0

ENDDevice_TC_Interpreter.The_TC_Interpreter.Event_Buffer.Queue_Task

THREADDevice_TC_Interpreter.The_TC_Interpreter.The_Sporadic_Task

TYPESPORADIC

WCET

3,0,0

CALL_PO

Device_TC_Interpreter.The_TC_Interpreter.Event_Buffer.Queue_TaskExtract

--parseTCsourcedata(assumeRegisterLoadCommandtohavetheworst-caseexecutiontime)

WCET

2316,0,0



B.19


WCET

30000,0,0

CALL_PO


CALL_PO


CALL_PO


CALL_PO



WCET

30000,0,0

CALL_PO


CALL_PO


CALL_PO


CALL_PO


--executetelecommand(assumeRegisterLoadCommandtohave


--loopoveruptoExternal_Device_Command_Distribution_Types.Max_No_Of_Commands

LOOP10

--sendtoRegister_Driver(assumedtobenon-blocking)

WCET

183,0,0

--atthispointwearecallingtheKernelServices


WCET

30000,0,0

CALL_PO


CALL_PO


CALL_PO


CALL_PO


END

ENDDevice_TC_Interpreter.The_TC_Interpreter.The_Sporadic_Task

----------------------------------------------------------------------

--APID2:TTTC-CommsStructure

-----------------------

PROTECTEDTelecommand_Scheduler_Dispatcher.TC_Forwarder.Event_Buffer.Queue_Task

TYPESYNCHRO

ENTRYDeposit

WCET

96,0,0

BARRIERWCET

6,1,0

ENTRYExtract

WCET

76,0,0

ENDTelecommand_Scheduler_Dispatcher.TC_Forwarder.Event_Buffer.Queue_Task

THREADTelecommand_Scheduler_Dispatcher.TC_Forwarder.The_Sporadic_Task

TYPESPORADIC

WCET

3,0,0

CALL_PO

Telecommand_Scheduler_Dispatcher.TC_Forwarder.Event_Buffer.Queue_TaskExtract

WCET

83,0,0

CALL_PO

Telecommand_Scheduler_TC_Scheduler.OBS_TC_Interpreter.The_TC_Interpreter.Event_Buffer.Queue_TaskDeposit

PO--Thefollowing6operationsareallcalledincase

ofrejectingaTC




B.20






ENDTelecommand_Scheduler_Dispatcher.TC_Forwarder.The_Sporadic_Task

--APID2*TTTC-TelecommandScheduling

-----------------------

PROTECTEDTelecommand_Scheduler_TC_Scheduler.OBS_TC_Interpreter.The_TC_Interpreter.Event_Buffer.Queue_Task

TYPESYNCHRO

ENTRYDeposit

WCET

96,0,0

BARRIERWCET

6,1,0

ENTRYExtract

WCET

76,0,0

ENDTelecommand_Scheduler_TC_Scheduler.OBS_TC_Interpreter.The_TC_Interpreter.Event_Buffer.Queue_Task

THREADTelecommand_Scheduler_TC_Scheduler.OBS_TC_Interpreter.The_TC_Interpreter.The_Sporadic_Task

TYPESPORADIC

WCET

3,0,0

CALL_PO

Telecommand_Scheduler_TC_Scheduler.OBS_TC_Interpreter.The_TC_Interpreter.Event_Buffer.Queue_TaskExtract

--parseTCsourcedata(assumeInsert-parsingtohave


WCET


--loopoveruptoTelecommand_Scheduler_Parameters.Schedule_Max_List_Length

LOOP50

--generateinternalTC

WCET

24151,0,0

CALL_PO


--couldalsobea

calltoLarge_Cell_Pool,butSmall_Cell_Poolistheonewithmost

calls

CALL_PO


END


WCET

30000,0,0

CALL_PO


CALL_PO


CALL_PO


CALL_PO



WCET

30000,0,0

CALL_PO


CALL_PO


CALL_PO


CALL_PO


--executetelecommand(assumeInserttohavetheworst-caseexecutiontime)

--loopoveruptoTelecommand_Scheduler_Parameters.Schedule_Max_List_Length

LOOP50

WCET

52,0,0


B.21


CALL_PO

Telecommand_Scheduler_TC_Scheduler.OBS_Schedule.Critical_RegionInsert_TC_Packet


WCET

30000,0,0

CALL_PO


CALL_PO


CALL_PO


CALL_PO


END


WCET


CALL_PO


CALL_PO


CALL_PO


CALL_PO


--deallocateTC

CALL_PO


CALL_PO


POTelecommand_Scheduler_TC_Scheduler.OBS_Schedule.Critical_RegionEnable_Schedule

Telecommand_Scheduler_TC_Scheduler.OBS_Schedule.Critical_RegionDisable_Schedule

Telecommand_Scheduler_TC_Scheduler.OBS_Schedule.Critical_RegionEnable_Sub_Schedule

Telecommand_Scheduler_TC_Scheduler.OBS_Schedule.Critical_RegionDisable_Sub_Schedule

Telecommand_Scheduler_TC_Scheduler.OBS_Schedule.Critical_RegionReset

Telecommand_Scheduler_TC_Scheduler.OBS_Schedule.Critical_RegionInsert_TC_Packet

Telecommand_Scheduler_TC_Scheduler.OBS_Schedule.Critical_RegionDelete_TC_Packets

Telecommand_Scheduler_TC_Scheduler.OBS_Schedule.Critical_RegionDelete_TC_Packets_Over_Time

Telecommand_Scheduler_TC_Scheduler.OBS_Schedule.Critical_RegionGet_Detailed_Schedule_Info

Telecommand_Scheduler_TC_Scheduler.OBS_Schedule.Critical_RegionGet_Detailed_Schedule_Over_Time_Info

Telecommand_Scheduler_TC_Scheduler.OBS_Schedule.Critical_RegionGet_Summary_Schedule_Info

Telecommand_Scheduler_TC_Scheduler.OBS_Schedule.Critical_RegionGet_Summary_Schedule_Over_Time_Info

ENDTelecommand_Scheduler_TC_Scheduler.OBS_TC_Interpreter.The_TC_Interpreter.The_Sporadic_Task

PROTECTEDTelecommand_Scheduler_TC_Scheduler.OBS_Schedule.Critical_Region

TYPERESOURCE

ENTRYEnable_Schedule

WCET10221,0,0

ENTRYDisable_Schedule

WCET

500,0,0

ENTRYEnable_Sub_Schedule

WCET10547,0,0

ENTRYDisable_Sub_Schedule

WCET

500,0,0

ENTRYReset

WCET

1000,0,0

ENTRYInsert_TC_Packet

WCET

777,0,0

ENTRYDelete_TC_Packets

WCET

1000,0,0


B.22


ENTRYDelete_TC_Packets_Over_Time

WCET

3000,0,0

ENTRYGet_Detailed_Schedule_Info

WCET

6000,0,0

ENTRYGet_Detailed_Schedule_Over_Time_Info

WCET

9000,0,0

ENTRYGet_Summary_Schedule_Info

WCET

1500,0,0

ENTRYGet_Summary_Schedule_Over_Time_Info

WCET

4500,0,0

ENTRYGet_Telecommands_Due

--WCET

104,0,0

--noTCdue

WCET

4174,0,0--oneTCdue

ENDTelecommand_Scheduler_TC_Scheduler.OBS_Schedule.Critical_Region

THREADTelecommand_Scheduler_TC_Scheduler.OBS_Scheduler.The_Scheduler.The_Cyclic_Task

TYPECYCLIC

WCET

172,0,0

CALL_PO

Telecommand_Scheduler_TC_Scheduler.OBS_Schedule.Critical_RegionGet_Telecommands_Due

--loopoveruptoTelecommand_Scheduler_Parameters.Max_No_Of_Telecommands_In_Scheduling_Period

LOOP1

--MAXIS10

WCET

1,0,0

--TOBEDETERMINED

CALL_PO


END

ENDTelecommand_Scheduler_TC_Scheduler.OBS_Scheduler.The_Scheduler.The_Cyclic_Task

----------------------------------------------------------------------

--APID5:StorageAdministrator

-----------------------

PROTECTEDOnboard_Storage_Administrator_Dispatcher.TC_Or_TM_Forwarder.Event_Buffer.Queue_Task

TYPESYNCHRO

ENTRYDeposit

WCET

96,0,0

BARRIERWCET

6,1,0

ENTRYExtract

WCET

76,0,0

ENDOnboard_Storage_Administrator_Dispatcher.TC_Or_TM_Forwarder.Event_Buffer.Queue_Task

THREADOnboard_Storage_Administrator_Dispatcher.TC_Or_TM_Forwarder.The_Sporadic_Task

TYPESPORADIC

WCET

3,0,0

CALL_PO

Onboard_Storage_Administrator_Dispatcher.TC_Or_TM_Forwarder.Event_Buffer.Queue_TaskExtract

WCET


--AssumingTCinterpretationtobeworstcase

CALL_PO

Onboard_Storage_Administrator_Storage_And_Retrieval.The_TC_Interpreter.Event_Buffer.Queue_TaskDeposit

PODevice_TC_Interpreter.The_TC_Interpreter.Event_Buffer.Queue_TaskDeposit


B.23


ACS_Function_Management.The_TC_Interpreter.Event_Buffer.Queue_TaskDeposit

ACS_HK_Collector.TC_Interpreter_Task.Event_Buffer.Queue_TaskDeposit

ACS_Storage_Selection_Defs.Storage_Selection_Defs_TC_Interpreter.The_TC_Interpreter.Event_Buffer.Queue_TaskDeposit


ofrejectingaTC







ENDOnboard_Storage_Administrator_Dispatcher.TC_Or_TM_Forwarder.The_Sporadic_Task

PROTECTEDOnboard_Storage_Administrator_Storage_And_Retrieval.The_TC_Interpreter.Event_Buffer.Queue_Task

TYPESYNCHRO

ENTRYDeposit

WCET

96,0,0

BARRIERWCET

6,1,0

ENTRYExtract

WCET

76,0,0

ENDOnboard_Storage_Administrator_Storage_And_Retrieval.The_TC_Interpreter.Event_Buffer.Queue_Task

THREADOnboard_Storage_Administrator_Storage_And_Retrieval.The_TC_Interpreter.The_Sporadic_Task

TYPESPORADIC

WCET

3,0,0

CALL_PO

Onboard_Storage_Administrator_Storage_And_Retrieval.The_TC_Interpreter.Event_Buffer.Queue_TaskExtract

WCET


--checkTCheader

WCET



WCET


CALL_PO


CALL_PO


CALL_PO


CALL_PO


--handleGet_Packets_In_Range(assumingittohavetheworst-caseexecutiontime)

--readdownlinksetdefinition

WCET



WCET

30000,0,0

CALL_PO


CALL_PO


CALL_PO


CALL_PO


--allocatetemporarystreamforpacketstodownload

CALL_PO


--Extractpacketsfromstore(non-blocking)

WCET


--generateandsendreportTM


B.24


WCET


CALL_PO


CALL_PO


CALL_PO


CALL_PO


--deallocatetemporarystreamforpacketstodownload

CALL_PO



WCET


CALL_PO


CALL_PO


CALL_PO


CALL_PO


ENDOnboard_Storage_Administrator_Storage_And_Retrieval.The_TC_Interpreter.The_Sporadic_Task

----------------------------------------------------------------------

--APID7:MemoryManager-

CommsStructure

-----------------------

PROTECTEDMemory_Manager_Dispatcher.TC_Forwarder.Event_Buffer.Queue_Task

TYPESYNCHRO

ENTRYDeposit

WCET

96,0,0

BARRIERWCET

6,1,0

ENTRYExtract

WCET

76,0,0

ENDMemory_Manager_Dispatcher.TC_Forwarder.Event_Buffer.Queue_Task

THREADMemory_Manager_Dispatcher.TC_Forwarder.The_Sporadic_Task

TYPESPORADIC

WCET

3,0,0

CALL_PO

Memory_Manager_Dispatcher.TC_Forwarder.Event_Buffer.Queue_TaskExtract

WCET

83,0,0

CALL_PO

Memory_Manager_Administration.Memory_Management_TC_Interpreter.The_TC_Interpreter.Event_Buffer.Queue_TaskDeposit

PO--Thefollowing6operationsareallcalledincase

ofrejectingaTC







ENDMemory_Manager_Dispatcher.TC_Forwarder.The_Sporadic_Task

--APID7*MemoryManager-

MemoryManagement

-----------------------

PROTECTEDMemory_Manager_Administration.Memory_Management_TC_Interpreter.The_TC_Interpreter.Event_Buffer.Queue_Task


B.25


TYPESYNCHRO

ENTRYDeposit

WCET

96,0,0

BARRIERWCET

6,1,0

ENTRYExtract

WCET

76,0,0

ENDMemory_Manager_Administration.Memory_Management_TC_Interpreter.The_TC_Interpreter.Event_Buffer.Queue_Task

THREADMemory_Manager_Administration.Memory_Management_TC_Interpreter.The_TC_Interpreter.The_Sporadic_Task

TYPESPORADIC

WCET

3,0,0

CALL_PO

Memory_Manager_Administration.Memory_Management_TC_Interpreter.The_TC_Interpreter.Event_Buffer.Queue_TaskExtract

WCET


--parseTCsourcedata(assumeLoadMemorywithchecktohavetheworst-caseexecutiontime)

WCET



WCET


CALL_PO


CALL_PO


CALL_PO


CALL_PO



WCET

30000,0,0

CALL_PO


CALL_PO


CALL_PO


CALL_PO


--executetelecommand(assumeLoadMemorywith

checktohavetheworst-caseexecutiontime)

--loopoveruptoMemory_Manager_Parameters.Max_List_Length

LOOP10

--loadthememoryarea(non-blocking)

WCET

1,0,0

--TOBEDETERMINED

--calculateandcomparechecksums(ifrequested,whichisworstcase)

WCET

1,0,0

--TOBEDETERMINED


WCET

30000,0,0

CALL_PO


CALL_PO


CALL_PO


CALL_PO


END


WCET


CALL_PO


CALL_PO


CALL_PO


CALL_PO


--deallocateTC


B.26


CALL_PO


CALL_PO


ENDMemory_Manager_Administration.Memory_Management_TC_Interpreter.The_TC_Interpreter.The_Sporadic_Task

----------------------------------------------------------------------

--APID8:EPS-CommsStructure

-----------------------

PROTECTEDElectrical_Power_Subsystem_Dispatcher.TC_Forwarder.Event_Buffer.Queue_Task

TYPESYNCHRO

ENTRYDeposit

WCET

96,0,0

BARRIERWCET

6,1,0

ENTRYExtract

WCET

76,0,0

ENDElectrical_Power_Subsystem_Dispatcher.TC_Forwarder.Event_Buffer.Queue_Task

THREADElectrical_Power_Subsystem_Dispatcher.TC_Forwarder.The_Sporadic_Task

TYPESPORADIC

WCET

3,0,0

CALL_PO

Electrical_Power_Subsystem_Dispatcher.TC_Forwarder.Event_Buffer.Queue_TaskExtract

WCET

83,0,0

--AssumingthemonitoringTCcall

tobeworstcase

CALL_PO

EPS_Monitor.Monitor_TC_Interpreter.The_TC_Interpreter.Event_Buffer.Queue_TaskDeposit

POEPS_Function_Management.The_TC_Interpreter.Event_Buffer.Queue_TaskDeposit

EPS_HK_Collector.TC_Interpreter_Task.Event_Buffer.Queue_TaskDeposit


ofrejectingaTC







ENDElectrical_Power_Subsystem_Dispatcher.TC_Forwarder.The_Sporadic_Task

--APID8*EPS-Monitoring

-----------------------

PROTECTEDEPS_Monitor.Monitor_TC_Interpreter.The_TC_Interpreter.Event_Buffer.Queue_Task

TYPESYNCHRO

ENTRYDeposit

WCET

96,0,0

BARRIERWCET

6,1,0

ENTRYExtract

WCET

76,0,0

ENDEPS_Monitor.Monitor_TC_Interpreter.The_TC_Interpreter.Event_Buffer.Queue_Task


B.27


THREADEPS_Monitor.Monitor_TC_Interpreter.The_TC_Interpreter.The_Sporadic_Task

TYPESPORADIC

WCET

3,0,0

CALL_PO

EPS_Monitor.Monitor_TC_Interpreter.The_TC_Interpreter.Event_Buffer.Queue_TaskExtract

--EPS_Monitor.Execute_Telecommand

--EPS_Monitor.The_Monitor_Parser.Parse_TC


WCET

160000,0,0

CALL_PO


CALL_PO


CALL_PO


CALL_PO



WCET

30000,0,0

CALL_PO


CALL_PO


CALL_PO


CALL_PO


--EPS_Monitor.Interpret_TC

WCET

510,0,0

--EPS_Monitor.Modify_Parameters

LOOP3

--EPS_Monitor.The_Monitoring_List.Modify_Parameter_Validity_Number

--Key:


CALL_POEPS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_ProtectorApply

--EPS_Monitor.The_Monitoring_List.Update_Statuses

LOOP2


WCET


CALL_POEPS_Monitor.The_Monitoring_List.Check_Definition_CollectionGet_Check_Definitions

--Reassign_Statuses

LOOP10

WCET


CALL_POEPS_Monitor.The_Monitoring_List.Check_Definition_CollectionHead

CALL_POEPS_Monitor.The_Monitoring_List.Check_Definition_CollectionUpdate_Head

CALL_POEPS_Monitor.The_Monitoring_List.Check_Definition_CollectionTail

END

END


--EPS_Monitor.Verify_Step

WCET

30000,0,0

CALL_PO


CALL_PO


CALL_PO


CALL_PO


--EPS_Monitor.Modify_Definitions(limitdefinitions&expectedvaluedefinitions)

LOOP10

WCET



B.28


--EPS_Monitor.The_Monitoring_List.Insert_Check_Definition

--Key:

inKey_Type;Elem_Ref:

outElement_Type_Reference;Element_Not_In_Map:outBoolean


CALL_POEPS_Monitor.The_Monitoring_List.Check_Definition_CollectionInsert_Check_Definition


--EPS_Monitor.Verify_Step

WCET

30000,0,0

CALL_PO


CALL_PO


CALL_PO


CALL_PO


END

END


--EPS_Monitor.Verify_Stage

WCET


CALL_PO


CALL_PO


CALL_PO


CALL_PO



--PUS_State.Dispose_PU

WCET



CALL_PO


CALL_PO


POEPS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_ProtectorMake_Map_Empty

EPS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_ProtectorInsert

EPS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_ProtectorRemove

EPS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_ProtectorReplace

--Key:

inKey_Type;Elem:


EPS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_ProtectorApply

EPS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_ProtectorIs_In

EPS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_ProtectorGet_Domain

EPS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_ProtectorDomain_Is_Covered

EPS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_ProtectorGet_Next_Key_In_Domain

EPS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_ProtectorGet_Range

EPS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_ProtectorRange_Is_Covered

--Iterator:inoutMap_Range;Element:outElement_Type;Range_Is_Exhausted:outBoolean

EPS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_ProtectorGet_Next_Element_In_Range

--Iterator:inoutMap_Range;Element_Reference:outElement_Type_Reference;Range_Is_Exhausted:out

Boolean

EPS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_ProtectorGet_Next_Element_In_Range

EPS_Monitor.The_Monitoring_List.Check_Definition_CollectionEmpty_Definitions

EPS_Monitor.The_Monitoring_List.Check_Definition_CollectionReplace_Check_Definition

EPS_Monitor.The_Monitoring_List.Check_Definition_CollectionDelete_Check_Definition

EPS_Monitor.The_Param_Monitor.Monitor_Scheduler.Critical_RegionAdd_Cyclic_Event

EPS_Monitor.The_Param_Monitor.Monitor_Scheduler.Critical_RegionDelete_Cyclic_Event


B.29


EPS_Monitor.The_Param_Monitor.Monitor_Scheduler.Critical_RegionDelete_All_Events

EPS_Monitor.The_Param_Monitor.Monitor_Scheduler.Critical_RegionClear_Time_Line

EPS_Monitor.The_Param_Monitor.Monitor_Scheduler.Critical_RegionReschedule_Time_Line

EPS_Monitor.The_Param_Monitor.Monitor_Scheduler.Critical_RegionSchedule_Is_Empty



ENDEPS_Monitor.Monitor_TC_Interpreter.The_TC_Interpreter.The_Sporadic_Task

PROTECTEDEPS_Monitor.The_Param_Monitor.Monitor_Scheduler.Critical_Region

TYPERESOURCE


WCET

410,0,0


WCET

500,0,0


WCET

1200,0,0


WCET

1112,0,0


WCET

200,0,0

ENTRYGet_Events_Due

WCET

1372,0,0--foronedueevent

--WCET

419,0,0--fornodueevents


WCET

1200,0,0

ENDEPS_Monitor.The_Param_Monitor.Monitor_Scheduler.Critical_Region

PROTECTEDEPS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_Protector

TYPERESOURCE

ENTRYMake_Map_Empty

WCET

1,0,0

--TOBEDETERMINED

ENTRYInsert

WCET

510,0,0

ENTRYRemove

WCET

1,0,0

--TOBEDETERMINED

ENTRYReplace

WCET

1,0,0

--TOBEDETERMINED

ENTRYApply

WCET

510,0,0

ENTRYIs_In

WCET

1,0,0

--TOBEDETERMINED

ENTRYGet_Domain

WCET

1,0,0

--TOBEDETERMINED


WCET

1,0,0

--TOBEDETERMINED


WCET

152,0,0

ENTRYGet_Range


B.30


WCET

1,0,0

--TOBEDETERMINED


WCET

1,0,0

--TOBEDETERMINED


WCET

1,0,0

--TOBEDETERMINED


WCET

1,0,0

--TOBEDETERMINED

ENDEPS_Monitor.The_Monitoring_List.The_Monitoring_List.Map_Protector

PROTECTEDEPS_Monitor.The_Monitoring_List.Check_Definition_Collection

TYPERESOURCE

ENTRYGet_Check_Definitions

WCET

1,0,0

--TOBEDETERMINED

ENTRYHead

WCET

1,0,0

--TOBEDETERMINED

ENTRYUpdate_Head

WCET

1,0,0

--TOBEDETERMINED

ENTRYTail

WCET

1,0,0

--TOBEDETERMINED

ENTRYEmpty_Definitions

WCET

1,0,0

--TOBEDETERMINED

ENTRYInsert_Check_Definition

WCET

1,0,0

--TOBEDETERMINED

ENTRYReplace_Check_Definition

WCET

1,0,0

--TOBEDETERMINED

ENTRYDelete_Check_Definition

WCET

1,0,0

--TOBEDETERMINED

ENDEPS_Monitor.The_Monitoring_List.Check_Definition_Collection

THREADEPS_Monitor.The_Param_Monitor.The_Monitor.The_Cyclic_Task

TYPECYCLIC

--EPS_Monitor.The_Param_Monitor.Monitor_Parameters_Due

WCET

61,0,0

--EPS_Monitor.The_Param_Monitor.Monitor_Scheduler.Get_Events_Due

CALL_POEPS_Monitor.The_Param_Monitor.Monitor_Scheduler.Critical_RegionGet_Events_Due

LOOP3

--EPS_Driver_IF.Receive;Satellite_Clock.Get_Time

WCET

3098,0,0

--EPS_Monitor.The_Param_Monitor.The_Parameter_Value_Checker.Monitor_Parameter

WCET

1,0,0

--TOBEDETERMINED

--EPS_Monitor.The_Monitoring_List.Parameter_Is_Valid


--EPS_Monitor.The_Monitoring_List.Update_Statuses

LOOP2

--Receive(Param_ID)

WCET

3364,0,0


CALL_POEPS_Monitor.The_Monitoring_List.Check_Definition_CollectionGet_Check_Definitions


B.31


--Reassign_Statuses

LOOP10

WCET

1999,0,0


CALL_POEPS_Monitor.The_Monitoring_List.Check_Definition_CollectionUpdate_Head


END

--EPS_Monitor.The_Param_Monitor.The_Parameter_Value_Checker.Make_Checks

WCET


--EPS_Monitor.The_Monitoring_List.Get_Monitoring_Definitions


LOOP10

WCET

1256,0,0


--EPS_Monitor.The_Param_Monitor.The_Parameter_Value_Checker.Make_Check

--EPS_Monitor.The_Monitoring_List.Get_Filter


CALL_POEPS_Monitor.The_Event_Reporter.OOL_Reporter.The_Transition_Reporting_List.Transition_List_RegionAdd_Unreported_Transition


END

END

END

ENDEPS_Monitor.The_Param_Monitor.The_Monitor.The_Cyclic_Task

PROTECTEDEPS_Monitor.The_Event_Reporter.OOL_Reporter.The_Transition_Reporting_List.Transition_List_Region

TYPERESOURCE

ENTRYInitialize

WCET

1,0,0

--TOBEDETERMINED

ENTRYAdd_Unreported_Transition

WCET

1,0,0

--TOBEDETERMINED

ENTRYGet_Unreported_Transition_List

WCET

1,0,0

--TOBEDETERMINED

ENDEPS_Monitor.The_Event_Reporter.OOL_Reporter.The_Transition_Reporting_List.Transition_List_Region

THREADEPS_Monitor.The_Event_Reporter.OOL_Reporter.The_Cyclic_Task

TYPECYCLIC

--EPS_Monitor.The_Event_Reporter.OOL_Reporter.Submit_Out_Of_Limit_Report

WCET


--EPS_Monitor.The_Event_Reporter.OOL_Reporter.The_Transition_Reporting_List.Get_Unreported_Transition_List

WCET


CALL_POEPS_Monitor.The_Event_Reporter.OOL_Reporter.The_Transition_Reporting_List.Transition_List_RegionGet_Unreported_Transition_List

LOOP100

WCET

1,0,0

--TOBEDETERMINED

--EPS_Monitor.The_Monitor_Parser.Unparse_Out_Of_Limit_Report

CALL_PO


CALL_PO


--EPS_Monitor.Optional_Deposit

CALL_PO



B.32


CALL_PO


END

ENDEPS_Monitor.The_Event_Reporter.OOL_Reporter.The_Cyclic_Task

--APID8*EPS-HK&Diagnostic

-----------------------

PROTECTEDEPS_HK_Collector.TC_Interpreter_Task.Event_Buffer.Queue_Task

TYPESYNCHRO

ENTRYDeposit

WCET

96,0,0

BARRIERWCET

6,1,0

ENTRYExtract

WCET

76,0,0

ENDEPS_HK_Collector.TC_Interpreter_Task.Event_Buffer.Queue_Task

THREADEPS_HK_Collector.TC_Interpreter_Task.The_Sporadic_Task

TYPESPORADIC

WCET

3,0,0

CALL_PO

EPS_HK_Collector.TC_Interpreter_Task.Event_Buffer.Queue_TaskExtract

--LOOPTBD

--

<loopbody>

POEPS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_ProtectorMake_Map_Empty

EPS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_ProtectorInsert

EPS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_ProtectorRemove

EPS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_ProtectorReplace

EPS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_ProtectorApply


EPS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_ProtectorIs_In

EPS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_ProtectorGet_Domain

EPS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_ProtectorDomain_Is_Covered

EPS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_ProtectorGet_Next_Key_In_Domain

EPS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_ProtectorGet_Range

EPS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_ProtectorRange_Is_Covered

EPS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_ProtectorGet_Next_Element_In_Range


EPS_HK_Collector.TC_Interpreter.Event_Manager.The_Event_Scheduler.Critical_RegionAdd_Cyclic_Event

EPS_HK_Collector.TC_Interpreter.Event_Manager.The_Event_Scheduler.Critical_RegionDelete_Cyclic_Event

EPS_HK_Collector.TC_Interpreter.Event_Manager.The_Event_Scheduler.Critical_RegionDelete_All_Events

EPS_HK_Collector.TC_Interpreter.Event_Manager.The_Event_Scheduler.Critical_RegionClear_Time_Line

EPS_HK_Collector.TC_Interpreter.Event_Manager.The_Event_Scheduler.Critical_RegionReschedule_Time_Line

EPS_HK_Collector.TC_Interpreter.Event_Manager.The_Event_Scheduler.Critical_RegionSchedule_Is_Empty

EPS_HK_Collector.TC_Interpreter.Event_Manager.The_Event_Scheduler.Critical_RegionGet_Events_Due



ENDEPS_HK_Collector.TC_Interpreter_Task.The_Sporadic_Task


B.33


PROTECTEDEPS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_Protector

TYPERESOURCE

ENTRYMake_Map_Empty

WCET


ENTRYInsert

WCET

22270,0,0

ENTRYRemove

WCET

1,0,0

--TOBEDETERMINED

ENTRYReplace

WCET

1,0,0

--TOBEDETERMINED

ENTRYApply

WCET

640,0,0

ENTRYIs_In

WCET

1,0,0

--TOBEDETERMINED

ENTRYGet_Domain

WCET

1,0,0

--TOBEDETERMINED


WCET

1,0,0

--TOBEDETERMINED


WCET

1,0,0

--TOBEDETERMINED

ENTRYGet_Range

WCET

1,0,0

--TOBEDETERMINED


WCET

1,0,0

--TOBEDETERMINED


WCET

1,0,0

--TOBEDETERMINED


WCET

1,0,0

--TOBEDETERMINED

ENDEPS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_Protector

PROTECTEDEPS_HK_Collector.TC_Interpreter.Event_Manager.The_Event_Scheduler.Critical_Region

TYPERESOURCE


WCET

2031,0,0

--20thevents(777for1st+66foreachsubsequent)


WCET

2000,0,0


WCET

2000,0,0


WCET

600000,0,0


WCET

200,0,0

ENTRYGet_Events_Due--20events(max)

WCET

107227,0,0


WCET

5000,0,0

ENDEPS_HK_Collector.TC_Interpreter.Event_Manager.The_Event_Scheduler.Critical_Region


B.34


THREADEPS_HK_Collector.TC_Interpreter.Event_Manager.Event_Task.The_Cyclic_Task

TYPECYCLIC

WCET


--CALL_PO

TBDTBD

--LOOPTBD

--

<loopbody>

POEPS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_ProtectorMake_Map_Empty

EPS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_ProtectorInsert

EPS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_ProtectorRemove

EPS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_ProtectorReplace



EPS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_ProtectorIs_In

EPS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_ProtectorGet_Domain

EPS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_ProtectorDomain_Is_Covered

EPS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_ProtectorGet_Next_Key_In_Domain

EPS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_ProtectorGet_Range

EPS_HK_Collector.TC_Interpreter.Report_Generator.SID_Map.Map_ProtectorRange_Is_Covered



EPS_HK_Collector.TC_Interpreter.Event_Manager.The_Event_Scheduler.Critical_RegionAdd_Cyclic_Event

EPS_HK_Collector.TC_Interpreter.Event_Manager.The_Event_Scheduler.Critical_RegionDelete_Cyclic_Event

EPS_HK_Collector.TC_Interpreter.Event_Manager.The_Event_Scheduler.Critical_RegionDelete_All_Events

EPS_HK_Collector.TC_Interpreter.Event_Manager.The_Event_Scheduler.Critical_RegionClear_Time_Line

EPS_HK_Collector.TC_Interpreter.Event_Manager.The_Event_Scheduler.Critical_RegionReschedule_Time_Line

EPS_HK_Collector.TC_Interpreter.Event_Manager.The_Event_Scheduler.Critical_RegionSchedule_Is_Empty

EPS_HK_Collector.TC_Interpreter.Event_Manager.The_Event_Scheduler.Critical_RegionGet_Events_Due



ENDEPS_HK_Collector.TC_Interpreter.Event_Manager.Event_Task.The_Cyclic_Task

--APID8*EPS-FunctionManagement

-----------------------

PROTECTEDEPS_Function_Management.The_TC_Interpreter.Event_Buffer.Queue_Task

TYPESYNCHRO

ENTRYDeposit

WCET

96,0,0

BARRIERWCET

6,1,0

ENTRYExtract

WCET

76,0,0

ENDEPS_Function_Management.The_TC_Interpreter.Event_Buffer.Queue_Task

THREADEPS_Function_Management.The_TC_Interpreter.The_Sporadic_Task

TYPESPORADIC

WCET

3,0,0

CALL_PO

EPS_Function_Management.The_TC_Interpreter.Event_Buffer.Queue_TaskExtract


B.35


WCET


--checkTCheader

WCET



WCET


CALL_PO


CALL_PO


CALL_PO


CALL_PO


--parsefunctionidandactivityid(assumeperformactivitytohavetheworst-caseexecutiontime)

WCET



WCET

30000,0,0

CALL_PO


CALL_PO


CALL_PO


CALL_PO


--performactivity(settingthepowerofaunit)

WCET


CALL_PO

Electrical_Power_Subsystem_State.Critical_RegionGet_Collection_Status

WCET


CALL_PO

Electrical_Power_Subsystem_State.Critical_RegionSet_Power

WCET



WCET


CALL_PO


CALL_PO


CALL_PO


CALL_PO


POElectrical_Power_Subsystem_State.Critical_RegionGet_Power_Status

Electrical_Power_Subsystem_State.Critical_RegionGet_Current_Effect

ENDEPS_Function_Management.The_TC_Interpreter.The_Sporadic_Task

--APID8*EPS-Store

-----------------------

PROTECTEDElectrical_Power_Subsystem_State.Critical_Region

TYPERESOURCE

ENTRYSet_Collection

WCET

1,0,0

--TOBEDETERMINED

ENTRYGet_Collection_Status

WCET

1,0,0

--TOBEDETERMINED

ENTRYSet_Power

WCET

1,0,0

--TOBEDETERMINED

ENTRYGet_Power_Status

WCET

1,0,0

--TOBEDETERMINED

ENTRYGet_Current_Effect


B.36


WCET

1,0,0

--TOBEDETERMINED

ENDElectrical_Power_Subsystem_State.Critical_Region

ENDOBOSS_PROBA_Instance


B.37

Software System Development for Spacecraft Data Handling

Documents

Transcript of Software System Development for Spacecraft Data Handling