MAST Modeling and Analysis Suite for Real-Time Applications Object Hierarchy

Processing Resources

• Regular_Processor
• Packet_Based_Network

System Timers

Alarm_Clock

Ticker

Network Drivers

Packet_Driver

Character_Packet_Driver

Schedulers

• Primary_Scheduler
• Secondary_Scheduler
  

Scheduling Policies

• Fixed_Priority
• EDF
• FP_Packet_Based
  

Scheduling Parameters

Fixed Priority

Non_Preemptive_FP_Policy

Fixed_Priority_Policy

Interrupt_FP_Policy

Polling_Policy

Sporadic_Server_Policy

• EDF
  

EDF_Policy

Synchronization Parameters

• SRP_Parameters
  

Scheduling Servers

Regular

Shared Resources

Immediate_Ceiling_Resource

Priority_Inheritance_Resource

SRP_Resource

Operations

Simple

Composite

Enclosing

Events

Internal

Regular

External

Periodic

Singular

Sporadic

Unbounded

Bursty

Timing Requirements

Hard_Global_Deadline

Hard_Local_Deadline

Soft_Global_Deadline

Soft_Local_Deadline

Max_Output_Jitter_Req

Global_Max_Miss_Ratio

Local_Max_Miss_Ratio

Composite

Event Handlers

Activity

System_Timed_Activity

Concentrator

Barrier

Delivery_Server

Query_Server

Multicast

Rate_Divisor

Delay

Offset

Transactions

Regular

Overall system

• Model
  

Back to main page