void condTests()
{
int tryProd;
int tryCons;
int tryColor;
int tryBuf;
int nProd;
int nCons;
int nColors;
int nBuf;
for(tryProd = 0; tryProd < 2; tryProd++){
if(tryProd == 0){
nProd = 1;
}
else{
nProd = 10;
}
for(tryCons = 0; tryCons < 2; tryCons++){
if(tryCons == 0){
nCons = 1;
}
else{
nCons = 10;
}
for(tryColor = 0; tryColor < 2; tryColor++){
if(tryColor == 0 || nProd == 1 || nCons == 1){
nColors = 1;
}
else{
nColors = 5;
}
for(tryBuf = 0; tryBuf < 3; tryBuf++){
if(tryBuf == 0){
nBuf = 1;
}
else if(tryBuf == 1){
nBuf = 5;
}
else{
nBuf = 50;
}
printf("condTests: nProd=%d nCons=%d nColors=%d nBuf=%d start\n",
nProd, nCons, nColors, nBuf);
Mailbox *mb = (Mailbox *)malloc(sizeof(Mailbox));
assert(mb);
mb_init(mb, 1, nProd + nCons);
PC *pc = (PC *)malloc(sizeof(PC));
assert(pc);
PC_Init(pc, nBuf, nColors);
doPCTest(nProd, nCons, nColors, pc, mb);
while(!mb_checkDone(mb)){
/* Real code would make mb_checkDone block... */
}
if(verbose){
printf("Free mb and pc\n");
}
free(mb);
free(pc);
printf("condTests: nProd=%d nCons=%d nColors=%d nBuf=%d OK\n",
nProd, nCons, nColors, nBuf);
}
}
}
}
}
/*------------------------------------------------------------------------------------------------*/
int main(void)
{
Bool_e NouveauMode;
Horodatage_s Time = {
.Heure = 0,
.Minute = 0,
.Seconde = 0,
};
// ------------------------------------------------------------------------
// --- INIT DU SYSTEME
// --- Initialisations uC, Peripheriques, Fonctions et Interfaces
BSP_Init(); // Init carte
SysTick_Config(SystemCoreClock / 1000); // Init Tick 1ms
HAL_Console_Init(115200);
RTC_StartInit(TRUE); // Start Init RTC
I2C1_Init(100 * 1000); // 100kHz
ADC1_Init();
_CONSOLE(0, "\n");
_CONSOLE(LogId, "--- START - ALJ%s ---\n", VERSION_SW);
//AM23xx_Test();
REGLAGE_RTC();
//----------------------------------
// FONCTIONNALITES
MemoireFAT_Init((Diskio_drvTypeDef*) &SdCard_SPI_Driver);
#if USE_TEMP_HYGRO
TempHygro_Init(TEMPERATURE_PERIODE_ACQUISITION_ms);
#endif
Delay_ms(50);
// Hygrometre_Init();
ConfIni_Init();
Arrosage_Init(USE_CONF_INI_FILE);
Chauffage_Init(USE_CONF_INI_FILE);
Ventilation_Init(USE_CONF_INI_FILE);
Logs_Init();
PC_Init();
Terminal_Init();
Terminal_Cmd_Init();
//_CONSOLE(LogId, "MODE_FCT_SERVEUR\n");
ModeFct = MODE_FCT_SERVEUR;
//MemoireFAT_PrintFileList("httpserver");
Ethernet_Init(USE_CONF_INI_FILE);
if (RTC_BkpRegister_Read(0) != 0)
{
_CONSOLE(LogId, "MODE_FCT_USB\n");
ModeFct = MODE_FCT_USB;
//USB_Init((Diskio_drvTypeDef*) &SdCard_SPI_Driver);
RTC_BkpRegister_Write(0, 0);
}
// Lancement des timers
TSW_Start(&TmrAffichTempHygro, 3000);
//Mode_Test();
WDG_InitWWDG(10000);
while (RTC_Main() != RTC_ETAPE_READY);
TSW_Start(&Tmr_RTC, 10000);
RTC_Lire(&StartTime);
RTC_Lire(&Time);
//--------------------------------------------------------------------------------
_CONSOLE(LogId, "--------------------------\n");
_CONSOLE(LogId, "StartupTime=%dms\n", TSW_GetTimestamp_ms());
_CONSOLE(LogId, "--------------------------\n\n");
while(1)
{
WDG_Refresh();
// if (PC_Read((uint8_t*) BufferIn, NULL) == TRUE)
// {
// Terminal_Parser(BufferIn, BufferOut, 1024);
// if (strlen(BufferOut) > 0)
// PC_Write(BufferOut, strlen(BufferOut));
// }
// Choix du mode de fonctionnement
// WKUP = ACTIF -> USB - WKUP = INACTIF -> WebServer
//if (GPIO_Get(PORT_WKUP) == Etat_ACTIF)
//{
// RTC_BkpRegister_Write(0, 1);
// while (GPIO_Get(PORT_WKUP) == Etat_ACTIF)
// TSW_Delay(100);
// GOTO(0);
//}
//----------------------------------
// PROCESSUS
LifeBit_Main();
MemoireFAT_Main();
#if USE_TEMP_HYGRO
TempHygro_Thread();
#endif
if (Mode != MODE_DEMARRAGE)
{
Arrosage_Management();
Chauffage_Management();
Ventilation_Management();
Hygrometrie_Management();
}
if (ModeFct == MODE_FCT_SERVEUR)
{
Ethernet_Management();
}
Logs_Management();
//----------------------------------
// LECTURE TEMPERATURE
if ((TempHygro_IsValide() == FALSE)
&& (Mode != MODE_DEMARRAGE))
{
Mode = MODE_DEFAUT;
}
else
{
Temperature = TempHygro_GetTemperature();
Hygrometrie = TempHygro_GetHygrometrie();
}
//----------------------------------
// RTC
if (TSW_IsFinished(&Tmr_RTC))
{
RTC_Lire(&Time);
TSW_ReStart(&Tmr_RTC);
//_CONSOLE(LogId, "RTC = %d-%02d-%02d %02d:%02d:%02d;%08d;",
// Time.Annee, Time.Mois, Time.Jour,
// Time.Heure, Time.Minute, Time.Seconde,
// TSW_GetTimestamp_ms());
}
//----------------------------------
// AFFICHAGE TEMPERATURE
/* if (TSW_IsRunning(&TmrAffichTempHygro) == FALSE)
{
_CONSOLE(LogId, "TempHygro = ");
if (TempHygro_IsValide() == FALSE)
_CONSOLE(LogId, "Non valide\n");
else
{
_CONSOLE(LogId, "%.01f %c\t%.01f %c\n",
Temperature, '°',
Hygrometrie, '%');
}
TSW_Start(&TmrAffichTempHygro, 2500);
}
*/
//----------------------------------
// GESTION DES MODES
NouveauMode = FALSE;
if (LastMode != Mode)
{
LastMode = Mode;
NouveauMode = TRUE;
}
switch (Mode)
{
//--------------------------------------------------------------
case MODE_DEMARRAGE :
if (NouveauMode)
{
_CONSOLE(LogId, "----- MODE_DEMARRAGE -----\n");
Logs_Data();
}
if (Mode_Demarrage() == Status_Fini)
{
Mode = MODE_SURVEILLANCE;
}
break;
//--------------------------------------------------------------
case MODE_SURVEILLANCE :
if (NouveauMode)
{
_CONSOLE(LogId, "----- MODE_SURVEILLANCE -----\n");
Logs_Data();
GPIO_Set(PORT_IHM_LED1, Etat_ACTIF);
GPIO_Set(PORT_IHM_LED2, Etat_INACTIF);
GPIO_Set(PORT_IHM_LED3, Etat_INACTIF);
EtatVentillation = Etat_INACTIF;
EtatChauffage = Etat_INACTIF;
TSW_Start(&Tmr_ATTENTE, 1000 * 30); // On reste au moins 30sec en mode attente
}
if (TSW_IsRunning(&Tmr_ATTENTE) == TRUE)
{
break;
}
// Pas de chauffage dessuite après l'extraction
if ((TSW_IsRunning(&Tmr_EXT) == FALSE)
&& (Temperature < Chauffage_Get()->Cfg_SeuilStart_DegC))
{
Mode = MODE_CHAUFFAGE;
}
// Pas d'extraction dessuite après le chauffage
if ((TSW_IsRunning(&Tmr_CH) == FALSE)
&& (Temperature >= Ventilation_Get()->Cfg_SeuilStart_DegC))
{
Mode = MODE_VENTILLATION;
}
break;
//--------------------------------------------------------------
case MODE_CHAUFFAGE :
if (NouveauMode)
{
_CONSOLE(LogId, "----- MODE_CHAUFFAGE -----\n");
Logs_Data();
GPIO_Set(PORT_IHM_LED1, Etat_INACTIF);
GPIO_Set(PORT_IHM_LED2, Etat_ACTIF);
GPIO_Set(PORT_IHM_LED3, Etat_INACTIF);
if (Ventilation_Get()->Cfg_ActiverPendantChauffage)
EtatVentillation = Etat_ACTIF;
else
EtatVentillation = Etat_INACTIF;
EtatChauffage = Etat_ACTIF;
}
// Attente franchissement seuil
if (Temperature >= Chauffage_Get()->Cfg_SeuilStop_DegC)
{
EtatChauffage = Etat_INACTIF;
TSW_Start(&Tmr_CH, 1000 * Chauffage_Get()->Cfg_TempoApresCh_s);
Mode = MODE_SURVEILLANCE;
}
break;
//--------------------------------------------------------------
case MODE_VENTILLATION :
if (NouveauMode)
{
_CONSOLE(LogId, "----- MODE_VENTILLATION -----\n");
Logs_Data();
GPIO_Set(PORT_IHM_LED1, Etat_ACTIF);
GPIO_Set(PORT_IHM_LED2, Etat_ACTIF);
GPIO_Set(PORT_IHM_LED3, Etat_INACTIF);
EtatChauffage = Etat_INACTIF;
EtatVentillation = Etat_ACTIF;
}
if (Temperature < Ventilation_Get()->Cfg_SeuilStop_DegC)
{
EtatVentillation = Etat_INACTIF;
TSW_Start(&Tmr_EXT, 1000 * Ventilation_Get()->Cfg_TempoApresEXT_s);
Mode = MODE_SURVEILLANCE;
}
break;
//--------------------------------------------------------------
case MODE_DEFAUT :
if (NouveauMode)
{
_CONSOLE(LogId, "----- MODE_DEFAUT -----\n");
Logs_Data();
GPIO_Set(PORT_IHM_LED1, Etat_INACTIF);
GPIO_Set(PORT_IHM_LED2, Etat_INACTIF);
GPIO_Set(PORT_IHM_LED3, Etat_ACTIF);
EtatVentillation = Etat_INACTIF;
EtatChauffage = Etat_INACTIF;
//Arrosage_Stop();
TSW_Start(&Tmr_DEFAULT, 60 * 1000);
TSW_Start(&Tmr_DEFAULT_Max, 600 * 1000);
}
if (TempHygro_IsValide() == TRUE)
{
Mode = MODE_VENTILLATION;
break;
}
if ((TSW_IsRunning(&Tmr_DEFAULT) == FALSE)
&& (REBOOT_ON_DEFAULT_MODE == TRUE)
&& (Arrosage_IsActive() == FALSE))
{
if ((Telnet_GetNbActiveConnection() == 0)
|| (TSW_IsRunning(&Tmr_DEFAULT_Max) == FALSE))
{
_CONSOLE(LogId, "REBOOT...\n");
MemoireFAT_DeInit();
TSW_Delay(5000);
GOTO(0);
Mode = MODE_DEMARRAGE;
}
}
break;
}
//----------------------------------
// MAJ DES SORTIES
if (GPIO_Get(PORT_RELAIS_V_EXT) != EtatVentillation)
{
_CONSOLE(LogId, "Ventillation = %d\n", EtatVentillation);
GPIO_Set(PORT_RELAIS_V_EXT, EtatVentillation);
Logs_Data();
}
if (GPIO_Get(PORT_RELAIS_CH) != EtatChauffage)
{
_CONSOLE(LogId, "Chauffage = %d\n", EtatChauffage);
GPIO_Set(PORT_RELAIS_CH, EtatChauffage);
Logs_Data();
}
}
return 0;
}
/*------------------------------------------------------------------------------------------------*/
extern void SdCard_SPI_timerproc (void);
void ApplicationTickHook (void) {
static uint8_t ucTick_10ms=0;
static uint8_t ucTick_100ms=0;
/* Gestion du Tick Timer Software */
TSW_Refresh();
/* Tick 10ms */
ucTick_10ms++;
if (ucTick_10ms >= 10){
ucTick_10ms = 0;
ADC1_Tick();
SdCard_SPI_timerproc();
}
/* Tick 100ms */
ucTick_100ms++;
if (ucTick_100ms >= 10){
ucTick_100ms = 0;
}
}
/*------------------------------------------------------------------------------------------------*/
void Delay(uint32_t nCount)
{
/* Capture the current local time */
uint32_t timingdelay = TSW_GetTimestamp_ms() + nCount;
/* wait until the desired delay finish */
while(timingdelay > TSW_GetTimestamp_ms())
{
}
}
