private void InitializeComponent()
{
System.Windows.Forms.DataGridViewCellStyle dataGridViewCellStyle10 = new System.Windows.Forms.DataGridViewCellStyle();
System.Windows.Forms.DataGridViewCellStyle dataGridViewCellStyle11 = new System.Windows.Forms.DataGridViewCellStyle();
System.Windows.Forms.DataGridViewCellStyle dataGridViewCellStyle12 = new System.Windows.Forms.DataGridViewCellStyle();
System.Windows.Forms.DataGridViewCellStyle dataGridViewCellStyle13 = new System.Windows.Forms.DataGridViewCellStyle();
System.Windows.Forms.DataGridViewCellStyle dataGridViewCellStyle14 = new System.Windows.Forms.DataGridViewCellStyle();
System.Windows.Forms.DataGridViewCellStyle dataGridViewCellStyle15 = new System.Windows.Forms.DataGridViewCellStyle();
System.Windows.Forms.DataGridViewCellStyle dataGridViewCellStyle16 = new System.Windows.Forms.DataGridViewCellStyle();
System.Windows.Forms.DataGridViewCellStyle dataGridViewCellStyle17 = new System.Windows.Forms.DataGridViewCellStyle();
System.Windows.Forms.DataGridViewCellStyle dataGridViewCellStyle18 = new System.Windows.Forms.DataGridViewCellStyle();
this.dataGridView1 = new System.Windows.Forms.DataGridView();
this.Period = new System.Windows.Forms.DataGridViewTextBoxColumn();
this.ExecutionTime = new System.Windows.Forms.DataGridViewTextBoxColumn();
this.Priority = new System.Windows.Forms.DataGridViewTextBoxColumn();
this.textBoxLcmEms = new System.Windows.Forms.TextBox();
this.label4 = new System.Windows.Forms.Label();
this.textBoxIncrementUnit = new System.Windows.Forms.TextBox();
this.buttonPlotEDF = new System.Windows.Forms.Button();
this.buttonPlotRM = new System.Windows.Forms.Button();
this.groupBoxWorkloads = new System.Windows.Forms.GroupBox();
this.groupBox5 = new System.Windows.Forms.GroupBox();
this.label2 = new System.Windows.Forms.Label();
this.textBoxUwEms = new System.Windows.Forms.TextBox();
this.textBoxPminEms = new System.Windows.Forms.TextBox();
this.label6 = new System.Windows.Forms.Label();
this.label3 = new System.Windows.Forms.Label();
this.dataGridView2 = new System.Windows.Forms.DataGridView();
this.dataGridViewTextBoxColumn1 = new System.Windows.Forms.DataGridViewTextBoxColumn();
this.dataGridViewTextBoxColumn2 = new System.Windows.Forms.DataGridViewTextBoxColumn();
this.dataGridViewTextBoxColumn3 = new System.Windows.Forms.DataGridViewTextBoxColumn();
this.groupBox1 = new System.Windows.Forms.GroupBox();
this.textBoxTheta = new System.Windows.Forms.TextBox();
this.textBoxPi = new System.Windows.Forms.TextBox();
this.label5 = new System.Windows.Forms.Label();
this.label1 = new System.Windows.Forms.Label();
this.buttonSolutionSpaceEDF = new System.Windows.Forms.Button();
this.groupBox3 = new System.Windows.Forms.GroupBox();
this.buttonABunderEDF = new System.Windows.Forms.Button();
this.buttonABunderRM = new System.Windows.Forms.Button();
this.buttonSolutionSpaceRM = new System.Windows.Forms.Button();
this.buttonEMS_TMS = new System.Windows.Forms.Button();
this.buttonCS_overhead = new System.Windows.Forms.Button();
this.textBoxContextSwitchOverhead = new System.Windows.Forms.TextBox();
this.groupBoxTogether = new System.Windows.Forms.GroupBox();
this.checkBoxShowEmsTms = new System.Windows.Forms.CheckBox();
this.label7 = new System.Windows.Forms.Label();
this.groupBoxTMS = new System.Windows.Forms.GroupBox();
this.groupBox2 = new System.Windows.Forms.GroupBox();
this.label10 = new System.Windows.Forms.Label();
this.textBoxUwTms = new System.Windows.Forms.TextBox();
this.textBoxPminTms = new System.Windows.Forms.TextBox();
this.label11 = new System.Windows.Forms.Label();
this.label12 = new System.Windows.Forms.Label();
this.textBoxLcmTms = new System.Windows.Forms.TextBox();
this.comboBoxScheduler = new System.Windows.Forms.ComboBox();
this.label8 = new System.Windows.Forms.Label();
this.buttonPlotSolutionSpace = new System.Windows.Forms.Button();
this.comboBoxApproach = new System.Windows.Forms.ComboBox();
this.label9 = new System.Windows.Forms.Label();
this.groupBoxPlotSolutionSpace = new System.Windows.Forms.GroupBox();
this.groupBox6 = new System.Windows.Forms.GroupBox();
this.tabControl1 = new System.Windows.Forms.TabControl();
this.tabPage1 = new System.Windows.Forms.TabPage();
this.groupBox4 = new System.Windows.Forms.GroupBox();
this.label13 = new System.Windows.Forms.Label();
this.comboBoxTaskSet = new System.Windows.Forms.ComboBox();
this.tabPage2 = new System.Windows.Forms.TabPage();
this.buttonCheck = new System.Windows.Forms.Button();
this.panelLine = new System.Windows.Forms.Panel();
this.panelTMS = new System.Windows.Forms.Panel();
this.textBoxTmsTheta = new System.Windows.Forms.TextBox();
this.textBoxTmsPi = new System.Windows.Forms.TextBox();
this.pictureBoxTMS = new System.Windows.Forms.PictureBox();
this.panelEMS = new System.Windows.Forms.Panel();
this.dataGridViewSync = new System.Windows.Forms.DataGridView();
this.textBoxEmsPi = new System.Windows.Forms.TextBox();
this.textBoxEmsTheta = new System.Windows.Forms.TextBox();
this.pictureBoxEMS = new System.Windows.Forms.PictureBox();
this.dataGridViewTextBoxColumn4 = new System.Windows.Forms.DataGridViewTextBoxColumn();
this.dataGridViewTextBoxColumn5 = new System.Windows.Forms.DataGridViewTextBoxColumn();
this.Phase = new System.Windows.Forms.DataGridViewTextBoxColumn();
((System.ComponentModel.ISupportInitialize)(this.dataGridView1)).BeginInit();
this.groupBoxWorkloads.SuspendLayout();
this.groupBox5.SuspendLayout();
((System.ComponentModel.ISupportInitialize)(this.dataGridView2)).BeginInit();
this.groupBox1.SuspendLayout();
this.groupBox3.SuspendLayout();
this.groupBoxTogether.SuspendLayout();
this.groupBoxTMS.SuspendLayout();
this.groupBox2.SuspendLayout();
this.groupBoxPlotSolutionSpace.SuspendLayout();
this.groupBox6.SuspendLayout();
this.tabControl1.SuspendLayout();
this.tabPage1.SuspendLayout();
this.groupBox4.SuspendLayout();
this.tabPage2.SuspendLayout();
this.panelTMS.SuspendLayout();
((System.ComponentModel.ISupportInitialize)(this.pictureBoxTMS)).BeginInit();
this.panelEMS.SuspendLayout();
((System.ComponentModel.ISupportInitialize)(this.dataGridViewSync)).BeginInit();
((System.ComponentModel.ISupportInitialize)(this.pictureBoxEMS)).BeginInit();
this.SuspendLayout();
//
// dataGridView1
//
this.dataGridView1.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
| System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
dataGridViewCellStyle10.Alignment = System.Windows.Forms.DataGridViewContentAlignment.MiddleLeft;
dataGridViewCellStyle10.BackColor = System.Drawing.SystemColors.Control;
dataGridViewCellStyle10.Font = new System.Drawing.Font("굴림", 9F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(129)));
dataGridViewCellStyle10.ForeColor = System.Drawing.SystemColors.WindowText;
dataGridViewCellStyle10.SelectionBackColor = System.Drawing.SystemColors.Highlight;
dataGridViewCellStyle10.SelectionForeColor = System.Drawing.SystemColors.HighlightText;
dataGridViewCellStyle10.WrapMode = System.Windows.Forms.DataGridViewTriState.True;
this.dataGridView1.ColumnHeadersDefaultCellStyle = dataGridViewCellStyle10;
this.dataGridView1.ColumnHeadersHeightSizeMode = System.Windows.Forms.DataGridViewColumnHeadersHeightSizeMode.AutoSize;
this.dataGridView1.Columns.AddRange(new System.Windows.Forms.DataGridViewColumn[] {
this.Period,
this.ExecutionTime,
this.Priority});
dataGridViewCellStyle11.Alignment = System.Windows.Forms.DataGridViewContentAlignment.MiddleLeft;
dataGridViewCellStyle11.BackColor = System.Drawing.SystemColors.Window;
dataGridViewCellStyle11.Font = new System.Drawing.Font("굴림", 9F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(129)));
dataGridViewCellStyle11.ForeColor = System.Drawing.SystemColors.ControlText;
dataGridViewCellStyle11.SelectionBackColor = System.Drawing.SystemColors.Highlight;
dataGridViewCellStyle11.SelectionForeColor = System.Drawing.SystemColors.HighlightText;
dataGridViewCellStyle11.WrapMode = System.Windows.Forms.DataGridViewTriState.False;
this.dataGridView1.DefaultCellStyle = dataGridViewCellStyle11;
this.dataGridView1.Location = new System.Drawing.Point(3, 17);
this.dataGridView1.Name = "dataGridView1";
dataGridViewCellStyle12.Alignment = System.Windows.Forms.DataGridViewContentAlignment.MiddleLeft;
dataGridViewCellStyle12.BackColor = System.Drawing.SystemColors.Control;
dataGridViewCellStyle12.Font = new System.Drawing.Font("굴림", 9F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(129)));
dataGridViewCellStyle12.ForeColor = System.Drawing.SystemColors.WindowText;
dataGridViewCellStyle12.SelectionBackColor = System.Drawing.SystemColors.Highlight;
dataGridViewCellStyle12.SelectionForeColor = System.Drawing.SystemColors.HighlightText;
dataGridViewCellStyle12.WrapMode = System.Windows.Forms.DataGridViewTriState.True;
this.dataGridView1.RowHeadersDefaultCellStyle = dataGridViewCellStyle12;
this.dataGridView1.RowTemplate.Height = 23;
this.dataGridView1.Size = new System.Drawing.Size(271, 441);
this.dataGridView1.TabIndex = 0;
this.dataGridView1.CellEndEdit += new System.Windows.Forms.DataGridViewCellEventHandler(this.dataGridView1_CellEndEdit);
this.dataGridView1.CellValueChanged += new System.Windows.Forms.DataGridViewCellEventHandler(this.dataGridView1_CellValueChanged);
//
// Period
//
this.Period.DataPropertyName = "Period";
this.Period.FillWeight = 85F;
this.Period.HeaderText = "Period";
this.Period.Name = "Period";
this.Period.Width = 85;
//
// ExecutionTime
//
this.ExecutionTime.DataPropertyName = "ExecutionTime";
this.ExecutionTime.FillWeight = 80F;
this.ExecutionTime.HeaderText = "Execution Time";
this.ExecutionTime.Name = "ExecutionTime";
this.ExecutionTime.Width = 80;
//
// Priority
//
this.Priority.DataPropertyName = "Priority";
this.Priority.FillWeight = 60F;
this.Priority.HeaderText = "Priority";
this.Priority.Name = "Priority";
this.Priority.Width = 60;
//
// textBoxLcmEms
//
this.textBoxLcmEms.Location = new System.Drawing.Point(130, 44);
this.textBoxLcmEms.Name = "textBoxLcmEms";
this.textBoxLcmEms.ReadOnly = true;
this.textBoxLcmEms.Size = new System.Drawing.Size(121, 21);
this.textBoxLcmEms.TabIndex = 4;
this.textBoxLcmEms.TextChanged += new System.EventHandler(this.textBoxLCM_TextChanged);
//
// label4
//
this.label4.AutoSize = true;
this.label4.Location = new System.Drawing.Point(295, 568);
this.label4.Name = "label4";
this.label4.Size = new System.Drawing.Size(92, 12);
this.label4.TabIndex = 3;
this.label4.Text = "Tick granularity";
//
// textBoxIncrementUnit
//
this.textBoxIncrementUnit.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.textBoxIncrementUnit.Location = new System.Drawing.Point(427, 564);
this.textBoxIncrementUnit.Name = "textBoxIncrementUnit";
this.textBoxIncrementUnit.Size = new System.Drawing.Size(141, 21);
this.textBoxIncrementUnit.TabIndex = 4;
this.textBoxIncrementUnit.TextChanged += new System.EventHandler(this.textBoxIncrementUnit_TextChanged);
//
// buttonPlotEDF
//
this.buttonPlotEDF.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.buttonPlotEDF.Location = new System.Drawing.Point(6, 80);
this.buttonPlotEDF.Name = "buttonPlotEDF";
this.buttonPlotEDF.Size = new System.Drawing.Size(258, 25);
this.buttonPlotEDF.TabIndex = 4;
this.buttonPlotEDF.Text = "Plot supply and demand under EDF";
this.buttonPlotEDF.UseVisualStyleBackColor = true;
this.buttonPlotEDF.Click += new System.EventHandler(this.buttonPlotEDF_Click);
//
// buttonPlotRM
//
this.buttonPlotRM.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.buttonPlotRM.Location = new System.Drawing.Point(6, 111);
this.buttonPlotRM.Name = "buttonPlotRM";
this.buttonPlotRM.Size = new System.Drawing.Size(258, 25);
this.buttonPlotRM.TabIndex = 5;
this.buttonPlotRM.Text = "Exact analysis under RM";
this.buttonPlotRM.UseVisualStyleBackColor = true;
this.buttonPlotRM.Click += new System.EventHandler(this.buttonRM_Click);
//
// groupBoxWorkloads
//
this.groupBoxWorkloads.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
| System.Windows.Forms.AnchorStyles.Left)));
this.groupBoxWorkloads.Controls.Add(this.dataGridView1);
this.groupBoxWorkloads.Controls.Add(this.groupBox5);
this.groupBoxWorkloads.Location = new System.Drawing.Point(6, 6);
this.groupBoxWorkloads.Name = "groupBoxWorkloads";
this.groupBoxWorkloads.Size = new System.Drawing.Size(277, 580);
this.groupBoxWorkloads.TabIndex = 0;
this.groupBoxWorkloads.TabStop = false;
this.groupBoxWorkloads.Text = "EMS Periodic Tasks";
//
// groupBox5
//
this.groupBox5.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.groupBox5.Controls.Add(this.label2);
this.groupBox5.Controls.Add(this.textBoxUwEms);
this.groupBox5.Controls.Add(this.textBoxPminEms);
this.groupBox5.Controls.Add(this.label6);
this.groupBox5.Controls.Add(this.label3);
this.groupBox5.Controls.Add(this.textBoxLcmEms);
this.groupBox5.Location = new System.Drawing.Point(6, 472);
this.groupBox5.Name = "groupBox5";
this.groupBox5.Size = new System.Drawing.Size(265, 102);
this.groupBox5.TabIndex = 1;
this.groupBox5.TabStop = false;
this.groupBox5.Text = "EMS workload information";
//
// label2
//
this.label2.AutoSize = true;
this.label2.Location = new System.Drawing.Point(12, 76);
this.label2.Name = "label2";
this.label2.Size = new System.Drawing.Size(81, 12);
this.label2.TabIndex = 2;
this.label2.Text = "Utilization Uw";
//
// textBoxUwEms
//
this.textBoxUwEms.Location = new System.Drawing.Point(130, 71);
this.textBoxUwEms.Name = "textBoxUwEms";
this.textBoxUwEms.ReadOnly = true;
this.textBoxUwEms.Size = new System.Drawing.Size(121, 21);
this.textBoxUwEms.TabIndex = 5;
//
// textBoxPminEms
//
this.textBoxPminEms.Location = new System.Drawing.Point(130, 17);
this.textBoxPminEms.Name = "textBoxPminEms";
this.textBoxPminEms.ReadOnly = true;
this.textBoxPminEms.Size = new System.Drawing.Size(121, 21);
this.textBoxPminEms.TabIndex = 3;
//
// label6
//
this.label6.AutoSize = true;
this.label6.Location = new System.Drawing.Point(12, 49);
this.label6.Name = "label6";
this.label6.Size = new System.Drawing.Size(92, 12);
this.label6.TabIndex = 1;
this.label6.Text = "LCM of periods";
//
// label3
//
this.label3.AutoSize = true;
this.label3.Location = new System.Drawing.Point(12, 21);
this.label3.Name = "label3";
this.label3.Size = new System.Drawing.Size(97, 12);
this.label3.TabIndex = 0;
this.label3.Text = "Minimum period";
//
// dataGridView2
//
this.dataGridView2.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
| System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
dataGridViewCellStyle13.Alignment = System.Windows.Forms.DataGridViewContentAlignment.MiddleLeft;
dataGridViewCellStyle13.BackColor = System.Drawing.SystemColors.Control;
dataGridViewCellStyle13.Font = new System.Drawing.Font("굴림", 9F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(129)));
dataGridViewCellStyle13.ForeColor = System.Drawing.SystemColors.WindowText;
dataGridViewCellStyle13.SelectionBackColor = System.Drawing.SystemColors.Highlight;
dataGridViewCellStyle13.SelectionForeColor = System.Drawing.SystemColors.HighlightText;
dataGridViewCellStyle13.WrapMode = System.Windows.Forms.DataGridViewTriState.True;
this.dataGridView2.ColumnHeadersDefaultCellStyle = dataGridViewCellStyle13;
this.dataGridView2.ColumnHeadersHeightSizeMode = System.Windows.Forms.DataGridViewColumnHeadersHeightSizeMode.AutoSize;
this.dataGridView2.Columns.AddRange(new System.Windows.Forms.DataGridViewColumn[] {
this.dataGridViewTextBoxColumn1,
this.dataGridViewTextBoxColumn2,
this.dataGridViewTextBoxColumn3});
dataGridViewCellStyle14.Alignment = System.Windows.Forms.DataGridViewContentAlignment.MiddleLeft;
dataGridViewCellStyle14.BackColor = System.Drawing.SystemColors.Window;
dataGridViewCellStyle14.Font = new System.Drawing.Font("굴림", 9F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(129)));
dataGridViewCellStyle14.ForeColor = System.Drawing.SystemColors.ControlText;
dataGridViewCellStyle14.SelectionBackColor = System.Drawing.SystemColors.Highlight;
dataGridViewCellStyle14.SelectionForeColor = System.Drawing.SystemColors.HighlightText;
dataGridViewCellStyle14.WrapMode = System.Windows.Forms.DataGridViewTriState.False;
this.dataGridView2.DefaultCellStyle = dataGridViewCellStyle14;
this.dataGridView2.Location = new System.Drawing.Point(3, 17);
this.dataGridView2.Name = "dataGridView2";
dataGridViewCellStyle15.Alignment = System.Windows.Forms.DataGridViewContentAlignment.MiddleLeft;
dataGridViewCellStyle15.BackColor = System.Drawing.SystemColors.Control;
dataGridViewCellStyle15.Font = new System.Drawing.Font("굴림", 9F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(129)));
dataGridViewCellStyle15.ForeColor = System.Drawing.SystemColors.WindowText;
dataGridViewCellStyle15.SelectionBackColor = System.Drawing.SystemColors.Highlight;
dataGridViewCellStyle15.SelectionForeColor = System.Drawing.SystemColors.HighlightText;
dataGridViewCellStyle15.WrapMode = System.Windows.Forms.DataGridViewTriState.True;
this.dataGridView2.RowHeadersDefaultCellStyle = dataGridViewCellStyle15;
this.dataGridView2.RowTemplate.Height = 23;
this.dataGridView2.Size = new System.Drawing.Size(271, 441);
this.dataGridView2.TabIndex = 0;
this.dataGridView2.CellEndEdit += new System.Windows.Forms.DataGridViewCellEventHandler(this.dataGridView2_CellEndEdit);
this.dataGridView2.CellValueChanged += new System.Windows.Forms.DataGridViewCellEventHandler(this.dataGridView2_CellValueChanged);
//
// dataGridViewTextBoxColumn1
//
this.dataGridViewTextBoxColumn1.DataPropertyName = "Period";
this.dataGridViewTextBoxColumn1.FillWeight = 85F;
this.dataGridViewTextBoxColumn1.HeaderText = "Period";
this.dataGridViewTextBoxColumn1.Name = "dataGridViewTextBoxColumn1";
this.dataGridViewTextBoxColumn1.Width = 85;
//
// dataGridViewTextBoxColumn2
//
this.dataGridViewTextBoxColumn2.DataPropertyName = "ExecutionTime";
this.dataGridViewTextBoxColumn2.FillWeight = 80F;
this.dataGridViewTextBoxColumn2.HeaderText = "Execution Time";
this.dataGridViewTextBoxColumn2.Name = "dataGridViewTextBoxColumn2";
this.dataGridViewTextBoxColumn2.Width = 80;
//
// dataGridViewTextBoxColumn3
//
this.dataGridViewTextBoxColumn3.DataPropertyName = "Priority";
this.dataGridViewTextBoxColumn3.FillWeight = 60F;
this.dataGridViewTextBoxColumn3.HeaderText = "Priority";
this.dataGridViewTextBoxColumn3.Name = "dataGridViewTextBoxColumn3";
this.dataGridViewTextBoxColumn3.Width = 60;
//
// groupBox1
//
this.groupBox1.Controls.Add(this.buttonPlotEDF);
this.groupBox1.Controls.Add(this.buttonPlotRM);
this.groupBox1.Controls.Add(this.textBoxTheta);
this.groupBox1.Controls.Add(this.textBoxPi);
this.groupBox1.Controls.Add(this.label5);
this.groupBox1.Controls.Add(this.label1);
this.groupBox1.Location = new System.Drawing.Point(6, 65);
this.groupBox1.Name = "groupBox1";
this.groupBox1.Size = new System.Drawing.Size(270, 142);
this.groupBox1.TabIndex = 2;
this.groupBox1.TabStop = false;
this.groupBox1.Text = "Schedulability check";
//
// textBoxTheta
//
this.textBoxTheta.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.textBoxTheta.Location = new System.Drawing.Point(163, 22);
this.textBoxTheta.Name = "textBoxTheta";
this.textBoxTheta.Size = new System.Drawing.Size(101, 21);
this.textBoxTheta.TabIndex = 1;
this.textBoxTheta.TextChanged += new System.EventHandler(this.textBoxTheta_TextChanged);
//
// textBoxPi
//
this.textBoxPi.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.textBoxPi.Location = new System.Drawing.Point(163, 49);
this.textBoxPi.Name = "textBoxPi";
this.textBoxPi.Size = new System.Drawing.Size(101, 21);
this.textBoxPi.TabIndex = 3;
this.textBoxPi.TextChanged += new System.EventHandler(this.textBoxPi_TextChanged);
//
// label5
//
this.label5.AutoSize = true;
this.label5.Location = new System.Drawing.Point(12, 26);
this.label5.Name = "label5";
this.label5.Size = new System.Drawing.Size(126, 12);
this.label5.TabIndex = 0;
this.label5.Text = "Resource Budget (Θ)";
//
// label1
//
this.label1.AutoSize = true;
this.label1.Location = new System.Drawing.Point(12, 53);
this.label1.Name = "label1";
this.label1.Size = new System.Drawing.Size(121, 12);
this.label1.TabIndex = 2;
this.label1.Text = "Resource Period (Π)";
//
// buttonSolutionSpaceEDF
//
this.buttonSolutionSpaceEDF.Location = new System.Drawing.Point(14, 29);
this.buttonSolutionSpaceEDF.Name = "buttonSolutionSpaceEDF";
this.buttonSolutionSpaceEDF.Size = new System.Drawing.Size(263, 23);
this.buttonSolutionSpaceEDF.TabIndex = 1;
this.buttonSolutionSpaceEDF.Text = "Plot solution space under EDF";
this.buttonSolutionSpaceEDF.UseVisualStyleBackColor = true;
this.buttonSolutionSpaceEDF.Click += new System.EventHandler(this.buttonSolutionSpaceEDF_Click);
//
// groupBox3
//
this.groupBox3.Controls.Add(this.buttonABunderEDF);
this.groupBox3.Controls.Add(this.buttonABunderRM);
this.groupBox3.Location = new System.Drawing.Point(14, 110);
this.groupBox3.Name = "groupBox3";
this.groupBox3.Size = new System.Drawing.Size(277, 80);
this.groupBox3.TabIndex = 5;
this.groupBox3.TabStop = false;
this.groupBox3.Text = "Abstraction Bound";
//
// buttonABunderEDF
//
this.buttonABunderEDF.Location = new System.Drawing.Point(6, 20);
this.buttonABunderEDF.Name = "buttonABunderEDF";
this.buttonABunderEDF.Size = new System.Drawing.Size(262, 23);
this.buttonABunderEDF.TabIndex = 0;
this.buttonABunderEDF.Text = "Plot solution space using AB under EDF";
this.buttonABunderEDF.UseVisualStyleBackColor = true;
this.buttonABunderEDF.Click += new System.EventHandler(this.buttonABunderEDF_Click);
//
// buttonABunderRM
//
this.buttonABunderRM.Location = new System.Drawing.Point(6, 49);
this.buttonABunderRM.Name = "buttonABunderRM";
this.buttonABunderRM.Size = new System.Drawing.Size(263, 23);
this.buttonABunderRM.TabIndex = 1;
this.buttonABunderRM.Text = "Plot solution space using AB under RM";
this.buttonABunderRM.UseVisualStyleBackColor = true;
this.buttonABunderRM.Click += new System.EventHandler(this.buttonABunderRM_Click);
//
// buttonSolutionSpaceRM
//
this.buttonSolutionSpaceRM.Location = new System.Drawing.Point(14, 58);
this.buttonSolutionSpaceRM.Name = "buttonSolutionSpaceRM";
this.buttonSolutionSpaceRM.Size = new System.Drawing.Size(263, 23);
this.buttonSolutionSpaceRM.TabIndex = 2;
this.buttonSolutionSpaceRM.Text = "Plot solution space under RM";
this.buttonSolutionSpaceRM.UseVisualStyleBackColor = true;
this.buttonSolutionSpaceRM.Click += new System.EventHandler(this.buttonSolutionSpaceRM_Click);
//
// buttonEMS_TMS
//
this.buttonEMS_TMS.Location = new System.Drawing.Point(6, 20);
this.buttonEMS_TMS.Name = "buttonEMS_TMS";
this.buttonEMS_TMS.Size = new System.Drawing.Size(265, 35);
this.buttonEMS_TMS.TabIndex = 0;
this.buttonEMS_TMS.Text = "Plot sum of EMS and TMS under RM";
this.buttonEMS_TMS.UseVisualStyleBackColor = true;
this.buttonEMS_TMS.Click += new System.EventHandler(this.buttonEMS_TMS_Click);
//
// buttonCS_overhead
//
this.buttonCS_overhead.Location = new System.Drawing.Point(14, 206);
this.buttonCS_overhead.Name = "buttonCS_overhead";
this.buttonCS_overhead.Size = new System.Drawing.Size(263, 23);
this.buttonCS_overhead.TabIndex = 2;
this.buttonCS_overhead.Text = "Plot Including Context switch time";
this.buttonCS_overhead.UseVisualStyleBackColor = true;
//
// textBoxContextSwitchOverhead
//
this.textBoxContextSwitchOverhead.Location = new System.Drawing.Point(427, 536);
this.textBoxContextSwitchOverhead.Name = "textBoxContextSwitchOverhead";
this.textBoxContextSwitchOverhead.Size = new System.Drawing.Size(141, 21);
this.textBoxContextSwitchOverhead.TabIndex = 4;
this.textBoxContextSwitchOverhead.TextChanged += new System.EventHandler(this.textBoxContextSwitchOverhead_TextChanged);
//
// groupBoxTogether
//
this.groupBoxTogether.BackColor = System.Drawing.Color.Transparent;
this.groupBoxTogether.Controls.Add(this.checkBoxShowEmsTms);
this.groupBoxTogether.Controls.Add(this.buttonEMS_TMS);
this.groupBoxTogether.Location = new System.Drawing.Point(289, 420);
this.groupBoxTogether.Name = "groupBoxTogether";
this.groupBoxTogether.Size = new System.Drawing.Size(279, 88);
this.groupBoxTogether.TabIndex = 2;
this.groupBoxTogether.TabStop = false;
this.groupBoxTogether.Text = "EMS and TMS together";
//
// checkBoxShowEmsTms
//
this.checkBoxShowEmsTms.AutoSize = true;
this.checkBoxShowEmsTms.Checked = true;
this.checkBoxShowEmsTms.CheckState = System.Windows.Forms.CheckState.Checked;
this.checkBoxShowEmsTms.Location = new System.Drawing.Point(8, 63);
this.checkBoxShowEmsTms.Name = "checkBoxShowEmsTms";
this.checkBoxShowEmsTms.Size = new System.Drawing.Size(186, 16);
this.checkBoxShowEmsTms.TabIndex = 1;
this.checkBoxShowEmsTms.Text = "Show EMS and TMS graphs";
this.checkBoxShowEmsTms.UseVisualStyleBackColor = true;
//
// label7
//
this.label7.AutoSize = true;
this.label7.Location = new System.Drawing.Point(295, 541);
this.label7.Name = "label7";
this.label7.Size = new System.Drawing.Size(123, 12);
this.label7.TabIndex = 3;
this.label7.Text = "Context Switch Time";
//
// groupBoxTMS
//
this.groupBoxTMS.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
| System.Windows.Forms.AnchorStyles.Right)));
this.groupBoxTMS.Controls.Add(this.groupBox2);
this.groupBoxTMS.Controls.Add(this.dataGridView2);
this.groupBoxTMS.Location = new System.Drawing.Point(574, 6);
this.groupBoxTMS.Name = "groupBoxTMS";
this.groupBoxTMS.Size = new System.Drawing.Size(277, 580);
this.groupBoxTMS.TabIndex = 5;
this.groupBoxTMS.TabStop = false;
this.groupBoxTMS.Text = "TMS Periodic Tasks";
//
// groupBox2
//
this.groupBox2.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.groupBox2.Controls.Add(this.label10);
this.groupBox2.Controls.Add(this.textBoxUwTms);
this.groupBox2.Controls.Add(this.textBoxPminTms);
this.groupBox2.Controls.Add(this.label11);
this.groupBox2.Controls.Add(this.label12);
this.groupBox2.Controls.Add(this.textBoxLcmTms);
this.groupBox2.Location = new System.Drawing.Point(6, 472);
this.groupBox2.Name = "groupBox2";
this.groupBox2.Size = new System.Drawing.Size(265, 102);
this.groupBox2.TabIndex = 1;
this.groupBox2.TabStop = false;
this.groupBox2.Text = "TMS workload information";
//
// label10
//
this.label10.AutoSize = true;
this.label10.Location = new System.Drawing.Point(12, 76);
this.label10.Name = "label10";
this.label10.Size = new System.Drawing.Size(81, 12);
this.label10.TabIndex = 4;
this.label10.Text = "Utilization Uw";
//
// textBoxUwTms
//
this.textBoxUwTms.Location = new System.Drawing.Point(130, 71);
this.textBoxUwTms.Name = "textBoxUwTms";
this.textBoxUwTms.ReadOnly = true;
this.textBoxUwTms.Size = new System.Drawing.Size(121, 21);
this.textBoxUwTms.TabIndex = 5;
//
// textBoxPminTms
//
this.textBoxPminTms.Location = new System.Drawing.Point(130, 17);
this.textBoxPminTms.Name = "textBoxPminTms";
this.textBoxPminTms.ReadOnly = true;
this.textBoxPminTms.Size = new System.Drawing.Size(121, 21);
this.textBoxPminTms.TabIndex = 1;
//
// label11
//
this.label11.AutoSize = true;
this.label11.Location = new System.Drawing.Point(12, 49);
this.label11.Name = "label11";
this.label11.Size = new System.Drawing.Size(92, 12);
this.label11.TabIndex = 2;
this.label11.Text = "LCM of periods";
//
// label12
//
this.label12.AutoSize = true;
this.label12.Location = new System.Drawing.Point(12, 21);
this.label12.Name = "label12";
this.label12.Size = new System.Drawing.Size(97, 12);
this.label12.TabIndex = 0;
this.label12.Text = "Minimum period";
//
// textBoxLcmTms
//
this.textBoxLcmTms.Location = new System.Drawing.Point(130, 44);
this.textBoxLcmTms.Name = "textBoxLcmTms";
this.textBoxLcmTms.ReadOnly = true;
this.textBoxLcmTms.Size = new System.Drawing.Size(121, 21);
this.textBoxLcmTms.TabIndex = 3;
//
// comboBoxScheduler
//
this.comboBoxScheduler.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.comboBoxScheduler.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
this.comboBoxScheduler.FormattingEnabled = true;
this.comboBoxScheduler.Items.AddRange(new object[] {
"RM",
"EDF"});
this.comboBoxScheduler.Location = new System.Drawing.Point(6, 41);
this.comboBoxScheduler.Name = "comboBoxScheduler";
this.comboBoxScheduler.Size = new System.Drawing.Size(258, 20);
this.comboBoxScheduler.TabIndex = 1;
//
// label8
//
this.label8.AutoSize = true;
this.label8.Location = new System.Drawing.Point(6, 24);
this.label8.Name = "label8";
this.label8.Size = new System.Drawing.Size(196, 12);
this.label8.TabIndex = 0;
this.label8.Text = "Task scheduler (Child scheduler)";
//
// buttonPlotSolutionSpace
//
this.buttonPlotSolutionSpace.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.buttonPlotSolutionSpace.Location = new System.Drawing.Point(6, 121);
this.buttonPlotSolutionSpace.Name = "buttonPlotSolutionSpace";
this.buttonPlotSolutionSpace.Size = new System.Drawing.Size(258, 35);
this.buttonPlotSolutionSpace.TabIndex = 4;
this.buttonPlotSolutionSpace.Text = "Plot Solution Space";
this.buttonPlotSolutionSpace.UseVisualStyleBackColor = true;
this.buttonPlotSolutionSpace.Click += new System.EventHandler(this.buttonPlotSolutionSpace_Click);
//
// comboBoxApproach
//
this.comboBoxApproach.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.comboBoxApproach.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
this.comboBoxApproach.FormattingEnabled = true;
this.comboBoxApproach.Items.AddRange(new object[] {
"Exhaustive search",
"Abstraction bound"});
this.comboBoxApproach.Location = new System.Drawing.Point(6, 84);
this.comboBoxApproach.Name = "comboBoxApproach";
this.comboBoxApproach.Size = new System.Drawing.Size(258, 20);
this.comboBoxApproach.TabIndex = 3;
//
// label9
//
this.label9.AutoSize = true;
this.label9.Location = new System.Drawing.Point(8, 68);
this.label9.Name = "label9";
this.label9.Size = new System.Drawing.Size(165, 12);
this.label9.TabIndex = 2;
this.label9.Text = "Schedulability test approach";
//
// groupBoxPlotSolutionSpace
//
this.groupBoxPlotSolutionSpace.Controls.Add(this.label8);
this.groupBoxPlotSolutionSpace.Controls.Add(this.label9);
this.groupBoxPlotSolutionSpace.Controls.Add(this.comboBoxScheduler);
this.groupBoxPlotSolutionSpace.Controls.Add(this.comboBoxApproach);
this.groupBoxPlotSolutionSpace.Controls.Add(this.buttonPlotSolutionSpace);
this.groupBoxPlotSolutionSpace.Location = new System.Drawing.Point(6, 213);
this.groupBoxPlotSolutionSpace.Name = "groupBoxPlotSolutionSpace";
this.groupBoxPlotSolutionSpace.Size = new System.Drawing.Size(270, 165);
this.groupBoxPlotSolutionSpace.TabIndex = 3;
this.groupBoxPlotSolutionSpace.TabStop = false;
this.groupBoxPlotSolutionSpace.Text = "Plot Solution Space";
//
// groupBox6
//
this.groupBox6.Controls.Add(this.groupBox3);
this.groupBox6.Controls.Add(this.buttonSolutionSpaceEDF);
this.groupBox6.Controls.Add(this.buttonSolutionSpaceRM);
this.groupBox6.Controls.Add(this.buttonCS_overhead);
this.groupBox6.Location = new System.Drawing.Point(899, 481);
this.groupBox6.Name = "groupBox6";
this.groupBox6.Size = new System.Drawing.Size(305, 244);
this.groupBox6.TabIndex = 15;
this.groupBox6.TabStop = false;
this.groupBox6.Text = "Obsolete";
//
// tabControl1
//
this.tabControl1.Controls.Add(this.tabPage1);
this.tabControl1.Controls.Add(this.tabPage2);
this.tabControl1.Dock = System.Windows.Forms.DockStyle.Fill;
this.tabControl1.Location = new System.Drawing.Point(0, 0);
this.tabControl1.Name = "tabControl1";
this.tabControl1.SelectedIndex = 0;
this.tabControl1.Size = new System.Drawing.Size(865, 620);
this.tabControl1.TabIndex = 0;
//
// tabPage1
//
this.tabPage1.BackColor = System.Drawing.Color.White;
this.tabPage1.Controls.Add(this.groupBox4);
this.tabPage1.Controls.Add(this.label7);
this.tabPage1.Controls.Add(this.groupBoxWorkloads);
this.tabPage1.Controls.Add(this.textBoxContextSwitchOverhead);
this.tabPage1.Controls.Add(this.groupBox6);
this.tabPage1.Controls.Add(this.groupBoxTMS);
this.tabPage1.Controls.Add(this.textBoxIncrementUnit);
this.tabPage1.Controls.Add(this.groupBoxTogether);
this.tabPage1.Controls.Add(this.label4);
this.tabPage1.Location = new System.Drawing.Point(4, 22);
this.tabPage1.Name = "tabPage1";
this.tabPage1.Padding = new System.Windows.Forms.Padding(3);
this.tabPage1.Size = new System.Drawing.Size(857, 594);
this.tabPage1.TabIndex = 0;
this.tabPage1.Text = "Child scheduler";
//
// groupBox4
//
this.groupBox4.BackColor = System.Drawing.Color.Transparent;
this.groupBox4.Controls.Add(this.label13);
this.groupBox4.Controls.Add(this.comboBoxTaskSet);
this.groupBox4.Controls.Add(this.groupBox1);
this.groupBox4.Controls.Add(this.groupBoxPlotSolutionSpace);
this.groupBox4.Location = new System.Drawing.Point(289, 6);
this.groupBox4.Name = "groupBox4";
this.groupBox4.Size = new System.Drawing.Size(282, 383);
this.groupBox4.TabIndex = 1;
this.groupBox4.TabStop = false;
this.groupBox4.Text = "For each task set";
//
// label13
//
this.label13.AutoSize = true;
this.label13.Location = new System.Drawing.Point(10, 28);
this.label13.Name = "label13";
this.label13.Size = new System.Drawing.Size(109, 12);
this.label13.TabIndex = 0;
this.label13.Text = "Task set selection";
//
// comboBoxTaskSet
//
this.comboBoxTaskSet.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.comboBoxTaskSet.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
this.comboBoxTaskSet.FormattingEnabled = true;
this.comboBoxTaskSet.ItemHeight = 12;
this.comboBoxTaskSet.Items.AddRange(new object[] {
"EMS",
"TMS"});
this.comboBoxTaskSet.Location = new System.Drawing.Point(125, 25);
this.comboBoxTaskSet.Name = "comboBoxTaskSet";
this.comboBoxTaskSet.Size = new System.Drawing.Size(145, 20);
this.comboBoxTaskSet.TabIndex = 1;
this.comboBoxTaskSet.SelectedIndexChanged += new System.EventHandler(this.comboBoxTaskSet_SelectedIndexChanged);
//
// tabPage2
//
this.tabPage2.Controls.Add(this.buttonCheck);
this.tabPage2.Controls.Add(this.panelLine);
this.tabPage2.Controls.Add(this.panelTMS);
this.tabPage2.Controls.Add(this.panelEMS);
this.tabPage2.Location = new System.Drawing.Point(4, 22);
this.tabPage2.Name = "tabPage2";
this.tabPage2.Padding = new System.Windows.Forms.Padding(3);
this.tabPage2.Size = new System.Drawing.Size(857, 594);
this.tabPage2.TabIndex = 1;
this.tabPage2.Text = "Parent scheduler";
this.tabPage2.UseVisualStyleBackColor = true;
//
// buttonCheck
//
this.buttonCheck.Location = new System.Drawing.Point(380, 421);
this.buttonCheck.Name = "buttonCheck";
this.buttonCheck.Size = new System.Drawing.Size(220, 97);
this.buttonCheck.TabIndex = 2;
this.buttonCheck.Text = "Schedulability check under EDF";
this.buttonCheck.UseVisualStyleBackColor = true;
this.buttonCheck.Click += new System.EventHandler(this.buttonCheck_Click);
//
// panelLine
//
this.panelLine.Location = new System.Drawing.Point(269, 287);
this.panelLine.Name = "panelLine";
this.panelLine.Size = new System.Drawing.Size(447, 136);
this.panelLine.TabIndex = 3;
//
// panelTMS
//
this.panelTMS.Controls.Add(this.textBoxTmsTheta);
this.panelTMS.Controls.Add(this.textBoxTmsPi);
this.panelTMS.Controls.Add(this.pictureBoxTMS);
this.panelTMS.Location = new System.Drawing.Point(572, 21);
this.panelTMS.Name = "panelTMS";
this.panelTMS.Size = new System.Drawing.Size(277, 267);
this.panelTMS.TabIndex = 1;
//
// textBoxTmsTheta
//
this.textBoxTmsTheta.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.textBoxTmsTheta.BorderStyle = System.Windows.Forms.BorderStyle.FixedSingle;
this.textBoxTmsTheta.Location = new System.Drawing.Point(133, 186);
this.textBoxTmsTheta.Name = "textBoxTmsTheta";
this.textBoxTmsTheta.Size = new System.Drawing.Size(107, 21);
this.textBoxTmsTheta.TabIndex = 0;
this.textBoxTmsTheta.Text = "2";
this.textBoxTmsTheta.TextChanged += new System.EventHandler(this.textBoxTmsTheta_TextChanged);
//
// textBoxTmsPi
//
this.textBoxTmsPi.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.textBoxTmsPi.BorderStyle = System.Windows.Forms.BorderStyle.FixedSingle;
this.textBoxTmsPi.Location = new System.Drawing.Point(133, 206);
this.textBoxTmsPi.Name = "textBoxTmsPi";
this.textBoxTmsPi.Size = new System.Drawing.Size(107, 21);
this.textBoxTmsPi.TabIndex = 1;
this.textBoxTmsPi.Text = "10";
this.textBoxTmsPi.TextChanged += new System.EventHandler(this.textBoxEmsPi_TextChanged);
//
// pictureBoxTMS
//
this.pictureBoxTMS.Dock = System.Windows.Forms.DockStyle.Fill;
this.pictureBoxTMS.Image = global::RealtimeAnalysis.Properties.Resources.roundHier;
this.pictureBoxTMS.InitialImage = null;
this.pictureBoxTMS.Location = new System.Drawing.Point(0, 0);
this.pictureBoxTMS.Name = "pictureBoxTMS";
this.pictureBoxTMS.Size = new System.Drawing.Size(277, 267);
this.pictureBoxTMS.SizeMode = System.Windows.Forms.PictureBoxSizeMode.StretchImage;
this.pictureBoxTMS.TabIndex = 1;
this.pictureBoxTMS.TabStop = false;
//
// panelEMS
//
this.panelEMS.Controls.Add(this.dataGridViewSync);
this.panelEMS.Controls.Add(this.textBoxEmsPi);
this.panelEMS.Controls.Add(this.textBoxEmsTheta);
this.panelEMS.Controls.Add(this.pictureBoxEMS);
this.panelEMS.Location = new System.Drawing.Point(3, 21);
this.panelEMS.Name = "panelEMS";
this.panelEMS.Size = new System.Drawing.Size(547, 267);
this.panelEMS.TabIndex = 0;
//
// dataGridViewSync
//
dataGridViewCellStyle16.Alignment = System.Windows.Forms.DataGridViewContentAlignment.MiddleLeft;
dataGridViewCellStyle16.BackColor = System.Drawing.SystemColors.Control;
dataGridViewCellStyle16.Font = new System.Drawing.Font("굴림", 9F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(129)));
dataGridViewCellStyle16.ForeColor = System.Drawing.SystemColors.WindowText;
dataGridViewCellStyle16.SelectionBackColor = System.Drawing.SystemColors.Highlight;
dataGridViewCellStyle16.SelectionForeColor = System.Drawing.SystemColors.HighlightText;
dataGridViewCellStyle16.WrapMode = System.Windows.Forms.DataGridViewTriState.True;
this.dataGridViewSync.ColumnHeadersDefaultCellStyle = dataGridViewCellStyle16;
this.dataGridViewSync.ColumnHeadersHeightSizeMode = System.Windows.Forms.DataGridViewColumnHeadersHeightSizeMode.AutoSize;
this.dataGridViewSync.Columns.AddRange(new System.Windows.Forms.DataGridViewColumn[] {
this.dataGridViewTextBoxColumn4,
this.dataGridViewTextBoxColumn5,
this.Phase});
dataGridViewCellStyle17.Alignment = System.Windows.Forms.DataGridViewContentAlignment.MiddleLeft;
dataGridViewCellStyle17.BackColor = System.Drawing.SystemColors.Window;
dataGridViewCellStyle17.Font = new System.Drawing.Font("굴림", 9F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(129)));
dataGridViewCellStyle17.ForeColor = System.Drawing.SystemColors.ControlText;
dataGridViewCellStyle17.SelectionBackColor = System.Drawing.SystemColors.Highlight;
dataGridViewCellStyle17.SelectionForeColor = System.Drawing.SystemColors.HighlightText;
dataGridViewCellStyle17.WrapMode = System.Windows.Forms.DataGridViewTriState.False;
this.dataGridViewSync.DefaultCellStyle = dataGridViewCellStyle17;
this.dataGridViewSync.Location = new System.Drawing.Point(277, 85);
this.dataGridViewSync.Name = "dataGridViewSync";
dataGridViewCellStyle18.Alignment = System.Windows.Forms.DataGridViewContentAlignment.MiddleLeft;
dataGridViewCellStyle18.BackColor = System.Drawing.SystemColors.Control;
dataGridViewCellStyle18.Font = new System.Drawing.Font("굴림", 9F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(129)));
dataGridViewCellStyle18.ForeColor = System.Drawing.SystemColors.WindowText;
dataGridViewCellStyle18.SelectionBackColor = System.Drawing.SystemColors.Highlight;
dataGridViewCellStyle18.SelectionForeColor = System.Drawing.SystemColors.HighlightText;
dataGridViewCellStyle18.WrapMode = System.Windows.Forms.DataGridViewTriState.True;
this.dataGridViewSync.RowHeadersDefaultCellStyle = dataGridViewCellStyle18;
this.dataGridViewSync.RowTemplate.Height = 23;
this.dataGridViewSync.Size = new System.Drawing.Size(255, 162);
this.dataGridViewSync.TabIndex = 2;
//
// textBoxEmsPi
//
this.textBoxEmsPi.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.textBoxEmsPi.BorderStyle = System.Windows.Forms.BorderStyle.FixedSingle;
this.textBoxEmsPi.Location = new System.Drawing.Point(139, 204);
this.textBoxEmsPi.Name = "textBoxEmsPi";
this.textBoxEmsPi.Size = new System.Drawing.Size(107, 21);
this.textBoxEmsPi.TabIndex = 1;
this.textBoxEmsPi.Text = "10";
this.textBoxEmsPi.TextChanged += new System.EventHandler(this.textBoxEmsPi_TextChanged);
//
// textBoxEmsTheta
//
this.textBoxEmsTheta.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.textBoxEmsTheta.BorderStyle = System.Windows.Forms.BorderStyle.FixedSingle;
this.textBoxEmsTheta.Location = new System.Drawing.Point(139, 184);
this.textBoxEmsTheta.Name = "textBoxEmsTheta";
this.textBoxEmsTheta.Size = new System.Drawing.Size(107, 21);
this.textBoxEmsTheta.TabIndex = 0;
this.textBoxEmsTheta.Text = "3";
this.textBoxEmsTheta.TextChanged += new System.EventHandler(this.textBoxEmsTheta_TextChanged);
//
// pictureBoxEMS
//
this.pictureBoxEMS.Dock = System.Windows.Forms.DockStyle.Fill;
this.pictureBoxEMS.Image = global::RealtimeAnalysis.Properties.Resources.roundBig;
this.pictureBoxEMS.InitialImage = null;
this.pictureBoxEMS.Location = new System.Drawing.Point(0, 0);
this.pictureBoxEMS.Name = "pictureBoxEMS";
this.pictureBoxEMS.Size = new System.Drawing.Size(547, 267);
this.pictureBoxEMS.SizeMode = System.Windows.Forms.PictureBoxSizeMode.StretchImage;
this.pictureBoxEMS.TabIndex = 2;
this.pictureBoxEMS.TabStop = false;
//
// dataGridViewTextBoxColumn4
//
this.dataGridViewTextBoxColumn4.DataPropertyName = "Period";
this.dataGridViewTextBoxColumn4.HeaderText = "Minimum inter-release time";
this.dataGridViewTextBoxColumn4.Name = "dataGridViewTextBoxColumn4";
this.dataGridViewTextBoxColumn4.Width = 80;
//
// dataGridViewTextBoxColumn5
//
this.dataGridViewTextBoxColumn5.DataPropertyName = "ExecutionTime";
this.dataGridViewTextBoxColumn5.HeaderText = "Execution Time";
this.dataGridViewTextBoxColumn5.Name = "dataGridViewTextBoxColumn5";
this.dataGridViewTextBoxColumn5.Width = 65;
//
// Phase
//
this.Phase.DataPropertyName = "Phase";
this.Phase.HeaderText = "Phase";
this.Phase.Name = "Phase";
this.Phase.Width = 65;
//
// FormPRM
//
this.AutoScaleDimensions = new System.Drawing.SizeF(7F, 12F);
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
this.BackColor = System.Drawing.SystemColors.Control;
this.ClientSize = new System.Drawing.Size(865, 620);
this.Controls.Add(this.tabControl1);
this.FormBorderStyle = System.Windows.Forms.FormBorderStyle.FixedSingle;
this.MaximizeBox = false;
this.Name = "FormPRM";
this.Text = "PRM Schedulability Analysis Tool";
((System.ComponentModel.ISupportInitialize)(this.dataGridView1)).EndInit();
this.groupBoxWorkloads.ResumeLayout(false);
this.groupBox5.ResumeLayout(false);
this.groupBox5.PerformLayout();
((System.ComponentModel.ISupportInitialize)(this.dataGridView2)).EndInit();
this.groupBox1.ResumeLayout(false);
this.groupBox1.PerformLayout();
this.groupBox3.ResumeLayout(false);
this.groupBoxTogether.ResumeLayout(false);
this.groupBoxTogether.PerformLayout();
this.groupBoxTMS.ResumeLayout(false);
this.groupBox2.ResumeLayout(false);
this.groupBox2.PerformLayout();
this.groupBoxPlotSolutionSpace.ResumeLayout(false);
this.groupBoxPlotSolutionSpace.PerformLayout();
this.groupBox6.ResumeLayout(false);
this.tabControl1.ResumeLayout(false);
this.tabPage1.ResumeLayout(false);
this.tabPage1.PerformLayout();
this.groupBox4.ResumeLayout(false);
this.groupBox4.PerformLayout();
this.tabPage2.ResumeLayout(false);
this.panelTMS.ResumeLayout(false);
this.panelTMS.PerformLayout();
((System.ComponentModel.ISupportInitialize)(this.pictureBoxTMS)).EndInit();
this.panelEMS.ResumeLayout(false);
this.panelEMS.PerformLayout();
((System.ComponentModel.ISupportInitialize)(this.dataGridViewSync)).EndInit();
((System.ComponentModel.ISupportInitialize)(this.pictureBoxEMS)).EndInit();
this.ResumeLayout(false);
}