<!--                                                                              
                                                                              
    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_adl (processors? | resources? | dependencies? | networks? | core_units? | buffers? | deployments? | messages? | event_analyzers? | tasks? | address_spaces?)*>

<!ELEMENT processors (generic_processor | mono_core_processor | multi_cores_processor)+>
<!ELEMENT generic_processor (object_type | name | network_name | processor_type | migration_type)*>
<!ATTLIST generic_processor id ID #REQUIRED>
<!ELEMENT mono_core_processor (object_type | name | network_name | processor_type | migration_type | core)*>
<!ATTLIST mono_core_processor id ID #REQUIRED>
<!ELEMENT multi_cores_processor (object_type | name | network_name | processor_type | migration_type | cores | l2_cache_system_name)*>
<!ATTLIST multi_cores_processor id ID #REQUIRED>

<!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 dependencies (dependency)+>
<!ELEMENT dependency (type_of_dependency | precedence_sink | precedence_source | buffer_dependent_task | buffer_orientation | buffer_dependency_object | communication_dependent_task | communication_orientation | communication_dependency_object | time_triggered_communication_sink | time_triggered_communication_source | timing_property | resource_dependency_resource | resource_dependency_task | black_board_dependent_task | black_board_orientation | black_board_dependency_object)*>

<!ELEMENT networks (network)+>
<!ELEMENT network (object_type | name | network_type)*>
<!ATTLIST network id ID #REQUIRED>

<!ELEMENT core_units (core_unit)+>
<!ELEMENT core_unit (object_type | name | scheduling | speed | l1_cache_system_name)*>
<!ATTLIST core_unit id ID #REQUIRED>

<!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 deployments (generic_deployment | static_deployment | dynamic_deployment)+>
<!ELEMENT generic_deployment (object_type | name | deployment_type | consumer_entities | resource_entities)*>
<!ATTLIST generic_deployment id ID #REQUIRED>
<!ELEMENT static_deployment (object_type | name | deployment_type | consumer_entities | resource_entities | allocation_description)*>
<!ATTLIST static_deployment id ID #REQUIRED>
<!ELEMENT dynamic_deployment (object_type | name | deployment_type | consumer_entities | resource_entities | allocation_parameters)*>
<!ATTLIST dynamic_deployment id ID #REQUIRED>

<!ELEMENT messages (generic_message | periodic_message | aperiodic_message)+>
<!ELEMENT generic_message (object_type | name | message_type | parameters | deadline | size | response_time | communication_time)*>
<!ATTLIST generic_message id ID #REQUIRED>
<!ELEMENT periodic_message (object_type | name | message_type | parameters | deadline | size | response_time | communication_time | period | jitter)*>
<!ATTLIST periodic_message id ID #REQUIRED>
<!ELEMENT aperiodic_message (object_type | name | message_type | parameters | deadline | size | response_time | communication_time)*>
<!ATTLIST aperiodic_message id ID #REQUIRED>

<!ELEMENT event_analyzers (event_analyzer)+>
<!ELEMENT event_analyzer (object_type | name | event_analyzer_source_file_name)*>
<!ATTLIST event_analyzer id ID #REQUIRED>

<!ELEMENT tasks (generic_task | periodic_task | aperiodic_task | poisson_task | sporadic_task | parametric_task | scheduling_task | frame_task)+>
<!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 periodic_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 | period | jitter)*>
<!ATTLIST periodic_task id ID #REQUIRED>
<!ELEMENT aperiodic_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 aperiodic_task id ID #REQUIRED>
<!ELEMENT poisson_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 | period | jitter | seed | predictable)*>
<!ATTLIST poisson_task id ID #REQUIRED>
<!ELEMENT sporadic_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 | period | jitter | seed | predictable)*>
<!ATTLIST sporadic_task id ID #REQUIRED>
<!ELEMENT parametric_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 | period | jitter | seed | predictable | activation_rule)*>
<!ATTLIST parametric_task id ID #REQUIRED>
<!ELEMENT scheduling_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 | period | jitter | seed | predictable)*>
<!ATTLIST scheduling_task id ID #REQUIRED>
<!ELEMENT frame_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 | period | jitter | interarrival)*>
<!ATTLIST frame_task id ID #REQUIRED>

<!ELEMENT address_spaces (address_space)+>
<!ELEMENT address_space (object_type | name | cpu_name | text_memory_size | stack_memory_size | data_memory_size | heap_memory_size | scheduling)*>
<!ATTLIST address_space id ID #REQUIRED>


