------------------------------------------------------------------------------ ------------------------------------------------------------------------------ -- 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 unbounded_strings; use unbounded_strings; with version; use version; package body translate.english_labels is procedure initialize is begin ---------------------------------------------------- -- Menu and sub menu titles ---------------------------------------------------- lb_root_title (english) := To_Unbounded_String ("Cheddar : a free real time scheduling simulator"); lb_file (english) := To_Unbounded_String ("File"); lb_new (english) := To_Unbounded_String ("New"); lb_open_xml (english) := To_Unbounded_String ("Open XML project"); lb_save_xml (english) := To_Unbounded_String ("Save XML project"); lb_save_as_xml (english) := To_Unbounded_String ("Save XML project as "); lb_open (english) := To_Unbounded_String ("Open"); lb_save (english) := To_Unbounded_String ("Save"); lb_save_as (english) := To_Unbounded_String ("Save as "); lb_aadl (english) := To_Unbounded_String ("AADL"); lb_import_aadl (english) := To_Unbounded_String ("AADL project import"); lb_export_aadl (english) := To_Unbounded_String ("AADL project export"); lb_export_arinc653_tsp (english) := To_Unbounded_String ("Export ARINC653 TSP"); lb_aadl_options (english) := To_Unbounded_String ("AADL options"); lb_other_aadl_options (english) := To_Unbounded_String ("Other AADL options"); lb_export_cheddar_property_sets (english) := To_Unbounded_String ("Export Cheddar Property Sets"); lb_export_aadl_standard_properties_set (english) := To_Unbounded_String ("Export Aadl Standard Properties Set"); lb_exit (english) := To_Unbounded_String ("Exit"); lb_edit (english) := To_Unbounded_String ("Edit"); lb_edit_scheduler (english) := To_Unbounded_String ("Edit a scheduler"); lb_parametric (english) := To_Unbounded_String ("User-defined"); lb_tools (english) := To_Unbounded_String ("Tools"); lb_compute_buffer (english) := To_Unbounded_String ("Buffer analysis with feasibility tests"); lb_draw_buffer (english) := To_Unbounded_String ("Buffer analysis from scheduling simulation"); lb_clear (english) := To_Unbounded_String ("Clear work space"); lb_scheduling_simulation (english) := To_Unbounded_String ("Scheduling simulation"); lb_scheduling_feasibility (english) := To_Unbounded_String ("Scheduling feasibility"); lb_customized_scheduling_simulation (english) := To_Unbounded_String ("Customized scheduling simulation"); lb_customized_feasibility_tests (english) := To_Unbounded_String ("Customized scheduling feasibility"); lb_compute_and_display (english) := To_Unbounded_String ("Compute and Display"); lb_compute_and_update (english) := To_Unbounded_String ("Compute and Update tasks"); lb_compute_and_display_one_step (english) := To_Unbounded_String ("Compute and Display : one step "); lb_compute_and_update_one_step (english) := To_Unbounded_String ("Compute and Update tasks : one step "); lb_memory_requirement_analysis (english) := To_Unbounded_String ("Address space Memory Footprint Analysis"); lb_check_and_update_address_space (english) := To_Unbounded_String ("Check and update Address space"); lb_check_address_space (english) := To_Unbounded_String ("Check Address Space "); lb_help (english) := To_Unbounded_String ("Help"); lb_manual (english) := To_Unbounded_String ("Manual"); lb_ref (english) := To_Unbounded_String ("Scheduling references"); lb_about (english) := To_Unbounded_String ("About Cheddar"); lb_about_text (english) := To_Unbounded_String ("Cheddar ") & cheddar_version & unbounded_lf & cheddar_svn_version & unbounded_lf & unbounded_lf & To_Unbounded_String ("Cheddar is a free real time schedulability tool.") & unbounded_lf & To_Unbounded_String ("Cheddar is distributed under the GNU GPL license."); lb_about_text (english) := lb_about_text (english) & unbounded_lf & unbounded_lf & To_Unbounded_String ("Cheddar has been started by Frank Singhoff in 2002, and") & unbounded_lf & To_Unbounded_String ("is maintained by the Lab-STICC Team, CNRS UMR 6285, Université de Bretagne Occidentale, France.") & unbounded_lf & unbounded_lf & To_Unbounded_String ("See : http:://beru.univ-brest.fr/cheddar for more details") & unbounded_lf; ---------------------------------------------------- -- Update model ---------------------------------------------------- lb_add (english) := To_Unbounded_String ("Add"); lb_delete (english) := To_Unbounded_String ("Delete"); lb_update (english) := To_Unbounded_String ("Update"); lb_update_task (english) := To_Unbounded_String ("Update tasks"); lb_update_address_space (english) := To_Unbounded_String ("Update address spaces"); lb_update_core_unit (english) := To_Unbounded_String ("Update core units"); lb_update_processor (english) := To_Unbounded_String ("Update processors"); lb_update_resource (english) := To_Unbounded_String ("Update resources"); lb_update_message (english) := To_Unbounded_String ("Update messages"); lb_update_buffer (english) := To_Unbounded_String ("Update buffers"); lb_update_event_analyzer (english) := To_Unbounded_String ("Update event analyzers"); lb_update_network (english) := To_Unbounded_String ("Update networks"); ------------------------------------------------------------ -- Errors on messages/tasks/processors/resources/buffers ------------------------------------------------------------ lb_core_unit_not_found (english) := To_Unbounded_String ("Core unit not found"); lb_cache_not_found (english) := To_Unbounded_String ("Cache not found"); lb_dependency_not_found (english) := To_Unbounded_String ("Dependency not found"); lb_resource_not_found (english) := To_Unbounded_String ("Resource not found"); lb_message_not_found (english) := To_Unbounded_String ("Message not found"); lb_task_not_found (english) := To_Unbounded_String ("Task not found"); lb_task_group_not_found (english) := To_Unbounded_String ("Task group not found"); lb_address_space_not_found (english) := To_Unbounded_String ("Address space not found"); lb_processor_not_found (english) := To_Unbounded_String ("Processor not found"); lb_battery_not_found (english) := To_Unbounded_String ("Battery not found"); lb_buffer_not_found (english) := To_Unbounded_String ("Buffer not found"); lb_event_analyzer_not_found (english) := To_Unbounded_String ("Event analyzer not found"); lb_deployment_not_found (english) := To_Unbounded_String ("deployment not found"); lb_define_task_groups_before (english) := To_Unbounded_String ("Define a task group before"); lb_define_tasks_before (english) := To_Unbounded_String ("Define a task before"); lb_define_address_spaces_before (english) := To_Unbounded_String ("Define an address space before"); lb_define_core_units_before (english) := To_Unbounded_String ("Define a core unit before"); lb_define_processors_before (english) := To_Unbounded_String ("Define a processor before"); lb_define_messages_before (english) := To_Unbounded_String ("Define a message before"); lb_define_resources_before (english) := To_Unbounded_String ("Define a resource before"); lb_define_buffers_before (english) := To_Unbounded_String ("Define a buffer before"); lb_define_event_analyzers_before (english) := To_Unbounded_String ("Define an event analyzer before"); lb_define_deployments_before (english) := To_Unbounded_String ("Define a deployment before"); lb_define_caches_before (english) := To_Unbounded_String ("Define a cache before"); lb_can_not_define_more_memories (english) := To_Unbounded_String ("Cannot define more Memories"); lb_can_not_define_more_core_units (english) := To_Unbounded_String ("Cannot define more core units"); lb_can_not_define_more_sections (english) := To_Unbounded_String ("Cannot define more sections"); lb_can_not_define_more_networks (english) := To_Unbounded_String ("Cannot define more networks"); lb_can_not_define_more_task_groups (english) := To_Unbounded_String ("Cannot define more task groups"); lb_can_not_define_more_tasks (english) := To_Unbounded_String ("Cannot define more tasks"); lb_can_not_define_more_address_spaces (english) := To_Unbounded_String ("Cannot define more address spaces"); lb_can_not_define_more_processors (english) := To_Unbounded_String ("Cannot define more processors"); lb_can_not_define_more_resources (english) := To_Unbounded_String ("Cannot define more resources"); lb_can_not_define_more_batteries (english) := To_Unbounded_String ("Cannot define more batteries"); lb_can_not_define_more_buffers (english) := To_Unbounded_String ("Cannot define more buffers"); lb_can_not_define_more_messages (english) := To_Unbounded_String ("Cannot define more messages"); lb_can_not_define_more_event_analyzers (english) := To_Unbounded_String ("Cannot define more event analyzers"); lb_can_not_define_more_deployments (english) := To_Unbounded_String ("Cannot define more deployments"); lb_can_not_define_more_scheduling_errors (english) := To_Unbounded_String ("Cannot define more scheduling errors"); ---------------------------------------------------- -- I/O Errors and messages ---------------------------------------------------- lb_open_file (english) := To_Unbounded_String ("Open file"); lb_save_file (english) := To_Unbounded_String ("Save file"); lb_not_saved_file (english) := To_Unbounded_String ("Warning : the file is not saved"); lb_can_not_open_file (english) := To_Unbounded_String ("Cannot open file"); lb_can_not_read_file (english) := To_Unbounded_String ("Cannot read file"); lb_can_not_save_file (english) := To_Unbounded_String ("Cannot save file"); lb_file_name (english) := To_Unbounded_String ("File name"); lb_open_project (english) := To_Unbounded_String ("Open project"); lb_save_project (english) := To_Unbounded_String ("Save project"); lb_not_saved_project (english) := To_Unbounded_String ("Warning : the project is not saved"); lb_can_not_open_project (english) := To_Unbounded_String ("Cannot open project files"); lb_can_not_save_project (english) := To_Unbounded_String ("Cannot save project files"); lb_select_file (english) := To_Unbounded_String ("File selection"); lb_entity_referenced_elsewhere (english) := To_Unbounded_String ("Cannot proceed : entity referenced elsewhere "); lb_start_message1 (english) := To_Unbounded_String ("No task set ready to analyse : load a model from the 'File' menu, or edit task set from the 'Edit' menu."); lb_start_message2 (english) := To_Unbounded_String ("Task set ready to analyse : run analysis from the 'Tools' menu."); ---------------------------------------------------- -- Widget text fields ---------------------------------------------------- lb_select_line_before (english) := To_Unbounded_String ("Select a Lign Before "); -- -- deployments widgets -- lb_deployment (english) := To_Unbounded_String ("deployment "); lb_deployment_name (english) := To_Unbounded_String ("deployment name "); lb_can_not_be_empty (english) := To_Unbounded_String ("cannot be empty"); lb_sink_set (english) := To_Unbounded_String ("Resource set "); lb_source_set (english) := To_Unbounded_String ("Consumer set "); -- -- Event analyzer widgets -- lb_event_analyzer_name (english) := To_Unbounded_String ("Event analyzer name"); lb_event_analyzer (english) := To_Unbounded_String ("Event analyzer"); lb_run_event_analyzers (english) := To_Unbounded_String ("Run event analyzers"); -- Generic and named object -- lb_object_id (english) := To_Unbounded_String ("Object Id"); lb_object_name (english) := To_Unbounded_String ("Object name"); -- -- Processors and core unit widgets -- lb_speed (english) := To_Unbounded_String ("Speed"); lb_parametric_file_name (english) := To_Unbounded_String ("User-defined file name"); lb_select_core_unit_first (english) := To_Unbounded_String ("Select a core unit first"); lb_select_processor_first (english) := To_Unbounded_String ("Select a processor first"); lb_file_name_control (english) := To_Unbounded_String ("Invalid file name with the selected scheduler"); lb_only_on_parametric (english) := To_Unbounded_String ("Only permitted on user-defined scheduler"); lb_read (english) := To_Unbounded_String ("Read"); lb_quantum_control (english) := To_Unbounded_String ("Invalid quantum with selected scheduler"); lb_core_unit (english) := To_Unbounded_String ("Core Unit "); lb_core_unit_id (english) := To_Unbounded_String ("Core Unit id"); lb_core_unit_name (english) := To_Unbounded_String ("Core unit name"); lb_processor (english) := To_Unbounded_String ("Processor "); lb_processor_name (english) := To_Unbounded_String ("Processor name"); lb_processor_id (english) := To_Unbounded_String ("Processor id"); lb_scheduler (english) := To_Unbounded_String ("Scheduler"); lb_option (english) := To_Unbounded_String ("Option"); lb_preemptive (english) := To_Unbounded_String ("Preemptive"); lb_not_preemptive (english) := To_Unbounded_String ("Not preemptive"); lb_invalid_identifier (english) := To_Unbounded_String ("Invalid identifier"); lb_automaton (english) := To_Unbounded_String ("Automaton"); lb_core_units_name_mandatory (english) := To_Unbounded_String ("Core Units Name is Mandatory"); lb_address_space_name_mandatory (english) := To_Unbounded_String ("Address Space Name is Mandatory"); lb_network_name_mandatory (english) := To_Unbounded_String ("Network Name is Mandatory"); lb_buffer_name_mandatory (english) := To_Unbounded_String ("Buffer Name is Mandatory"); lb_task_name_mandatory (english) := To_Unbounded_String ("Task Name is Mandatory"); lb_policy_mandatory (english) := To_Unbounded_String ("Policy Type is Mandatory"); lb_task_type_mandatory (english) := To_Unbounded_String ("Task type is Mandatory"); lb_create_only_one_core_unit (english) := To_Unbounded_String ("With only one core unit, select monocore and no migration"); lb_processor_name_mandatory (english) := To_Unbounded_String ("Processor Name is Mandatory"); lb_scheduler_type_mandatory (english) := To_Unbounded_String ("Scheduler Type is Mandatory"); lb_network_type_mandatory (english) := To_Unbounded_String ("Network Type is Mandatory"); lb_preemptive_type_mandatory (english) := To_Unbounded_String ("Pre-emptive Type is Mandatory"); lb_processor_type_mandatory (english) := To_Unbounded_String ("Processor Type is Mandatory"); lb_migration_type_mandatory (english) := To_Unbounded_String ("Migration Type is Mandatory"); lb_migration_type_not_allow_with_several_cores (english) := To_Unbounded_String ("Migration Type not allowed with several cores"); lb_processor_type_not_allow_with_several_cores (english) := To_Unbounded_String ("Processor Type not allowed with several cores"); lb_priority_mandatory (english) := To_Unbounded_String ("Priority is Mandatory"); lb_core_with_same_scheduler (english) := To_Unbounded_String ("All cores of a processor must have the same scheduler."); lb_hierarchical_not_allowed (english) := To_Unbounded_String ("Hierarchical scheduling not allowed here."); -- -- Memory -- lb_memory (english) := To_Unbounded_String ("Memory"); lb_memory_name (english) := To_Unbounded_String ("Memory name"); lb_memory_id (english) := To_Unbounded_String ("Memory id"); -- -- Scheduling_Error -- lb_scheduling_error (english) := To_Unbounded_String ("Scheduling Error"); lb_scheduling_error_name (english) := To_Unbounded_String ("Scheduling Error name"); lb_scheduling_error_id (english) := To_Unbounded_String ("Scheduling Error Id"); -- -- Cache Block -- lb_cache_block_id (english) := To_Unbounded_String ("Cache Block Id"); lb_cache_block (english) := To_Unbounded_String ("Cache Block"); lb_cache_block_name (english) := To_Unbounded_String ("Cache Block name"); lb_can_not_define_more_cache_blocks (english) := To_Unbounded_String ("Cannot define more Cache Block"); -- -- Cache -- lb_cache_id (english) := To_Unbounded_String ("Cache Id"); lb_cache (english) := To_Unbounded_String ("Cache"); lb_cache_name (english) := To_Unbounded_String ("Cache name"); lb_cache_size (english) := To_Unbounded_String ("Cache size"); lb_number_of_block (english) := To_Unbounded_String ("Number of block"); lb_line_size (english) := To_Unbounded_String ("Line size"); lb_associativity (english) := To_Unbounded_String ("Associativity"); lb_hit_time (english) := To_Unbounded_String ("Hit time"); lb_miss_time (english) := To_Unbounded_String ("Miss time"); lb_block_reload_time (english) := To_Unbounded_String ("Block Reload Time"); lb_miss_rate (english) := To_Unbounded_String ("Miss rate"); lb_can_not_define_more_caches (english) := To_Unbounded_String ("Cannot define more caches"); -- -- Cache_Access_Profile -- lb_cache_access_profile_id (english) := To_Unbounded_String ("Cache Access Profile Id"); lb_cache_access_profile (english) := To_Unbounded_String ("Cache Access Profile"); lb_cache_access_profile_name (english) := To_Unbounded_String ("Cache Access Profile name"); lb_ucbs (english) := To_Unbounded_String ("UCBs"); lb_ucbs_nb_entries (english) := To_Unbounded_String ("Number of UCBs"); lb_ecbs (english) := To_Unbounded_String ("ECBs"); lb_ecbs_nb_entries (english) := To_Unbounded_String ("Number of ECBs"); lb_can_not_define_more_cache_access_profiles (english) := To_Unbounded_String ("Cannot define more Cache Access Profile"); lb_cache_access_profile_not_found (english) := To_Unbounded_String ("Cache Access Profile not found"); lb_compute_cache_access_profile (english) := To_Unbounded_String ("Compute Cache Access Profile"); lb_compute_cache_access_profile_method (english) := To_Unbounded_String ("with UCB and ECB analysis"); lb_cache_access_profile_must_be_defined (english) := To_Unbounded_String ("ERROR: Cache Access Profiles must be defined/computed before running any CRPD analysis"); lb_cache_access_profile_must_be_defined_for_all_tasks (english) := To_Unbounded_String ("ERROR: Cache Access Profiles of all tasks must be defined/computed before running any CRPD analysis"); lb_cfg_imported (english) := To_Unbounded_String ("Imported CFG : "); lb_import_cfg (english) := To_Unbounded_String ("Import CFG from XML files"); lb_import_cfg_and_compute_cache_access_profile (english) := To_Unbounded_String ("Import CFG and compute Cache Access Profile"); -- -- Address space widgets -- lb_address_space_name (english) := To_Unbounded_String ("Address space name"); lb_address_space (english) := To_Unbounded_String ("Address space"); lb_address_space_id (english) := To_Unbounded_String ("Address space id"); lb_invalid_scheduler (english) := To_Unbounded_String ("Invalid scheduler"); lb_select_address_space_first (english) := To_Unbounded_String ("Select an address space first"); lb_text_memory_size (english) := To_Unbounded_String ("Text memory size"); lb_text_memory_start_address (english) := To_Unbounded_String ("Text memory start address"); lb_heap_memory_size (english) := To_Unbounded_String ("Heap memory size"); lb_data_memory_size (english) := To_Unbounded_String ("Data memory size"); lb_stack_memory_size (english) := To_Unbounded_String ("Stack memory size"); lb_text (english) := To_Unbounded_String ("Text"); lb_heap (english) := To_Unbounded_String ("Heap"); lb_data (english) := To_Unbounded_String ("Data"); lb_stack (english) := To_Unbounded_String ("Stack"); lb_require_same_scheduler_on_all_address_space (english) := To_Unbounded_String ("Require the same scheduler on all address space"); -- -- Labels related to sections -- lb_task_name (english) := To_Unbounded_String ("Section name"); lb_task (english) := To_Unbounded_String ("Section"); -- -- Tasks widgets -- lb_task_name (english) := To_Unbounded_String ("Task name"); lb_task_group_name (english) := To_Unbounded_String ("Task group name"); lb_task_id (english) := To_Unbounded_String ("Task id"); lb_task_group_id (english) := To_Unbounded_String ("Task group id"); lb_task (english) := To_Unbounded_String ("Task"); lb_task_group (english) := To_Unbounded_String ("Task Group"); lb_task_type (english) := To_Unbounded_String ("Task type"); lb_capacity (english) := To_Unbounded_String ("Capacity"); lb_criticality (english) := To_Unbounded_String ("Criticality"); lb_deadline (english) := To_Unbounded_String ("Deadline"); lb_period (english) := To_Unbounded_String ("Period"); lb_jitter (english) := To_Unbounded_String ("Jitter"); lb_priority (english) := To_Unbounded_String ("Priority"); lb_policy (english) := To_Unbounded_String ("Policy"); lb_policy_control (english) := To_Unbounded_String ("Invalid policy with the selected priority level"); lb_start_time (english) := To_Unbounded_String ("Start time"); lb_offset_val (english) := To_Unbounded_String ("Offset val."); lb_offset_act (english) := To_Unbounded_String ("Offset act."); lb_offsets (english) := To_Unbounded_String ("Offsets"); lb_activations (english) := To_Unbounded_String ("Activations"); lb_activation (english) := To_Unbounded_String ("Activation"); lb_values (english) := To_Unbounded_String ("Values"); lb_value (english) := To_Unbounded_String ("Value"); lb_user_defined_parameter (english) := To_Unbounded_String ("User's defined parameters"); lb_rule_for_parametric_only (english) := To_Unbounded_String ("Activation rule only with user-defined task"); lb_main (english) := To_Unbounded_String ("Main page"); lb_can_not_modify (english) := To_Unbounded_String ("Cannot be modified"); lb_no_period (english) := To_Unbounded_String ("does not have period"); lb_require_period (english) := To_Unbounded_String ("requires period"); lb_require_activation_rule (english) := To_Unbounded_String ("requires activation rule"); lb_have_to_be_on_the_same_processor (english) := To_Unbounded_String ("have to be on the same processor"); lb_select_task_first (english) := To_Unbounded_String ("Select a task first"); lb_seed (english) := To_Unbounded_String ("Seed"); lb_predictable (english) := To_Unbounded_String ("Predictable"); lb_unpredictable (english) := To_Unbounded_String ("Unpredictable"); lb_task_not_permitted (english) := To_Unbounded_String ("Operation not permitted with the selected task"); lb_activation_rule (english) := To_Unbounded_String ("Activation rule"); lb_context_switch_overhead (english) := To_Unbounded_String ("Context switch overhead"); lb_every (english) := To_Unbounded_String ("Every"); lb_outer_period (english) := To_Unbounded_String ("Outer period"); lb_outer_duration (english) := To_Unbounded_String ("Outer duration"); lb_energy_consumption (english) := To_Unbounded_String ("Energy consumption"); -- -- Messages widgets -- lb_response_time_message (english) := To_Unbounded_String ("Response time"); lb_communication_time_message (english) := To_Unbounded_String ("Communication time"); lb_message_id (english) := To_Unbounded_String ("Message id"); lb_message_type (english) := To_Unbounded_String ("Message type"); lb_message (english) := To_Unbounded_String ("Message"); lb_message_name (english) := To_Unbounded_String ("Message name"); -- -- Batteries widgets -- lb_battery (english) := To_Unbounded_String ("Battery"); lb_battery_name (english) := To_Unbounded_String ("Battery name"); lb_rechargeable_power (english) := To_Unbounded_String ("Rechargeable Power"); -- -- Buffers widgets -- lb_buffer (english) := To_Unbounded_String ("Buffer"); lb_buffer_name (english) := To_Unbounded_String ("Buffer name"); lb_buffer_id (english) := To_Unbounded_String ("Buffer id"); lb_size (english) := To_Unbounded_String ("Size"); lb_time (english) := To_Unbounded_String ("Time"); lb_timeout (english) := To_Unbounded_String ("Timeout"); lb_select_buffer_first (english) := To_Unbounded_String ("Select a buffer first"); lb_utilization_level (english) := To_Unbounded_String ("Utilization factor"); lb_bound_buffer (english) := To_Unbounded_String ("Bound on buffers"); lb_role_type (english) := To_Unbounded_String ("Type"); lb_role (english) := To_Unbounded_String ("Role"); lb_role_consumer (english) := To_Unbounded_String ("Consumer"); lb_role_producer (english) := To_Unbounded_String ("Producer"); lb_buffer_information (english) := To_Unbounded_String ("Buffer information "); lb_buffer_list (english) := To_Unbounded_String ("Buffer list "); lb_role_list (english) := To_Unbounded_String ("Tasks using the buffer "); lb_queueing_system (english) := To_Unbounded_String ("Queueing system "); lb_duplicated_buffer_role (english) := To_Unbounded_String (" Duplicated buffer role "); -- -- Resources widgets -- lb_resource_id (english) := To_Unbounded_String ("Resource id"); lb_resource_name (english) := To_Unbounded_String ("Resource name"); lb_resource (english) := To_Unbounded_String ("Resource"); lb_select_resource_first (english) := To_Unbounded_String ("Select a resource first"); lb_update_resource_control (english) := To_Unbounded_String ("Invalid selected task"); lb_resource_filter (english) := To_Unbounded_String ("Select a Resource"); lb_cpu_filter (english) := To_Unbounded_String ("Select a processor"); lb_address (english) := To_Unbounded_String ("Address"); lb_state (english) := To_Unbounded_String ("State"); lb_protocol (english) := To_Unbounded_String ("Protocol"); lb_modify (english) := To_Unbounded_String ("Modify"); lb_used_protocol (english) := To_Unbounded_String ("Used Protocol : "); lb_resource_state (english) := To_Unbounded_String ("Resource State (Integer)"); lb_task_begin (english) := To_Unbounded_String ("Begin"); lb_task_end (english) := To_Unbounded_String ("End"); lb_resources (english) := To_Unbounded_String ("Resources"); lb_resource_affect (english) := To_Unbounded_String ("Resource shared by tasks "); lb_resource_information (english) := To_Unbounded_String ("Resource information "); lb_invalid_protocol (english) := To_Unbounded_String ("Invalid shared resource protocol "); lb_can_not_add_more_task_for_this_resource (english) := To_Unbounded_String (" Cannot add more task for this resource "); lb_duplicated_critical_section (english) := To_Unbounded_String ("Duplicated critical section "); -- -- Networks Widgets -- lb_select_network_first (english) := To_Unbounded_String ("Select a network first"); lb_only_on_parametric_network (english) := To_Unbounded_String ("Only on parametric network"); lb_network (english) := To_Unbounded_String ("Network"); lb_number_of_processor (english) := To_Unbounded_String ("Number of processor"); lb_network_name (english) := To_Unbounded_String ("Network name"); lb_network_type (english) := To_Unbounded_String ("Network type"); lb_networks_list (english) := To_Unbounded_String ("List networks"); lb_view_networks_type (english) := To_Unbounded_String ("Type"); lb_define_networks_before (english) := To_Unbounded_String ("Define a network before"); lb_delete_network (english) := To_Unbounded_String ("Delete a network"); lb_network_not_found (english) := To_Unbounded_String ("Network not found"); -- -- Dependency graph widgets -- lb_new_buffer_role (english) := To_Unbounded_String ("New buffer role"); lb_disp1 (english) := To_Unbounded_String ("Layout 1"); lb_disp2 (english) := To_Unbounded_String ("Layout 2"); lb_disp3 (english) := To_Unbounded_String ("Layout 3"); lb_create (english) := To_Unbounded_String ("Create"); lb_select (english) := To_Unbounded_String ("Select"); lb_name (english) := To_Unbounded_String ("Name"); lb_select_row_before (english) := To_Unbounded_String ("Select a row before"); lb_precedencies (english) := To_Unbounded_String ("Precedencies"); lb_dependencies (english) := To_Unbounded_String ("Dependencies"); lb_arrow (english) := To_Unbounded_String ("Arrow"); lb_new_item (english) := To_Unbounded_String ("New item"); lb_graph_view (english) := To_Unbounded_String ("Precedencies graph"); lb_choose_item (english) := To_Unbounded_String ("Choose an item"); -- -- Duplicate widget -- lb_duplicate (english) := To_Unbounded_String ("Duplicate"); lb_old (english) := To_Unbounded_String ("Old"); lb_object (english) := To_Unbounded_String ("Object"); -- -- Wizard widget -- lb_number_of_task (english) := To_Unbounded_String ("number of task"); -- -- Wizard widget -- lb_number_of_task (english) := To_Unbounded_String ("number of task"); -- -- Time line selection widget -- -- -- Time line selection widget -- lb_select_time_line (english) := To_Unbounded_String ("Select time lines"); lb_type (english) := To_Unbounded_String ("Type"); lb_to_display (english) := To_Unbounded_String ("To Display"); lb_can_not_display_so_much_time_line (english) := To_Unbounded_String ("Cannot display so much time line (must be less than "); lb_select_at_least_one_time_line (english) := To_Unbounded_String ("Select at least one time line"); -- -- System entity checks -- lb_are_unconsistent (english) := To_Unbounded_String (" are unconsistent"); -- -- AADL options widget -- lb_aadl_process_second_import_pass (english) := To_Unbounded_String ("Process the second AADL import pass which binds software components to hardware components"); lb_aadl_process_third_import_pass (english) := To_Unbounded_String ("Process the third AADL import pass which build component relationships (i.e. connections)"); lb_import_aadl_event_to_precedencies (english) := To_Unbounded_String ("Transform event port to task precedencies"); lb_import_aadl_event_to_buffers_messages (english) := To_Unbounded_String ("Transform event port to buffers and messages"); lb_import_aadl_event_data_to_precedencies (english) := To_Unbounded_String ("Transform event data port to task precedencies"); lb_import_aadl_event_data_to_buffers_messages (english) := To_Unbounded_String ("Transform event data port to buffers and messages"); lb_aadl_debug (english) := To_Unbounded_String ("Activate AADL Debug switch"); lb_import_aadl_system_name (english) := To_Unbounded_String ("Include system/sub-system name in Cheddar's features name"); lb_export_aadl_precedencies_to_event (english) := To_Unbounded_String ("Transform task precedencies to event port connections"); lb_export_aadl_precedencies_to_event_data (english) := To_Unbounded_String ("Transform task precedencies to event data port connections"); lb_export_aadl_precedencies_to_properties (english) := To_Unbounded_String ("Transform task precedencies to Cheddar's properties"); -- -- Others ... -- lb_advanced (english) := To_Unbounded_String ("Advanced"); lb_cancel (english) := To_Unbounded_String ("Cancel"); lb_warning (english) := To_Unbounded_String ("Warning : "); -- JLE : not used? lb_see (english) := To_Unbounded_String ("see "); lb_equation (english) := To_Unbounded_String ("equation "); lb_theorem (english) := To_Unbounded_String ("theorem "); lb_lemma (english) := To_Unbounded_String ("lemma "); lb_less_than (english) := To_Unbounded_String ("less than "); lb_greater_than (english) := To_Unbounded_String ("greater than "); lb_less_or_equal_than (english) := To_Unbounded_String ("less or equal than "); lb_greater_or_equal_than (english) := To_Unbounded_String ("greater or equal than "); lb_divisible (english) := To_Unbounded_String ("divisible by"); lb_close (english) := To_Unbounded_String ("Close"); lb_and (english) := To_Unbounded_String ("and "); lb_continue (english) := To_Unbounded_String ("Do you want to continue ?"); ---------------------------------------------------- -- Event table services ---------------------------------------------------- lb_export_event_table (english) := To_Unbounded_String ("Export event table"); lb_import_event_table (english) := To_Unbounded_String ("Import event table"); lb_event_table_services (english) := To_Unbounded_String ("Event table services"); lb_compute_scheduling_and_generate_event_table (english) := To_Unbounded_String ("Compute scheduling and generate event table"); lb_run_analysis_on_event_table (english) := To_Unbounded_String ("Run analysis on event table"); lb_draw_time_line_from_event_table (english) := To_Unbounded_String ("Draw time line from event table"); lb_display_event_table (english) := To_Unbounded_String ("Display event table"); lb_automatically_export_event_table (english) := To_Unbounded_String ("Automatically export of event table"); lb_event_table_file_name (english) := To_Unbounded_String ("Event table file name"); ---------------------------------------------------- -- Options ---------------------------------------------------- lb_seed_options (english) := To_Unbounded_String ("Seed options :"); lb_task_specific (english) := To_Unbounded_String ("Task specific seed"); lb_all_predictable (english) := To_Unbounded_String ("Predictable for all tasks"); lb_all_unpredictable (english) := To_Unbounded_String ("Unpredictable for all tasks"); lb_max_time_line_to_display (english) := To_Unbounded_String ("Max time line to display "); lb_time_line_between_time_axis (english) := To_Unbounded_String ("Time Line Between Time Axis"); ---------------------------------------------------- -- Data controls ---------------------------------------------------- lb_invalid_priority (english) := To_Unbounded_String ("Invalid priority value"); lb_mandatory (english) := To_Unbounded_String (" is mandatory"); lb_already_defined (english) := To_Unbounded_String (" already defined"); lb_must_be (english) := To_Unbounded_String (" must be "); lb_must_be_numeric (english) := To_Unbounded_String (" must be numeric"); lb_parameter (english) := To_Unbounded_String ("Parameter "); ---------------------------------------------------- -- Parametric scheduler messages ---------------------------------------------------- -- -- Parser and parametric simulation error -- lb_parametric_file_error (english) := To_Unbounded_String ("User-defined file error"); lb_type_error (english) := To_Unbounded_String ("Type error"); lb_statement_error (english) := To_Unbounded_String ("Statement error"); lb_variable_error (english) := To_Unbounded_String ("Variable error"); lb_syntax_error (english) := To_Unbounded_String ("Parsing error"); lb_identifier_already_exists (english) := To_Unbounded_String ("Undeclared identifier"); lb_variable_declaration_have_to_be_done_in_start_section (english) := To_Unbounded_String ("Variable Declaration Have To Be Done In Start Section"); lb_undeclared_identifier (english) := To_Unbounded_String ("Undeclared Identifier"); lb_identifier (english) := To_Unbounded_String ("Identifier"); lb_integer_conversion_error (english) := To_Unbounded_String ("Integer conversion error"); lb_double_conversion_error (english) := To_Unbounded_String ("Double conversion error"); lb_index_error (english) := To_Unbounded_String ("Table index error"); lb_uncompatible_type_error (english) := To_Unbounded_String ("Uncompatible types"); lb_can_not_edit_to_parametric_object (english) := To_Unbounded_String ("Cannot edit two user-defined objects at the same time"); lb_identifier_already_declared (english) := To_Unbounded_String ("Identifier Already Declared"); lb_operation_not_permitted (english) := To_Unbounded_String ("Operation not permitted "); lb_variable_size (english) := To_Unbounded_String ("Left and Right Variables should have the same array size"); ---------------------------------------------------- -- Logic messages/errors (scheduling, buffer -- and blocking time) ---------------------------------------------------- -- -- Shared resources logic -- lb_compute_blocking_error1 (english) := To_Unbounded_String ("All resources have to use the same protocol."); lb_compute_blocking_error2 (english) := To_Unbounded_String ("Protocol error : shared resources use protocol which does not work with the selected scheduler."); lb_compute_blocking_error3 (english) := To_Unbounded_String ("Cannot compute worst case blocking time with such shared resource protocol."); lb_deadlock_detection (english) := To_Unbounded_String ("Looking for deadlock from simulation "); lb_wait_for (english) := To_Unbounded_String (" waits for "); lb_priority_inversion_detection (english) := To_Unbounded_String ("Looking for priority inversion from simulation "); lb_simulation_deadlock (english) := To_Unbounded_String ("Deadlock from simulation "); lb_simulation_priority_inversion (english) := To_Unbounded_String ("Priority inversion from simulation "); lb_deadlock_at_time (english) := To_Unbounded_String ("Blocked task at time"); lb_no_deadlock_found (english) := To_Unbounded_String ("No blocked task found in the last simulation."); lb_no_priority_inversion_found (english) := To_Unbounded_String ("No priority inversion found in the last simulation."); lb_has_priority_inversion (english) := To_Unbounded_String (" run after low priority tasks because resource "); lb_from_the_time (english) := To_Unbounded_String (" from the time "); lb_to_the_time (english) := To_Unbounded_String (" to the time "); lb_worst_case_blocking_time (english) := To_Unbounded_String ("Worst case blocking time "); lb_blocking_time (english) := To_Unbounded_String ("Blocking time "); lb_simulation_blocking_time (english) := To_Unbounded_String ("Blocking time from simulation"); lb_blocking_time_inject_success (english) := To_Unbounded_String ("Task blocking times are updated."); lb_blocking_time_inject_failed (english) := To_Unbounded_String ("Task blocking times are not updated."); lb_ceiling_priority (english) := To_Unbounded_String ("Ceiling Priority "); lb_ceiling_priority_inject_success (english) := To_Unbounded_String ("Ceiling Priority times are updated."); lb_ceiling_priority_inject_failed (english) := To_Unbounded_String ("Ceiling Priority times are not updated."); -- -- Scheduling logic -- lb_pb_strict_constraints (english) := To_Unbounded_String ("None strict constraints : cannot apply the feasibility test on processor utilization factor."); lb_pb_sched_unknown (english) := To_Unbounded_String ("Invalid scheduler : cannot apply the feasibility test on processor utilization factor."); lb_feasibility_test_by_name (english) := To_Unbounded_String ("Apply a feasibility test"); lb_select_almost_one_feasilibity_test (english) := To_Unbounded_String ("Select almost one feasibility test"); lb_feasibility_number1 (english) := To_Unbounded_String ("1) Feasibility test based on the processor utilization factor : "); lb_feasibility_number2 (english) := To_Unbounded_String ("2) Feasibility test based on worst case response time for periodic tasks : "); -- SR 11/2018 lb_feasibility_dbf (english) := To_Unbounded_String ("3) Feasibility test based on demand bound function: "); lb_sched_explanation_dbf1 (english) := To_Unbounded_String ("the task set is feasible because the Demand Bound Function is less than t on the interval 0 .."); lb_sched_explanation_dbf2 (english) := To_Unbounded_String ("the task set is non feasible because the Demand Bound Function is more than t at a time iin the interval 0 .."); lb_feasibility_dbf_check_interval (english) := To_Unbounded_String ("Demand Bound Function tested on the time interval 0 .."); lb_feasibility_dbf_overrun_instant (english) := To_Unbounded_String ("Demand Bound Function more than t at instant "); lb_compute_scheduling (english) := To_Unbounded_String ("Compute scheduling"); lb_generate_events (english) := To_Unbounded_String ("Generate events"); lb_para (english) := To_Unbounded_String ("with a Parametric scheduler, "); lb_edf (english) := To_Unbounded_String ("with EDF, "); lb_rm (english) := To_Unbounded_String ("with RM, "); lb_muf (english) := To_Unbounded_String ("with MUF, "); lb_d_over (english) := To_Unbounded_String ("with D-Over, "); lb_dm (english) := To_Unbounded_String ("with DM, "); lb_llf (english) := To_Unbounded_String ("with LLF, "); lb_run_simulation_on_one_processor_only (english) := To_Unbounded_String ("Schedule all processors"); lb_run_feasibility_tests_on_one_processor_only (english) := To_Unbounded_String (" Feasibility on all processors"); lb_worst_case (english) := To_Unbounded_String ("Worst case"); lb_best_case (english) := To_Unbounded_String ("Best case"); lb_average_case (english) := To_Unbounded_String ("Average case"); lb_curve (english) := To_Unbounded_String ("Graph"); lb_simulation_warning (english) := To_Unbounded_String ("Simulation warning : "); lb_simulation_error (english) := To_Unbounded_String ("Simulation error : "); lb_priorities_error1 (english) := To_Unbounded_String ("Tasks must be periodic : cannot set priorities."); lb_priorities_error2 (english) := To_Unbounded_String ("Processor without tasks : cannot set priorities."); lb_priorities_error_opa (english) := To_Unbounded_String ("Task set is not feasible under any priority orders: cannot set priorities according to OPA."); lb_priorities_error_opa_crpd (english) := To_Unbounded_String ("Task set is not feasible under any priority orders with chosen CRPD Interference computation solution."); lb_set_priorities_dm (english) := To_Unbounded_String ("Set priorities according to Deadline Monotonic"); lb_set_priorities_rm (english) := To_Unbounded_String ("Set priorities according to Rate Monotonic"); lb_set_priorities_audsley_opa (english) := To_Unbounded_String ("Set priorities according to Audsley OPA"); lb_set_priorities_opa_crpd_pt (english) := To_Unbounded_String ("Set priorities according to Audsley OPA with CRPD (OPA_CRPD-PT solution)"); lb_set_priorities_opa_crpd_pt_simplified (english) := To_Unbounded_String ("Set priorities according to Audsley OPA with CRPD (OPA_CRPD-PT-Simplified solution)"); lb_set_priorities_opa_crpd_tree (english) := To_Unbounded_String ("Set priorities according to Audsley OPA with CRPD (OPA_CRPD-Tree solution)"); lb_set_priorities (english) := To_Unbounded_String ("Set priorities"); lb_scheduling_options (english) := To_Unbounded_String ("Scheduling options"); lb_schedule_according_to (english) := To_Unbounded_String ("Scheduling according to : "); lb_unit_of_times (english) := To_Unbounded_String (" unit of time "); lb_draw_from (english) := To_Unbounded_String ("Draw from"); lb_draw_to (english) := To_Unbounded_String ("Draw upto"); lb_schedule_to (english) := To_Unbounded_String ("Schedule from 0 to"); lb_schedule_time_line_too_large (english) := To_Unbounded_String (" Cannot compute a so large time line "); lb_draw_time_line_too_large (english) := To_Unbounded_String (" Cannot draw more than Max_Time_Line_Size_To_Display unit of times "); lb_periodic_situation (english) := To_Unbounded_String (" in periodic case"); lb_scheduling (english) := To_Unbounded_String ("Scheduling"); lb_free_unit_time (english) := To_Unbounded_String (" units of time are unused in the feasibility interval."); lb_utilization_with_period (english) := To_Unbounded_String ("Processor utilization factor with period is "); lb_utilization_with_deadline (english) := To_Unbounded_String ("Processor utilization factor with deadline is "); lb_core_utilization (english) := To_Unbounded_String ("Utilization factor for each core unit "); lb_core_utilization_with_period (english) := To_Unbounded_String ("Utilization factor with period for core "); lb_core_utilization_with_deadline (english) := To_Unbounded_String ("Utilization factor with deadline for core "); lb_utilization_bound1 (english) := To_Unbounded_String ("In the preemptive case, "); lb_utilization_bound11 (english) := To_Unbounded_String ("In the non preemptive case, "); lb_sched_explanation1 (english) := To_Unbounded_String ("the task set is schedulable because the processor utilization factor "); lb_sched_explanation12 (english) := To_Unbounded_String (" is equal or less than "); lb_sched_explanation2 (english) := To_Unbounded_String ("the task set is not schedulable because the processor utilization factor "); lb_sched_explanation3 (english) := To_Unbounded_String ("we cannot prove that the task set is schedulable because the processor utilization factor "); lb_sched_explanation22 (english) := To_Unbounded_String (" is more than "); lb_sched_explanation5 (english) := To_Unbounded_String ("the task set is schedulable because for each task "); lb_sched_explanation52 (english) := To_Unbounded_String ("the utilization factor is equal or less than the bound "); lb_sched_explanation6 (english) := To_Unbounded_String ("the task set is not schedulable because "); lb_sched_explanation62 (english) := To_Unbounded_String ("one or many tasks doesn't/don't satisfy the processor utilization factor feasibility test"); lb_sched_explanation7 (english) := To_Unbounded_String (" List of tasks not schedulable : "); lb_sched_explanation8 (english) := To_Unbounded_String ("we cannot prove that tasks are schedulable because "); lb_sched_explanation81 (english) := To_Unbounded_String ("one or many tasks doesn't/don't satisfy the processor utilization factor feasibility test"); lb_sched_explanation82 (english) := To_Unbounded_String (" List of concerned tasks : "); lb_no_deadline_missed_in_the_computed_scheduling (english) := To_Unbounded_String ("No deadline missed in the computed scheduling : the task set is schedulable if you computed the scheduling on the feasibility interval."); lb_cannot_say_if_deadline_will_be_missed_in_the_computed_scheduling (english) := To_Unbounded_String ("One or several tasks did not complete their execution."); lb_cannot_compute_wcrt_with_discard_missed_deadline (english) := To_Unbounded_String ("Cannot compute response time with discard missed deadlines option."); lb_no_deadline_will_be_missed_task_are_schedulable (english) := To_Unbounded_String ("All task deadlines will be met : the task set is schedulable."); lb_deadline_will_be_missed_task_are_not_schedulable (english) := To_Unbounded_String ("Some task deadlines will be missed : the task set is not schedulable."); lb_worst_case_task_response_time (english) := To_Unbounded_String ("Worst case task response time"); lb_task_response_time (english) := To_Unbounded_String ("Task response time"); lb_task_response_time_from_simulation (english) := To_Unbounded_String ("Task response time computed from simulation"); lb_scheduling_period (english) := To_Unbounded_String ("The feasibility interval is"); lb_number_of_preemption (english) := To_Unbounded_String ("Number of preemptions"); lb_number_of_overflow (english) := To_Unbounded_String ("Number of overflows"); lb_number_of_underflow (english) := To_Unbounded_String ("Number of underflows"); lb_number_of_context_switch (english) := To_Unbounded_String ("Number of context switches"); lb_priorities (english) := To_Unbounded_String ("Updated priorities :"); lb_partition_general_task (english) := To_Unbounded_String ("With General Task"); lb_partition_best_fit (english) := To_Unbounded_String ("With Best Fit"); lb_partition_next_fit (english) := To_Unbounded_String ("With Next Fit"); lb_partition_first_fit (english) := To_Unbounded_String ("With First Fit"); lb_partition_small_task (english) := To_Unbounded_String ("With Small Task"); lb_partition (english) := To_Unbounded_String ("Partition "); lb_partitioning_result (english) := To_Unbounded_String ("Task assignement after partitioning "); lb_partition_error1 (english) := To_Unbounded_String ("Cannot do partitioning : all processors must have the same scheduler."); lb_partition_error2 (english) := To_Unbounded_String ("Cannot do partitioning : you must define more processors."); lb_partition_error3 (english) := To_Unbounded_String ("Cannot do partitioning : invalid scheduler."); lb_partition_error4 (english) := To_Unbounded_String ("Cannot do partitioning : tasks must be periodic."); lb_compute_scheduling_error_1 (english) := To_Unbounded_String ("Task model error : cannot apply the selected scheduler with this task set."); lb_compute_scheduling_error_2 (english) := To_Unbounded_String ("Tasks must be periodic : cannot compute feasibility interval with this task set. "); lb_compute_scheduling_error_3 (english) := To_Unbounded_String ("Task model error : cannot compute feasibility interval with this task set. "); lb_compute_scheduling_error_4 (english) := To_Unbounded_String ("Tasks must have period equal to deadline : cannot compute worst case response time with this task set. "); lb_compute_scheduling_error_5 (english) := To_Unbounded_String ("Tasks must be periodic : cannot compute worst case response time with this task set."); lb_compute_scheduling_error_6 (english) := To_Unbounded_String ("Task model error : cannot compute worst case response time with this task set."); lb_compute_scheduling_error_7 (english) := To_Unbounded_String ("Processor utilization exceeded : cannot compute worst case response time with this task set. "); lb_compute_scheduling_error_8 (english) := To_Unbounded_String ("Internal Error : cannot compute worst case response time with this task set."); lb_compute_scheduling_error_9 (english) := To_Unbounded_String ("Tasks must be periodic : cannot compute bound on processor utilization factor with period on this task set. "); lb_compute_scheduling_error_10 (english) := To_Unbounded_String ("Task model error : cannot compute processor utilization factor with period. "); lb_compute_scheduling_error_11 (english) := To_Unbounded_String ("Several tasks have same priority level : cannot apply the selected scheduler with this task set."); lb_compute_scheduling_error_12 (english) := To_Unbounded_String ("Task with non zero start time : cannot compute worst case response time with this task set."); lb_compute_scheduling_error_13 (english) := To_Unbounded_String ("Task with non zero offset : cannot compute worst case response time with this task set."); lb_compute_scheduling_error_14 (english) := To_Unbounded_String ("Task must have period equal to deadline : cannot apply the selected scheduler with this task set. "); lb_compute_scheduling_error_15 (english) := To_Unbounded_String ("Task must be periodic : cannot apply the selected scheduler with this task set. "); lb_compute_scheduling_error_18 (english) := To_Unbounded_String ("Invalid scheduler : cannot compute worst case response time with this scheduler. "); lb_compute_scheduling_error_19 (english) := To_Unbounded_String ("Invalid scheduler : cannot compute bound on processor utilization factor. "); lb_compute_scheduling_error_21 (english) := To_Unbounded_String ("Tasks must have deadline > 0 : cannot compute processor utilization factor with deadline on this task set. "); lb_compute_scheduling_error_22 (english) := To_Unbounded_String ("Cannot compute a so large scheduling simulation."); lb_compute_scheduling_error_23 (english) := To_Unbounded_String ("Task with non zero start time : cannot compute processor utilization factor with this task set."); lb_compute_scheduling_error_24 (english) := To_Unbounded_String ("Task with non zero offset : cannot compute processor utilization factor test with this task set."); lb_compute_scheduling_error_25 (english) := To_Unbounded_String ("Task groups are not transaction : cannot compute worst case response time with this task set."); lb_compute_scheduling_error_26 (english) := To_Unbounded_String ("Task groups transactions have no task : cannot compute worst case response time with this task set."); -- SR 11/2018 lb_compute_scheduling_error_27 (english) := To_Unbounded_String ("Tasks must be periodic or sporadic: cannot compute the demand bound fonction with this task set. "); lb_check_deadline (english) := To_Unbounded_String (" missed its deadline (deadline = "); lb_check_absolute_deadline (english) := To_Unbounded_String (" missed its deadline (absolute deadline = "); lb_periodic (english) := To_Unbounded_String ("Periodic task "); lb_frame (english) := To_Unbounded_String ("Frame "); lb_aperiodic (english) := To_Unbounded_String ("Aperiodic task "); lb_poisson_process_task (english) := To_Unbounded_String ("Poisson process task "); lb_sporadic_task (english) := To_Unbounded_String ("Sporadic task "); lb_parametric_task (english) := To_Unbounded_String ("User-defined task "); lb_completion_time (english) := To_Unbounded_String (" ; completion time = "); lb_task_is_not_over_response_time_is_not_computed (english) := To_Unbounded_String (" response time not computed since the task did not run all its capacity"); lb_computation_time_exceeded (english) := To_Unbounded_String ("Computation exceeded exception : unable to perform analysis with this task set."); lb_processor_has_number_of_cores (english) := To_Unbounded_String ("Number of cores hosted by this processor : "); -- -- Buffer logic -- lb_schedule_before (english) := To_Unbounded_String ("Compute a scheduling before"); lb_buffer_utilization (english) := To_Unbounded_String ("Buffer utilization factor : "); lb_compute_buffer_error_1 (english) := To_Unbounded_String ("Data flow constraint not respected : cannot compute buffer bound with this task set. "); lb_compute_buffer_error_2 (english) := To_Unbounded_String ("Tasks must be periodic : cannot compute buffer bound with this task set. "); lb_harmonic (english) := To_Unbounded_String ("Harmonic"); lb_compute_buffer_error_3 (english) := To_Unbounded_String ("Task model error : cannot compute bound with several consumers. "); lb_compute_buffer_error_4 (english) := To_Unbounded_String ("Queueing system error : cannot compute performance criterion with such queueing system. "); lb_maximum_buffer_size (english) := To_Unbounded_String ("Maximum number of messages in the buffer : "); lb_average_buffer_size (english) := To_Unbounded_String ("Average number of messages in the buffer : "); lb_maximum_waiting_time (english) := To_Unbounded_String ("Maximum message waiting time : "); lb_average_waiting_time (english) := To_Unbounded_String ("Average message waiting time : "); -- -- Dependencies logic -- lb_chetto (english) := To_Unbounded_String ("Applying Chetto/Blazewicz rules"); lb_chetto_deadline (english) := To_Unbounded_String ("Chetto/Blazewicz modifications on deadlines"); lb_chetto_priority (english) := To_Unbounded_String ("Chetto/Blazewicz modifications on priorities"); lb_jitter_from_response_time (english) := To_Unbounded_String ("End to end worst case response time"); lb_jitter_from_response_time_one_step (english) := To_Unbounded_String ("Compute one step"); lb_jitter_from_response_time_all_steps (english) := To_Unbounded_String ("Compute all steps"); lb_deadlines_are_updated (english) := To_Unbounded_String ("Deadlines are updated."); lb_priorities_are_updated (english) := To_Unbounded_String ("Priorities are updated."); lb_jitters_are_updated (english) := To_Unbounded_String ("Jitters are updated."); lb_precedencies_period_error (english) := To_Unbounded_String ("Cannot schedule with precedencies : task precedencies required that tasks have harmonic period."); lb_holistique_error1 (english) := To_Unbounded_String ("Tasks must have the same period when related with precedencies : cannot apply holistique end to end worst case response time on this task set."); lb_holistique_error2 (english) := To_Unbounded_String ("Tasks must have the same type when related with precedencies : cannot apply holistique end to end worst case response time on this task set."); lb_chetto_error1 (english) := To_Unbounded_String ("Cannot apply Chetto/Blazewicz parameter modifications : the dependency graph has to be acyclic."); lb_chetto_error2 (english) := To_Unbounded_String ("Tasks must have the same period : cannot apply Chetto/Blazewicz method on this task set."); lb_chetto_error3 (english) := To_Unbounded_String ("Tasks model error : cannot apply Chetto/Blazewicz method on this task set as tasks of the graph have different types "); lb_chetto_error4 (english) := To_Unbounded_String ("Cannot apply Chetto/Blazewicz deadline modifications : deadlines of some tasks are too short. "); lb_select_precedence_sink_before (english) := To_Unbounded_String ("Select Precedence Sink Before "); lb_select_precedence_source_before (english) := To_Unbounded_String ("Select Precedence Source Before "); lb_select_buffer_dependency_task_before (english) := To_Unbounded_String ("Select Buffer Dependency Task Before "); lb_select_buffer_dependency_object_before (english) := To_Unbounded_String ("Select Buffer Dependency Object Before "); lb_select_buffer_orientation_before (english) := To_Unbounded_String ("Select Buffer Orientation Before "); lb_select_communication_orientation_before (english) := To_Unbounded_String ("Select Communication Orientation Before "); lb_select_communication_dependency_object_before (english) := To_Unbounded_String ("Select Communication Dependency Object Before "); lb_select_communication_dependency_task_before (english) := To_Unbounded_String ("Select Communication Dependency Task Before "); lb_select_time_triggered_communication_sink_before (english) := To_Unbounded_String ("Select time triggered communication sink Before "); lb_select_time_triggered_communication_source_before (english) := To_Unbounded_String ("Select time triggered communication source Before "); lb_select_timing_property_before (english) := To_Unbounded_String ("Select timing property Before "); lb_select_resource_dependency_resource_before (english) := To_Unbounded_String ("Select resource dependency resource Before "); lb_select_resource_dependency_task_before (english) := To_Unbounded_String ("Select resource dependency task Before "); lb_select_black_board_dependent_task_before (english) := To_Unbounded_String ("Select black board dependent task Before "); lb_select_black_board_dependency_object_before (english) := To_Unbounded_String ("Select black board dependency object Before "); lb_select_dependency_type_before (english) := To_Unbounded_String ("Select dependency type Before "); lb_select_black_board_orientation_before (english) := To_Unbounded_String ("Select black board orientation Before "); lb_add_precedence_dependency_before (english) := To_Unbounded_String ("Add Precedence Dependency Before "); lb_add_queuing_buffer_dependency_before (english) := To_Unbounded_String ("Add Queuing Buffer Dependency Before "); lb_add_communication_dependency_before (english) := To_Unbounded_String ("Add Communication Dependency Before "); lb_add_time_triggered_dependency_before (english) := To_Unbounded_String ("Add Time Triggered Dependency Before "); lb_add_resource_dependency_before (english) := To_Unbounded_String ("Add Resource Dependency Before "); lb_add_black_board_buffer_dependency_before (english) := To_Unbounded_String ("Add Black Board Buffer Dependency Before "); -- -- Random tools -- lb_random (english) := To_Unbounded_String ("Random"); lb_compute_response_time_density (english) := To_Unbounded_String ("Compute response time density"); lb_response_time_density (english) := To_Unbounded_String ("Response time density"); lb_response_time (english) := To_Unbounded_String ("response time"); -- -- CFG -- lb_cfg (english) := To_Unbounded_String ("CFG"); lb_cfg_id (english) := To_Unbounded_String ("CFG Id"); lb_cfg_name (english) := To_Unbounded_String ("CFG Name"); lb_can_not_define_more_cfg (english) := To_Unbounded_String ("Cannot defind more CFG"); -- -- CFG_Node -- lb_cfg_node (english) := To_Unbounded_String ("CFG Node"); lb_cfg_node_id (english) := To_Unbounded_String ("Basic Block Id"); lb_cfg_node_name (english) := To_Unbounded_String ("CFG Node Name"); lb_previous_nodes (english) := To_Unbounded_String ("Previous CFG Nodes"); lb_next_nodes (english) := To_Unbounded_String ("Next CFG Nodes"); lb_instruction_offset (english) := To_Unbounded_String ("Instruction Offset"); lb_instruction_capacity (english) := To_Unbounded_String ("Instruction Capacity"); lb_data_offset (english) := To_Unbounded_String ("Data Offset"); lb_data_capacity (english) := To_Unbounded_String ("Data Capacity"); lb_cfg_node_type (english) := To_Unbounded_String ("CFG Node Type"); lb_can_not_define_more_cfg_node (english) := To_Unbounded_String ("Cannot define more cfg nodes"); -- -- CFG_Edge -- lb_cfg_edge_id (english) := To_Unbounded_String ("CFG Edge Id"); lb_cfg_edge (english) := To_Unbounded_String ("CFG Edge"); lb_cfg_edge_name (english) := To_Unbounded_String ("CFG Edge Name"); lb_can_not_define_more_cfg_edge (english) := To_Unbounded_String ("Cannot define more cfg edges"); -- -- OPA, OPA_CRPD Requirement -- lb_offset_must_be_defined_for_opa (english) := To_Unbounded_String ("Task offsets must be defined before performing Audsley's OPA"); lb_cache_access_profile_must_be_defined_for_opa (english) := To_Unbounded_String ("Cache Access Profiles of all tasks must be defined/computed before performing Audsley's OPA with CRPD"); -- -- WCRT+CRPD -- lb_wcrt_crpd_preemptive_only (english) := To_Unbounded_String ("- WCRT analysis + CRPD only applied to preemptive scheduler"); -- -- Design pattern analysis -- lb_select_simple (english) := To_Unbounded_String ("Design pattern analysis"); lb_select_compositional (english) := To_Unbounded_String ("Design pattern analysis"); -- -- Network logic -- lb_spacewire_analysis (english) := To_Unbounded_String ("SpaceWire analysis"); lb_noc_analysis (english) := To_Unbounded_String ("NoC analysis"); -- -- MILS -- lb_mils_analysis (english) := To_Unbounded_String ("MILS analysis"); -- -- Xml strings -- Lb_Xml_Base_Period (english) := To_Unbounded_String ("base period"); Lb_Xml_Processor_Utilization_Factor (english) := To_Unbounded_String ("processor utilization factor"); Lb_Xml_Processor_Utilization_Factor_Deadline (english) := To_Unbounded_String ("processor utilization factor with deadline"); Lb_Xml_Processor_Utilization_Factor_Period (english) := To_Unbounded_String ("processor utilization factor with period"); Lb_Xml_Core_Utilization_Factor_Deadline (english) := To_Unbounded_String ("core utilization factor with deadline"); Lb_Xml_Core_Utilization_Factor_Period (english) := To_Unbounded_String ("core utilization factor with period"); Lb_Xml_Response_Time (english) := To_Unbounded_String ("response time"); Lb_Xml_Worst_Case_Response_Time (english) := To_Unbounded_String ("worst case task response time"); Lb_Xml_Unknown_Sched (english) := To_Unbounded_String ("unknown scheduler"); end initialize; end translate.english_labels;