#include "stm32c0xx_hal.h"
#include "FreeRTOS.h"
#include "task.h"

 
/* Définition des périodes et capacités des tâches */
#define tledV_PERIOD 2000 // Période de la tâche 1 en ms
#define tledV_CAPACITY 100 // Capacité de la tâche 1 en ms
#define tledV_DEADLINE 1000 // Capacité de la tâche 1 en ms

#define tledB_PERIOD 4000 // Période de la tâche 1 en ms
#define tledB_CAPACITY 300 // Capacité de la tâche 1 en ms
#define tledB_DEADLINE 3000 // Capacité de la tâche 1 en ms

#define tledR_PERIOD 1000 // Période de la tâche 1 en ms
#define tledR_CAPACITY 500 // Capacité de la tâche 1 en ms
#define tledR_DEADLINE 900 // Capacité de la tâche 1 en ms

void SystemClock_Config(void);
static void MX_GPIO_Init(void);

void tledR(void* p);
void tledV(void* p);
void tledB(void* p);

int main (void){
/* Initialisation de HAL */
    HAL_Init();

    /* Configuration de l'horloge système */
    SystemClock_Config();

    /* Initialisation des périphériques */
    MX_GPIO_Init();
    float Sum = (tledR_CAPACITY / (float)tledR_PERIOD) + (tledV_CAPACITY / (float)tledV_PERIOD)+(tledB_CAPACITY / (float)tledB_PERIOD);
    /* Vérification de la capacité des tâches */
    if (Sum <= 1.0) 
    {
        /* Création des tâches */
        xTaskCreate(tledR, "tledR", 128,NULL,1,NULL);
        xTaskCreate(tledV, "tledV", 128,NULL,1,NULL);
        xTaskCreate(tledB, "tledB", 128,NULL,1,NULL);        
        
        
        /* Démarrage du système d'exploitation temps réel */
        vTaskStartScheduler();
    }else{
    printf("condition nécessaire non verifié\n"); //error
    }
    /* Boucle infinie */
   
}



void tledR(void* p){




    while(1){
        /* Bascule la LED rouge */
        HAL_GPIO_TogglePin(GPIOA, GPIO_PIN_4);
        /* Attente de la prochaine période */
        vTaskDelay(tledR_CAPACITY / portTICK_PERIOD_MS);
    }
}

void tledV(void* p){




    while(1){
        /* Bascule la LED rouge */
        HAL_GPIO_TogglePin(GPIOA, GPIO_PIN_0);
        /* Attente de la prochaine période */
        vTaskDelay(tledV_CAPACITY / portTICK_PERIOD_MS);
    }
}



void tledB(void* p){




    while(1){
        /* Bascule la LED rouge */
        HAL_GPIO_TogglePin(GPIOA, GPIO_PIN_1);
        /* Attente de la prochaine période */
        vTaskDelay(tledB_CAPACITY / portTICK_PERIOD_MS);
    }
}



void MX_GPIO_Init(void)
{
  /* GPIO Ports Clock Enable */
  __HAL_RCC_GPIOA_CLK_ENABLE();
  __HAL_RCC_GPIOB_CLK_ENABLE();

  GPIO_InitTypeDef GPIO_InitStruct = {0};

  /*Configure GPIO pins : PA0, PA1, PA4 */
  GPIO_InitStruct.Pin = GPIO_PIN_0|GPIO_PIN_1|GPIO_PIN_4;
  GPIO_InitStruct.Mode = GPIO_MODE_OUTPUT_PP;
  GPIO_InitStruct.Pull = GPIO_NOPULL;
  GPIO_InitStruct.Speed = GPIO_SPEED_FREQ_LOW;
  HAL_GPIO_Init(GPIOA, &GPIO_InitStruct);

  /*Configure GPIO pin : PB1 */
  GPIO_InitStruct.Pin = GPIO_PIN_1;
  GPIO_InitStruct.Mode = GPIO_MODE_OUTPUT_PP;
  GPIO_InitStruct.Pull = GPIO_NOPULL;
  GPIO_InitStruct.Speed = GPIO_SPEED_FREQ_LOW;
  HAL_GPIO_Init(GPIOB, &GPIO_InitStruct);
}
void SystemClock_Config(void)
{
  RCC_OscInitTypeDef RCC_OscInitStruct;
  RCC_ClkInitTypeDef RCC_ClkInitStruct;

  RCC_OscInitStruct.OscillatorType = RCC_OSCILLATORTYPE_HSI;
  RCC_OscInitStruct.HSIState = RCC_HSI_ON;
  RCC_OscInitStruct.HSICalibrationValue = RCC_HSICALIBRATION_DEFAULT;

  if (HAL_RCC_OscConfig(&RCC_OscInitStruct) != HAL_OK)
  {
    // Gérer l'erreur de manière appropriée
  }

  RCC_ClkInitStruct.ClockType = RCC_CLOCKTYPE_HCLK | RCC_CLOCKTYPE_SYSCLK | RCC_CLOCKTYPE_PCLK1;
  RCC_ClkInitStruct.SYSCLKSource = RCC_SYSCLKSOURCE_HSI;
  RCC_ClkInitStruct.AHBCLKDivider = RCC_SYSCLK_DIV1;
  RCC_ClkInitStruct.APB1CLKDivider = RCC_HCLK_DIV1;

  if (HAL_RCC_ClockConfig(&RCC_ClkInitStruct, FLASH_LATENCY_0) != HAL_OK)
  {
    // Gérer l'erreur de manière appropriée
  }
}

// Fonction de ralentissement de FreeRTOS
void vApplicationIdleHook(void)
{
  // Fonction de ralentissement de FreeRTOS
}