1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154 | ------------------------------------------------------------------------------
------------------------------------------------------------------------------
-- 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: 3477 $
-- $Date: 2020-07-13 11:43:48 +0200 (Mon, 13 Jul 2020) $
-- $Author: singhoff $
------------------------------------------------------------------------------
------------------------------------------------------------------------------
with random_tools; use random_tools;
with Ada.Float_Text_IO;
with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
with unbounded_strings; use unbounded_strings;
with convert_unbounded_strings;
use unbounded_strings.unbounded_string_list_package;
use unbounded_strings.strings_table_package;
with Ada.Strings; use Ada.Strings;
with Ada.Text_IO.Unbounded_IO; use Ada.Text_IO.Unbounded_IO;
with architecture_factory; use architecture_factory;
with Ada.Text_IO; use Ada.Text_IO;
with Ada.Integer_Text_IO; use Ada.Integer_Text_IO;
with Ada.Float_Text_IO; use Ada.Float_Text_IO;
with task_set; use task_set;
with Tasks; use Tasks;
with systems; use systems;
with Processors; use Processors;
with processor_set; use processor_set;
with Processor_Interface; use Processor_Interface;
with Core_Units; use Core_Units;
use Core_Units.Core_Units_Table_Package;
with Scheduler_Interface; use Scheduler_Interface;
with Address_Spaces; use Address_Spaces;
with address_space_set; use address_space_set;
with call_framework; use call_framework;
with Call_Framework_Interface; use Call_Framework_Interface;
use Call_Framework_Interface.Framework_Response_Package;
use Call_Framework_Interface.Framework_Request_Package;
with call_scheduling_framework; use call_scheduling_framework;
with natural_util; use natural_util;
with feasibility_test.feasibility_interval;
use feasibility_test.feasibility_interval;
with pipe_commands; use pipe_commands;
with Ada.Text_IO; use Ada.Text_IO;
with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
with Ada.Text_IO.Unbounded_IO; use Ada.Text_IO.Unbounded_IO;
with unbounded_strings; use unbounded_strings;
with convert_unbounded_strings;
with Ada.Directories; use Ada.Directories;
with debug; use debug;
with integer_util; use integer_util;
with Resources; use Resources;
use Resources.Resource_Accesses;
with float_util; use float_util;
with Dependencies; use Dependencies;
with task_dependencies; use task_dependencies;
with task_dependencies; use task_dependencies.half_dep_set;
with MILS_Security; use MILS_Security;
with result_parser; use result_parser;
with mils_analysis; use mils_analysis;
package body Paes.objective_functions is
procedure initialize_fitnessfunctions is
begin
-- Initialize the list of all possible fitness functions
--
for i in 1 .. max_fitness loop
fitnessfunctions (i).is_selected := 0;
end loop;
fitnessfunctions (1).name :=
To_Unbounded_String ("f1 = preemptions"); -- To Min
fitnessfunctions (2).name :=
To_Unbounded_String ("f2 = contextSwitches"); -- To Min
fitnessfunctions (3).name :=
To_Unbounded_String ("f3 = tasks"); -- To Min
fitnessfunctions (4).name :=
To_Unbounded_String ("f4 = sum(Li) = sum(Di-Ri)");-- To Max --
fitnessfunctions (5).name :=
To_Unbounded_String ("f5 = sum(Ri/Di)"); -- To Min
fitnessfunctions (6).name :=
To_Unbounded_String ("f6 = min(Li)"); -- To Max --
fitnessfunctions (7).name :=
To_Unbounded_String ("f7 = sum(Ri)"); -- To Min
fitnessfunctions (8).name :=
To_Unbounded_String ("f8 = max(Ri)"); -- To Min
fitnessfunctions (9).name :=
To_Unbounded_String ("f9 = sum(Bi)"); -- To Min
fitnessfunctions (10).name :=
To_Unbounded_String ("f10 = max(Bi)"); -- To Min
fitnessfunctions (11).name :=
To_Unbounded_String ("f11 = sharedResources"); -- To Min
fitnessfunctions (12).name :=
To_Unbounded_String ("f12 = missedDeadlines"); -- To Min
fitnessfunctions (13).name :=
To_Unbounded_String ("f13 = bellViolations"); -- To Min
fitnessfunctions (14).name :=
To_Unbounded_String ("f14 = bibaViolations"); -- To Min
fitnessfunctions (15).name :=
To_Unbounded_String ("f15 = energy"); -- To Min
fitnessfunctions (16).name :=
To_Unbounded_String ("f16 = nb_cores"); -- To Min
end initialize_fitnessfunctions;
end Paes.objective_functions;
|