<!ELEMENT scheduling_parameters (scheduler_type | quantum | preemptive_type | automaton_name | capacity | period | priority | user_defined_scheduler_source | user_defined_scheduler_source_file_name | start_time)*>
<!ELEMENT generic_object (object_type)*>
<!ATTLIST generic_object id ID #REQUIRED>
<!ELEMENT parameter (type_of_parameter | parameter_name | boolean_value | integer_value | double_value | string_value)*>
<!ELEMENT offset_type (offset_value | activation)*>
<!ELEMENT object_type (#PCDATA)>
<!ELEMENT name (#PCDATA)>
<!ELEMENT network_name (#PCDATA)>
<!ELEMENT processor_type (#PCDATA)>
<!ELEMENT migration_type (#PCDATA)>
<!ELEMENT core EMPTY>
<!ATTLIST core ref IDREF #REQUIRED>
<!ELEMENT cores  EMPTY>
<!ATTLIST cores refs IDREFS #REQUIRED>
<!ELEMENT l2_cache_system_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 type_of_dependency (#PCDATA)>
<!ELEMENT precedence_sink EMPTY>
<!ATTLIST precedence_sink ref IDREF #REQUIRED>
<!ELEMENT precedence_source EMPTY>
<!ATTLIST precedence_source ref IDREF #REQUIRED>
<!ELEMENT buffer_dependent_task EMPTY>
<!ATTLIST buffer_dependent_task ref IDREF #REQUIRED>
<!ELEMENT buffer_orientation (#PCDATA)>
<!ELEMENT buffer_dependency_object EMPTY>
<!ATTLIST buffer_dependency_object ref IDREF #REQUIRED>
<!ELEMENT communication_dependent_task EMPTY>
<!ATTLIST communication_dependent_task ref IDREF #REQUIRED>
<!ELEMENT communication_orientation (#PCDATA)>
<!ELEMENT communication_dependency_object EMPTY>
<!ATTLIST communication_dependency_object ref IDREF #REQUIRED>
<!ELEMENT time_triggered_communication_sink EMPTY>
<!ATTLIST time_triggered_communication_sink ref IDREF #REQUIRED>
<!ELEMENT time_triggered_communication_source EMPTY>
<!ATTLIST time_triggered_communication_source ref IDREF #REQUIRED>
<!ELEMENT timing_property (#PCDATA)>
<!ELEMENT resource_dependency_resource EMPTY>
<!ATTLIST resource_dependency_resource ref IDREF #REQUIRED>
<!ELEMENT resource_dependency_task EMPTY>
<!ATTLIST resource_dependency_task ref IDREF #REQUIRED>
<!ELEMENT black_board_dependent_task EMPTY>
<!ATTLIST black_board_dependent_task ref IDREF #REQUIRED>
<!ELEMENT black_board_orientation (#PCDATA)>
<!ELEMENT black_board_dependency_object EMPTY>
<!ATTLIST black_board_dependency_object ref IDREF #REQUIRED>
<!ELEMENT network_type (#PCDATA)>
<!ELEMENT scheduling (scheduling_parameters)>
<!ELEMENT speed (#PCDATA)>
<!ELEMENT l1_cache_system_name (#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 deployment_type (#PCDATA)>
<!ELEMENT consumer_entities  EMPTY>
<!ATTLIST consumer_entities refs IDREFS #REQUIRED>
<!ELEMENT resource_entities  EMPTY>
<!ATTLIST resource_entities refs IDREFS #REQUIRED>
<!ELEMENT allocation_description (#PCDATA)>
<!ELEMENT allocation_parameters (scheduling_parameters)>
<!ELEMENT message_type (#PCDATA)>
<!ELEMENT parameters (parameter)*>
<!ELEMENT deadline (#PCDATA)>
<!ELEMENT response_time (#PCDATA)>
<!ELEMENT communication_time (#PCDATA)>
<!ELEMENT period (#PCDATA)>
<!ELEMENT jitter (#PCDATA)>
<!ELEMENT event_analyzer_source_file_name (#PCDATA)>
<!ELEMENT task_type (#PCDATA)>
<!ELEMENT capacity (#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 criticality (#PCDATA)>
<!ELEMENT context_switch_overhead (#PCDATA)>
<!ELEMENT seed (#PCDATA)>
<!ELEMENT predictable (#PCDATA)>
<!ELEMENT activation_rule (#PCDATA)>
<!ELEMENT interarrival (#PCDATA)>
<!ELEMENT data_memory_size (#PCDATA)>
<!ELEMENT heap_memory_size (#PCDATA)>
<!ELEMENT scheduler_type (#PCDATA)>
<!ELEMENT quantum (#PCDATA)>
<!ELEMENT preemptive_type (#PCDATA)>
<!ELEMENT automaton_name (#PCDATA)>
<!ELEMENT user_defined_scheduler_source (#PCDATA)>
<!ELEMENT user_defined_scheduler_source_file_name (#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 offset_value (#PCDATA)>
<!ELEMENT activation (#PCDATA)>
scheduler_source (#PCDATA)>
<!ELEMENT user_defined_scheduler_source_file_name (#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)>