<!--                                                                              
                                                                              
    This source file was automatically generated by Platypus
    see http://dossen.univ-brest.fr/apl
   
    Any modification of this file will be lost. 
    Please see the "platypus" directory instead : it contains the Cheddar's
    model and its meta-model. 
                                                                              
 
   Cheddar is a free real time scheduling tool.
   This program provides services to automatically check temporal constraints
   of real time tasks.
  
   Copyright (C) 2002-2009   Frank Singhoff
   Cheddar is developed by the LAB-STICC Team, University of Brest
  
   This program is free software; you can redistribute it and/or modify
   it under the terms of the GNU General Public License as published by
   the Free Software Foundation; either version 2 of the License, or
   (at your option) any later version.
  
   This program is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU General Public License for more details.
  
   You should have received a copy of the GNU General Public License
   along with this program; if not, write to the Free Software
   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
  
  
   Contact : cheddar@listes.univ-brest.fr
   	To post to this mailing list, you must be subscribed
   	(see http//beru.univ-brest.fr/~singhoff/cheddar for details)
  
                                                                              
-->

<!ELEMENT cheddar_result (time_unit_events? | resources? | buffers? | offsets? | parameters?)*>

<!ELEMENT time_unit_events (time_unit_event)+>
<!ELEMENT time_unit_event (type_of_event | start_task | end_task | write_buffer | write_task | write_size | read_buffer | read_task | read_size | switched_task | running_core | running_task | current_priority | activation_task | allocate_task | allocate_resource | release_task | release_resource | wait_for_resource_task | wait_for_resource | send_task | send_message | receive_task | receive_message | wait_for_memory_task | wait_for_cache | activation_address_space | duration)*>

<!ELEMENT resources (generic_resource | np_resource | pip_resource | pcp_resource | ipcp_resource | critical_section)+>
<!ELEMENT generic_resource (object_type | name | state | size | address | protocol | critical_sections | cpu_name | address_space_name | priority | priority_assignment)*>
<!ATTLIST generic_resource id ID #REQUIRED>
<!ELEMENT np_resource (object_type | name | state | size | address | protocol | critical_sections | cpu_name | address_space_name | priority | priority_assignment)*>
<!ATTLIST np_resource id ID #REQUIRED>
<!ELEMENT pip_resource (object_type | name | state | size | address | protocol | critical_sections | cpu_name | address_space_name | priority | priority_assignment)*>
<!ATTLIST pip_resource id ID #REQUIRED>
<!ELEMENT pcp_resource (object_type | name | state | size | address | protocol | critical_sections | cpu_name | address_space_name | priority | priority_assignment)*>
<!ATTLIST pcp_resource id ID #REQUIRED>
<!ELEMENT ipcp_resource (object_type | name | state | size | address | protocol | critical_sections | cpu_name | address_space_name | priority | priority_assignment)*>
<!ATTLIST ipcp_resource id ID #REQUIRED>
<!ELEMENT critical_section (task_begin | task_end)*>

<!ELEMENT buffers (buffer | buffer_role)+>
<!ELEMENT buffer (object_type | name | cpu_name | address_space_name | queueing_system_type | buffer_size | roles)*>
<!ATTLIST buffer id ID #REQUIRED>
<!ELEMENT buffer_role (the_role | size | time | timeout)*>

<!ELEMENT offsets (offset_type)+>
<!ELEMENT offset_type (offset_value | activation)*>

<!ELEMENT parameters (parameter)+>
<!ELEMENT parameter (type_of_parameter | parameter_name | boolean_value | integer_value | double_value | string_value)*>


<!ELEMENT generic_task (object_type | name | task_type | cpu_name | address_space_name | capacity | deadline | start_time | priority | blocking_time | policy | offsets | text_memory_size | stack_memory_size | parameters | criticality | context_switch_overhead)*>
<!ATTLIST generic_task id ID #REQUIRED>
<!ELEMENT generic_message (object_type | name | message_type | parameters | deadline | size | response_time | communication_time)*>
<!ATTLIST generic_message id ID #REQUIRED>
<!ELEMENT generic_cache (object_type | name | number_of_block | block_size | associativity | cache_replacement | hit_time | miss_time | miss_rate | cache_coherence_protocol | cache_category)*>
<!ATTLIST generic_cache id ID #REQUIRED>
<!ELEMENT type_of_event (#PCDATA)>
<!ELEMENT start_task EMPTY>
<!ATTLIST start_task ref IDREF #REQUIRED>
<!ELEMENT end_task EMPTY>
<!ATTLIST end_task ref IDREF #REQUIRED>
<!ELEMENT write_buffer EMPTY>
<!ATTLIST write_buffer ref IDREF #REQUIRED>
<!ELEMENT write_task EMPTY>
<!ATTLIST write_task ref IDREF #REQUIRED>
<!ELEMENT write_size (#PCDATA)>
<!ELEMENT read_buffer EMPTY>
<!ATTLIST read_buffer ref IDREF #REQUIRED>
<!ELEMENT read_task EMPTY>
<!ATTLIST read_task ref IDREF #REQUIRED>
<!ELEMENT read_size (#PCDATA)>
<!ELEMENT switched_task EMPTY>
<!ATTLIST switched_task ref IDREF #REQUIRED>
<!ELEMENT running_core (#PCDATA)>
<!ELEMENT running_task EMPTY>
<!ATTLIST running_task ref IDREF #REQUIRED>
<!ELEMENT current_priority (#PCDATA)>
<!ELEMENT activation_task EMPTY>
<!ATTLIST activation_task ref IDREF #REQUIRED>
<!ELEMENT allocate_task EMPTY>
<!ATTLIST allocate_task ref IDREF #REQUIRED>
<!ELEMENT allocate_resource EMPTY>
<!ATTLIST allocate_resource ref IDREF #REQUIRED>
<!ELEMENT release_task EMPTY>
<!ATTLIST release_task ref IDREF #REQUIRED>
<!ELEMENT release_resource EMPTY>
<!ATTLIST release_resource ref IDREF #REQUIRED>
<!ELEMENT wait_for_resource_task EMPTY>
<!ATTLIST wait_for_resource_task ref IDREF #REQUIRED>
<!ELEMENT wait_for_resource EMPTY>
<!ATTLIST wait_for_resource ref IDREF #REQUIRED>
<!ELEMENT send_task EMPTY>
<!ATTLIST send_task ref IDREF #REQUIRED>
<!ELEMENT send_message EMPTY>
<!ATTLIST send_message ref IDREF #REQUIRED>
<!ELEMENT receive_task EMPTY>
<!ATTLIST receive_task ref IDREF #REQUIRED>
<!ELEMENT receive_message EMPTY>
<!ATTLIST receive_message ref IDREF #REQUIRED>
<!ELEMENT wait_for_memory_task EMPTY>
<!ATTLIST wait_for_memory_task ref IDREF #REQUIRED>
<!ELEMENT wait_for_cache EMPTY>
<!ATTLIST wait_for_cache ref IDREF #REQUIRED>
<!ELEMENT activation_address_space (#PCDATA)>
<!ELEMENT duration (#PCDATA)>
<!ELEMENT object_type (#PCDATA)>
<!ELEMENT name (#PCDATA)>
<!ELEMENT state (#PCDATA)>
<!ELEMENT size (#PCDATA)>
<!ELEMENT address (#PCDATA)>
<!ELEMENT protocol (#PCDATA)>
<!ELEMENT critical_sections (critical_section)*>
<!ELEMENT cpu_name (#PCDATA)>
<!ELEMENT address_space_name (#PCDATA)>
<!ELEMENT priority (#PCDATA)>
<!ELEMENT priority_assignment (#PCDATA)>
<!ELEMENT task_begin (#PCDATA)>
<!ELEMENT task_end (#PCDATA)>
<!ELEMENT queueing_system_type (#PCDATA)>
<!ELEMENT buffer_size (#PCDATA)>
<!ELEMENT roles (buffer_role)*>
<!ELEMENT the_role (#PCDATA)>
<!ELEMENT time (#PCDATA)>
<!ELEMENT timeout (#PCDATA)>
<!ELEMENT offset_value (#PCDATA)>
<!ELEMENT activation (#PCDATA)>
<!ELEMENT type_of_parameter (#PCDATA)>
<!ELEMENT parameter_name (#PCDATA)>
<!ELEMENT boolean_value (#PCDATA)>
<!ELEMENT integer_value (#PCDATA)>
<!ELEMENT double_value (#PCDATA)>
<!ELEMENT string_value (#PCDATA)>
<!ELEMENT task_type (#PCDATA)>
<!ELEMENT capacity (#PCDATA)>
<!ELEMENT deadline (#PCDATA)>
<!ELEMENT start_time (#PCDATA)>
<!ELEMENT blocking_time (#PCDATA)>
<!ELEMENT policy (#PCDATA)>
<!ELEMENT offsets (offset_type)*>
<!ELEMENT text_memory_size (#PCDATA)>
<!ELEMENT stack_memory_size (#PCDATA)>
<!ELEMENT parameters (parameter)*>
<!ELEMENT criticality (#PCDATA)>
<!ELEMENT context_switch_overhead (#PCDATA)>
<!ELEMENT message_type (#PCDATA)>
<!ELEMENT response_time (#PCDATA)>
<!ELEMENT communication_time (#PCDATA)>
<!ELEMENT number_of_block (#PCDATA)>
<!ELEMENT block_size (#PCDATA)>
<!ELEMENT associativity (#PCDATA)>
<!ELEMENT cache_replacement (#PCDATA)>
<!ELEMENT hit_time (#PCDATA)>
<!ELEMENT miss_time (#PCDATA)>
<!ELEMENT miss_rate (#PCDATA)>
<!ELEMENT cache_coherence_protocol (#PCDATA)>
<!ELEMENT cache_category (#PCDATA)>
(#PCDATA)>
<!ELEMENT communication_time (#PCDATA)>
<!ELEMENT number_of_block (#PCDATA)>
<!ELEMENT block_size (#PCDATA)>
<!ELEMENT associativity (#PCDATA)>
<!ELEMENT cache_replacement (#PCDATA)>
<!ELEMENT hit_time (#PCDATA)>
<!ELEMENT miss_time (#PCDATA)>
<!ELEMENT miss_rate (#PCDATA)>
<!ELEMENT cache_coherence_protocol (#PCDATA)>
<!ELEMENT cache_category (#PCDATA)>