MAST

Modeling and Analysis Suite for Real-Time Applications

Object Hierarchy

Processing Resources

System Timers

  • Alarm_Clock
  • Ticker
  • Network Drivers

  • Packet_Driver
  • Character_Packet_Driver
  • Schedulers

    Scheduling Policies

    Scheduling Parameters

  • Fixed Priority
  • Non_Preemptive_FP_Policy
  • Fixed_Priority_Policy
  • Interrupt_FP_Policy
  • Polling_Policy
  • Sporadic_Server_Policy
  • EDF_Policy
  • Synchronization 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


    Back to main page