SCHEMA Time_Unit_Events;
	USE FROM Basic_Types;
	USE FROM Framework_Config;
	USE FROM Resources;
	USE FROM Tasks;
	USE FROM Messages;
	USE FROM Buffers;
	USE FROM Caches;
	USE FROM Batteries;

	TYPE Time_Unit_Event_Type = ENUMERATION
		OF ( Start_Of_Task_Capacity,
			 End_Of_Task_Capacity,
			 Write_To_Buffer,
			 Read_From_Buffer,
			 Buffer_Overflow,
			 Buffer_Underflow,
			 Context_Switch_Overhead,
			 Running_Task,
			 Task_activation,
			 Allocate_Resource,
			 Release_Resource,
			 Wait_For_Resource,
			 Send_Message,
			 Receive_Message,
			 Wait_For_Memory,
			 Address_Space_Activation,
			 Preemption,
			 Discard_Missed_Deadline,
                         Mode_change,
			 TDMA_slot,
                         Energy
			);
	END_TYPE;

	TYPE Time_Unit_Event_Type_Boolean_Table = LIST OF AdaBoolean;
	END_TYPE;

	TYPE Time_Unit_Range = Range;
	END_TYPE;

	TYPE Time_Unit_Table = LIST OF Time_Unit_Event;
	END_TYPE;

	ENTITY Address_Space_Activation_Type;
		activation_address_space : STRING;
		duration : Natural;
	END_ENTITY;

	ENTITY Start_Of_Task_Capacity_Type;
		start_task : Generic_Task;
	END_ENTITY;

	ENTITY End_Of_Task_Capacity_Type;
		end_task : Generic_Task;
	END_ENTITY;

	ENTITY Write_To_Buffer_Type;
		write_buffer : Buffer;
		write_task : Generic_Task;
		write_size : Natural;
		write_buffer_current_data_size : Natural;
	END_ENTITY;

	ENTITY Read_From_Buffer_Type;
		read_buffer : Buffer;
		read_task : Generic_Task;
		read_size : Natural;
		read_buffer_current_data_size : Natural;
	END_ENTITY;

	ENTITY Buffer_Overflow_Type;
		overflow_buffer : Buffer;
		overflow_task : Generic_Task;
		overflow_write_size : Natural;
		overflow_buffer_current_data_size : Natural;
	END_ENTITY;
	
	ENTITY Buffer_Underflow_Type;
		underflow_buffer : Buffer;
		underflow_task : Generic_Task;
		underflow_read_size : Natural;
		underflow_buffer_current_data_size : Natural;
	END_ENTITY;

	ENTITY Context_Switch_Overhead_Type;
		switched_task : Generic_Task;
	END_ENTITY;

	ENTITY Running_Task_Type;
		running_core : STRING;
		running_task : Generic_Task;
		current_priority : priority_range;
		CRPD : Natural;
		cache_state : STRING;
	END_ENTITY;

	ENTITY Task_activation_Type;
		activation_task : Generic_Task;
	END_ENTITY;

	ENTITY Allocate_Resource_Type;
		allocate_task : Generic_Task;
		allocate_resource : Generic_Resource;
	END_ENTITY;

	ENTITY Release_Resource_Type;
		release_task : Generic_Task;
		release_resource : Generic_Resource;
	END_ENTITY;

	ENTITY Wait_For_Resource_Type;
		wait_for_resource_task : Generic_Task;
		wait_for_resource : Generic_Resource;
	END_ENTITY;

	ENTITY Send_Message_Type;
		send_task : Generic_Task;
		send_message : Generic_Message;
	END_ENTITY;

	ENTITY Receive_Message_Type;
		receive_task : Generic_Task;
		receive_message : Generic_Message;
	END_ENTITY;

	ENTITY Wait_For_Memory_Type;
		wait_for_memory_task : Generic_Task;
		wait_for_cache : Generic_Cache;
	END_ENTITY;

	ENTITY Preemption_Type;
		preempted_task  : Generic_Task;
         	preempting_task : Generic_Task;
        	evicted_ucbs    : Natural;
	END_ENTITY;
	
	ENTITY Discard_Missed_Deadline_Type;
		missed_deadline_task : Generic_Task;
	END_ENTITY;

	ENTITY Energy_Type;
		energy_battery : Battery;
                energy_level   : Natural;
	END_ENTITY;

	ENTITY Mode_Change_Type;
		from_mode : Natural;
                to_mode   : Natural;
	END_ENTITY;

	ENTITY TDMA_slot_Type;
                slot_duration   : Natural;
                slot_message    : Generic_Message;
	END_ENTITY;

	ENTITY Time_Unit_Event_Union;
		start_of_task_capacity : Start_Of_Task_Capacity_Type;
		end_of_task_capacity : End_Of_Task_Capacity_Type;
		write_to_buffer : Write_To_Buffer_Type;
		read_from_buffer : Read_From_Buffer_Type;
		buffer_overflow : Buffer_Overflow_Type;
		buffer_underflow : Buffer_Underflow_Type;
		context_switch_overhead : Context_Switch_Overhead_Type;
		running_task : Running_Task_Type;
		task_activation : Task_activation_Type;
		allocate_resource : Allocate_Resource_Type;
		release_resource : Release_Resource_Type;
		wait_for_resource : Wait_For_Resource_Type;
		send_message : Send_Message_Type;
		receive_message : Receive_Message_Type;
		wait_for_memory : Wait_For_Memory_Type;
		address_space_activation : Address_Space_Activation_Type;
		preemption : Preemption_Type;
		discard_missed_deadline : Discard_Missed_Deadline_Type;
                energy : Energy_Type; 
		tdma_slot : tdma_slot_type;
                mode_change  :  Mode_Change_Type;
	END_ENTITY;

	ENTITY Time_Unit_Event;
		type_of_event : Time_Unit_Event_Type;
		union : Time_Unit_Event_Union;
	END_ENTITY;

	ENTITY Time_Unit_Package;
		indexed_table_range : Time_Unit_Range;
		indexed_table : Time_Unit_Table;
	END_ENTITY;

	ENTITY Time_Unit_Lists_Package;
	END_ENTITY;
END_SCHEMA;