------------------------------------------------------------------------------ ------------------------------------------------------------------------------ -- Cheddar is a GNU GPL real-time scheduling analysis tool. -- This program provides services to automatically check schedulability and -- other performance criteria of real-time architecture models. -- -- Copyright (C) 2002-2023, Frank Singhoff, Alain Plantec, Jerome Legrand, -- Hai Nam Tran, Stephane Rubini -- -- The Cheddar project was started in 2002 by -- Frank Singhoff, Lab-STICC UMR 6285, Université de Bretagne Occidentale -- -- Cheddar has been published in the "Agence de Protection des Programmes/France" in 2008. -- Since 2008, Ellidiss technologies also contributes to the development of -- Cheddar and provides industrial support. -- -- The full list of contributors and sponsors can be found in README.md -- -- 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 -- ------------------------------------------------------------------------------ -- Last update : -- $Rev$ -- $Date$ -- $Author: singhoff $ ------------------------------------------------------------------------------ ------------------------------------------------------------------------------ with Ada.Strings.Unbounded; use Ada.Strings.Unbounded; with Framework_Config; use Framework_Config; package translate is procedure initialize; type labels is array (languages'Range) of Unbounded_String; ---------------------------------------------------- -- Labels common on every languages ---------------------------------------------------- lb_dot, lb_colon, lb_minus, lb_equal, lb_comma, lb_double_quote, lb_tab5, lb_tab4, lb_space : Unbounded_String; ---------------------------------------------------- -- Menu and sub menu titles ---------------------------------------------------- lb_root_title, lb_file, lb_new, lb_open, lb_save, lb_save_as, lb_open_xml, lb_save_xml, lb_save_as_xml, lb_edit_scheduler, lb_parametric, lb_aadl, lb_import_aadl, lb_export_aadl, lb_aadl_options, lb_other_aadl_options, lb_export_cheddar_property_sets, lb_export_aadl_standard_properties_set, lb_exit, lb_edit, lb_tools, lb_compute_buffer, lb_draw_buffer, lb_clear, lb_scheduling_simulation, lb_scheduling_feasibility, lb_export_arinc653_tsp, lb_customized_scheduling_simulation, lb_customized_feasibility_tests, lb_compute_and_display, lb_compute_and_update, lb_compute_and_display_one_step, lb_compute_and_update_one_step, lb_memory_requirement_analysis, lb_check_and_update_address_space, lb_check_address_space, lb_help, lb_manual, lb_ref, lb_about, lb_about_text : labels; ---------------------------------------------------- -- Edit model ---------------------------------------------------- lb_add, lb_delete, lb_update, lb_update_task, lb_update_address_space, lb_update_core_unit, lb_update_event_analyzer, lb_update_message, lb_update_buffer, lb_update_processor, lb_update_network, lb_update_resource : labels; ----------------------------------------------------------------------------- -- Simple errors on messages/tasks/processors/resources/buffers/networks ----------------------------------------------------------------------------- lb_cache_not_found, lb_core_unit_not_found, lb_dependency_not_found, lb_resource_not_found, lb_message_not_found, lb_task_not_found, lb_address_space_not_found, lb_task_group_not_found, lb_processor_not_found, lb_battery_not_found, lb_buffer_not_found, lb_event_analyzer_not_found, lb_deployment_not_found : labels; lb_define_core_units_before, lb_define_tasks_before, lb_define_task_groups_before, lb_define_address_spaces_before, lb_define_processors_before, lb_define_messages_before, lb_define_resources_before, lb_define_buffers_before, lb_define_event_analyzers_before, lb_define_deployments_before, lb_define_caches_before : labels; lb_can_not_define_more_memories, lb_can_not_define_more_task_groups, lb_can_not_define_more_core_units, lb_can_not_define_more_sections, lb_can_not_define_more_networks, lb_can_not_define_more_tasks, lb_can_not_define_more_address_spaces, lb_can_not_define_more_processors, lb_can_not_define_more_resources, lb_can_not_define_more_buffers, lb_can_not_define_more_batteries, lb_can_not_define_more_messages, lb_can_not_define_more_event_analyzers, lb_can_not_define_more_deployments, lb_can_not_define_more_scheduling_errors : labels; lb_entity_referenced_elsewhere, lb_start_message1, lb_start_message2 : labels; ---------------------------------------------------- -- I/O Errors and messages ---------------------------------------------------- lb_open_file, lb_save_file, lb_not_saved_file, lb_can_not_open_file, lb_can_not_read_file, lb_can_not_save_file, lb_file_name : labels; lb_open_project, lb_save_project, lb_not_saved_project, lb_can_not_open_project, lb_can_not_save_project, lb_select_file : labels; ---------------------------------------------------- -- Widget text fields ---------------------------------------------------- -- -- Deployments widget -- lb_deployment_name, lb_deployment, lb_can_not_be_empty, lb_sink_set, lb_source_set, lb_select_line_before : labels; -- Event analyzer widgets -- lb_event_analyzer_name, lb_event_analyzer, lb_select_event_analyzer_first, lb_run_event_analyzers : labels; -- Generic and named object -- lb_object_id, lb_object_name : labels; -- Processor et core units widgets -- lb_core_unit_id, lb_speed, lb_parametric_file_name, lb_file_name_control, lb_core_units_name_mandatory, lb_buffer_name_mandatory, lb_processor_name_mandatory, lb_address_space_name_mandatory, lb_network_name_mandatory, lb_task_name_mandatory, lb_only_on_parametric, lb_select_core_unit_first, lb_core_unit, lb_create_only_one_core_unit, lb_select_processor_first, lb_read, lb_quantum_control, lb_processor, lb_core_unit_name, lb_processor_name, lb_processor_id, lb_scheduler, lb_option, lb_preemptive, lb_not_preemptive, lb_invalid_identifier, lb_variable_size, lb_automaton, lb_scheduler_type_mandatory, lb_network_type_mandatory, lb_preemptive_type_mandatory, lb_priority_mandatory, lb_processor_type_mandatory, lb_processor_type_not_allow_with_several_cores, lb_migration_type_not_allow_with_several_cores, lb_migration_type_mandatory : labels; lb_core_with_same_scheduler, lb_hierarchical_not_allowed : labels; -- Memory -- lb_memory, lb_memory_name, lb_memory_id : labels; -- Scheduling_Error -- lb_scheduling_error, lb_scheduling_error_name, lb_scheduling_error_id : labels; -- Cache -- lb_cache_id, lb_cache, lb_cache_name, lb_number_of_block, lb_cache_size, lb_line_size, lb_associativity, lb_hit_time, lb_miss_time, lb_block_reload_time, lb_miss_rate, lb_can_not_define_more_caches : labels; -- Cache Block -- lb_cache_block_id, lb_cache_block, lb_cache_block_name, lb_can_not_define_more_cache_blocks : labels; -- Cache Access Profile -- lb_cache_access_profile_id, lb_cache_access_profile, lb_cache_access_profile_name, lb_ucbs, lb_ecbs, lb_ucbs_nb_entries, lb_ecbs_nb_entries, lb_cache_access_profile_not_found, lb_compute_cache_access_profile, lb_compute_cache_access_profile_method, lb_can_not_define_more_cache_access_profiles, lb_cache_access_profile_must_be_defined, lb_cache_access_profile_must_be_defined_for_all_tasks, lb_cfg_imported, lb_import_cfg, lb_import_cfg_and_compute_cache_access_profile : labels; -- -- Labels related to the sections -- lb_section_name, lb_section : labels; -- -- Tasks widgets -- lb_task_id, lb_task_group_id, lb_task_name, lb_task_group_name, lb_task, lb_task_group, lb_task_type, lb_task_type_mandatory, lb_policy_mandatory, lb_capacity, lb_criticality, lb_deadline, lb_period, lb_jitter, lb_priority, lb_policy, lb_policy_control, lb_start_time, lb_seed, lb_predictable, lb_unpredictable, lb_offset_val, lb_offset_act, lb_offsets, lb_activations, lb_activation, lb_values, lb_value, lb_user_defined_parameter, lb_rule_for_parametric_only, lb_main, lb_no_period, lb_require_period, lb_require_activation_rule, lb_have_to_be_on_the_same_processor, lb_select_task_first, lb_can_not_modify, lb_task_not_permitted, lb_activation_rule, lb_context_switch_overhead, lb_every, lb_outer_period, lb_outer_duration, lb_energy_consumption : labels; -- -- Address space widgets -- lb_address_space_name, lb_address_space_id, lb_select_address_space_first, lb_address_space, lb_invalid_scheduler, lb_text, lb_heap, lb_data, lb_stack, lb_text_memory_size, lb_text_memory_start_address, lb_heap_memory_size, lb_data_memory_size, lb_stack_memory_size : labels; lb_require_same_scheduler_on_all_address_space : labels; -- -- Message widgets -- lb_message_id, lb_message_type, lb_message, lb_response_time_message, lb_communication_time_message, lb_message_name : labels; -- -- Network widgets -- lb_only_on_parametric_network, lb_network, lb_network_name, lb_networks_list, lb_select_network_first, lb_view_networks_type, lb_define_networks_before, lb_delete_network, lb_network_not_found, lb_network_type, lb_number_of_processor : labels; -- -- Battery widgets -- lb_battery, lb_battery_name, lb_rechargeable_power : labels; -- -- Buffer widgets -- lb_buffer_id, lb_buffer, lb_buffer_name, lb_size, lb_time, lb_timeout, lb_select_buffer_first, lb_utilization_level, lb_bound_buffer, lb_role_type, lb_role, lb_role_consumer, lb_role_producer, lb_role_list, lb_buffer_list, lb_duplicated_buffer_role, lb_queueing_system, lb_buffer_information : labels; -- -- Resource widgets -- lb_resource_id, lb_resource_name, lb_resource, lb_select_resource_first, lb_address, lb_update_resource_control, lb_used_protocol, lb_resource_filter, lb_cpu_filter, lb_state, lb_protocol, lb_modify, lb_resource_state, lb_task_begin, lb_task_end, lb_resources, lb_resource_affect, lb_resource_information, lb_invalid_protocol, lb_duplicated_critical_section, lb_can_not_add_more_task_for_this_resource : labels; -- -- Dependencies graph widgets -- lb_new_buffer_role, lb_disp1, lb_disp2, lb_disp3, lb_create, lb_select, lb_name, lb_select_row_before, lb_precedencies, lb_arrow, lb_new_item, lb_graph_view, lb_choose_item, lb_select_precedence_sink_before, lb_select_precedence_source_before, lb_select_buffer_dependency_task_before, lb_select_buffer_orientation_before, lb_select_buffer_dependency_object_before, lb_select_communication_dependency_task_before, lb_select_communication_orientation_before, lb_select_communication_dependency_object_before, lb_select_time_triggered_communication_sink_before, lb_select_time_triggered_communication_source_before, lb_select_timing_property_before, lb_select_resource_dependency_resource_before, lb_select_resource_dependency_task_before, lb_select_black_board_dependent_task_before, lb_select_black_board_orientation_before, lb_select_black_board_dependency_object_before, lb_select_dependency_type_before, lb_add_precedence_dependency_before, lb_add_queuing_buffer_dependency_before, lb_add_communication_dependency_before, lb_add_time_triggered_dependency_before, lb_add_resource_dependency_before, lb_add_black_board_buffer_dependency_before : labels; -- -- AADL options -- lb_aadl_process_second_import_pass, lb_aadl_process_third_import_pass, lb_import_aadl_event_to_precedencies, lb_import_aadl_event_data_to_precedencies, lb_import_aadl_event_to_buffers_messages, lb_import_aadl_event_data_to_buffers_messages, lb_aadl_debug, lb_import_aadl_system_name, lb_export_aadl_precedencies_to_properties, lb_export_aadl_precedencies_to_event, lb_export_aadl_precedencies_to_event_data : labels; -- -- System entity checks -- lb_are_unconsistent : labels; -- -- Scheduling and event analyzer options -- lb_compute_scheduling, lb_generate_events, lb_scheduling_options, lb_display_event_table, lb_automatically_export_event_table, lb_event_table_file_name, lb_run_simulation_on_one_processor_only, lb_run_feasibility_tests_on_one_processor_only, lb_schedule_according_to : labels; -- -- options -- lb_event_table_services, lb_compute_scheduling_and_generate_event_table, lb_run_analysis_on_event_table, lb_draw_time_line_from_event_table, lb_import_event_table, lb_export_event_table : labels; lb_seed_options, lb_task_specific, lb_all_predictable, lb_all_unpredictable, lb_max_time_line_to_display, lb_time_line_between_time_axis : labels; -- -- Duplicate widget -- lb_duplicate, lb_old, lb_object : labels; -- -- Wizard widget -- lb_number_of_task : labels; -- -- Select time line widget -- lb_select_time_line, lb_to_display, lb_can_not_display_so_much_time_line, lb_select_at_least_one_time_line, lb_type : labels; -- -- Others ... -- lb_advanced, lb_cancel, lb_warning, lb_see, lb_equation, lb_theorem, lb_divisible, lb_less_than, lb_greater_than, lb_less_or_equal_than, lb_greater_or_equal_than, lb_lemma, lb_close, lb_and, lb_continue : labels; ---------------------------------------------------- -- Data controls ---------------------------------------------------- lb_invalid_priority, lb_mandatory, lb_already_defined, lb_must_be, lb_must_be_numeric, lb_parameter : labels; ---------------------------------------------------- -- Parametric scheduler messages ---------------------------------------------------- -- -- Parser and parametric simulation errors -- lb_type_error, lb_parametric_file_error, lb_statement_error, lb_variable_error, lb_syntax_error, lb_identifier_already_exists, lb_variable_declaration_have_to_be_done_in_start_section, lb_undeclared_identifier, lb_identifier, lb_integer_conversion_error, lb_double_conversion_error, lb_index_error, lb_uncompatible_type_error, lb_can_not_edit_to_parametric_object, lb_identifier_already_declared, lb_operation_not_permitted : labels; ---------------------------------------------------- -- Logic messages/errors (scheduling, buffer -- and blocking time) ---------------------------------------------------- -- -- Shared resource logic -- lb_compute_blocking_error1, lb_compute_blocking_error2, lb_compute_blocking_error3, lb_deadlock_detection, lb_wait_for, lb_priority_inversion_detection, lb_no_deadlock_found, lb_no_priority_inversion_found, lb_deadlock, lb_deadlock_at_time, lb_priority_inversion, lb_worst_case_blocking_time, lb_has_priority_inversion, lb_from_the_time, lb_to_the_time, lb_blocking_time, lb_simulation_deadlock, lb_simulation_priority_inversion, lb_simulation_blocking_time, lb_blocking_time_inject_success, lb_blocking_time_inject_failed, lb_ceiling_priority, lb_ceiling_priority_inject_failed, lb_ceiling_priority_inject_success : labels; -- -- Scheduling logic -- lb_pb_strict_constraints, lb_pb_sched_unknown, lb_feasibility_test_by_name, lb_select_almost_one_feasilibity_test, lb_feasibility_number1, lb_feasibility_number2, lb_para, lb_edf, lb_d_over, lb_feasibility_dbf, lb_feasibility_dbf_check_interval, lb_feasibility_dbf_overrun_instant, lb_sched_explanation_dbf1, lb_sched_explanation_dbf2, lb_muf, lb_rm, lb_dm, lb_llf, lb_hpf, lb_worst_case, lb_best_case, lb_average_case, lb_curve, lb_simulation_warning, lb_simulation_error, lb_priorities_error1, lb_priorities_error2, lb_priorities_error_opa, lb_priorities_error_opa_crpd, lb_set_priorities_dm, lb_set_priorities_audsley_opa, lb_set_priorities_opa_crpd_pt, lb_set_priorities_opa_crpd_pt_simplified, lb_set_priorities_opa_crpd_tree, lb_set_priorities_rm, lb_set_priorities, lb_unit_of_times, lb_draw_from, lb_draw_to, lb_schedule_to, lb_schedule_time_line_too_large, lb_draw_time_line_too_large, lb_periodic_situation, lb_scheduling, lb_free_unit_time, lb_utilization_with_period, lb_utilization_with_deadline, lb_core_utilization, lb_core_utilization_with_period, lb_core_utilization_with_deadline, lb_utilization_bound1, lb_utilization_bound11, lb_sched_explanation1, lb_sched_explanation12, lb_sched_explanation2, lb_sched_explanation22, lb_sched_explanation3, lb_sched_explanation5, lb_sched_explanation52, lb_sched_explanation6, lb_sched_explanation62, lb_sched_explanation7, lb_sched_explanation8, lb_sched_explanation81, lb_sched_explanation82, lb_no_deadline_missed_in_the_computed_scheduling, lb_cannot_say_if_deadline_will_be_missed_in_the_computed_scheduling, lb_cannot_compute_wcrt_with_discard_missed_deadline, lb_no_deadline_will_be_missed_task_are_schedulable, lb_deadline_will_be_missed_task_are_not_schedulable, lb_worst_case_task_response_time, lb_task_response_time, lb_task_response_time_from_simulation, lb_scheduling_period, lb_number_of_preemption, lb_number_of_overflow, lb_number_of_underflow, lb_number_of_context_switch, lb_priorities, lb_partition_best_fit, lb_partition_next_fit, lb_partition_first_fit, lb_partition_small_task, lb_partition_general_task, lb_partition, lb_partitioning_result, lb_partition_error1, lb_partition_error2, lb_partition_error3, lb_compute_scheduling_error_1, lb_partition_error4, lb_compute_scheduling_error_2, lb_compute_scheduling_error_3, lb_compute_scheduling_error_4, lb_compute_scheduling_error_5, lb_compute_scheduling_error_6, lb_compute_scheduling_error_7, lb_compute_scheduling_error_8, lb_compute_scheduling_error_9, lb_compute_scheduling_error_10, lb_compute_scheduling_error_11, lb_compute_scheduling_error_12, lb_compute_scheduling_error_13, lb_compute_scheduling_error_14, lb_compute_scheduling_error_15, lb_compute_scheduling_error_18, lb_compute_scheduling_error_19, lb_compute_scheduling_error_21, lb_compute_scheduling_error_22, lb_compute_scheduling_error_23, lb_compute_scheduling_error_24, lb_compute_scheduling_error_25, lb_compute_scheduling_error_26, lb_compute_scheduling_error_27, lb_check_deadline, lb_check_absolute_deadline, lb_periodic, lb_frame, lb_aperiodic, lb_poisson_process_task, lb_sporadic_task, lb_parametric_task, lb_completion_time, lb_computation_time_exceeded, lb_task_is_not_over_response_time_is_not_computed, lb_processor_has_number_of_cores : labels; -- -- Buffer logic -- lb_harmonic, lb_compute_buffer_error_1, lb_compute_buffer_error_2, lb_schedule_before, lb_buffer_utilization, lb_compute_buffer_error_3, lb_compute_buffer_error_4, lb_maximum_buffer_size, lb_average_buffer_size, lb_maximum_waiting_time, lb_average_waiting_time : labels; -- -- Dependencies logic -- lb_chetto, lb_jitter_from_response_time_all_steps, lb_deadlines_are_updated, lb_priorities_are_updated, lb_jitters_are_updated, lb_chetto_error1, lb_chetto_error2, lb_chetto_error3, lb_chetto_error4, lb_chetto_deadline, lb_chetto_priority, lb_jitter_from_response_time_one_step, lb_jitter_from_response_time, lb_precedencies_period_error, lb_holistique_error1, lb_holistique_error2, lb_dependencies : labels; -- -- Random tools -- lb_random, lb_compute_response_time_density, lb_response_time_density, lb_response_time : labels; -- -- Feasibility Tests Selection Tool -- lb_select_simple, lb_select_compositional : labels; -- -- CFG -- lb_cfg_id, lb_cfg, lb_cfg_name, lb_can_not_define_more_cfg : labels; -- -- CFG_Node,Basic Block -- lb_cfg_node_id, lb_cfg_node, lb_cfg_node_name, lb_previous_nodes, lb_next_nodes, lb_instruction_offset, lb_instruction_capacity, lb_data_offset, lb_data_capacity, lb_cfg_node_type, lb_can_not_define_more_cfg_node : labels; -- -- CFG Edge -- lb_cfg_edge_id, lb_cfg_edge, lb_cfg_edge_name, lb_can_not_define_more_cfg_edge : labels; -- -- Optimizations -- lb_partitioning_algorithm_name, lb_partitioning_algorithm, lb_can_not_define_more_partitioning_algorithm, lb_partitioning_algorithm_id : labels; -- -- OPA, OPA_CRPD Requirement -- lb_offset_must_be_defined_for_opa, lb_cache_access_profile_must_be_defined_for_opa : labels; -- -- WCRT+CRPD -- lb_wcrt_crpd_preemptive_only : labels; -- -- Network logic -- lb_spacewire_analysis, lb_noc_analysis : labels; -- -- MILS -- lb_mils_analysis : labels; -- -- Xml strings -- Lb_Xml_Base_Period, Lb_Xml_Processor_Utilization_Factor, Lb_Xml_Processor_Utilization_Factor_Deadline, Lb_Xml_Processor_Utilization_Factor_Period, Lb_Xml_Core_Utilization_Factor_Deadline, Lb_Xml_Core_Utilization_Factor_Period, Lb_Xml_Response_Time, Lb_Xml_Worst_Case_Response_Time, Lb_Xml_Unknown_Sched : labels; end translate;