Haier Smart Home utilizza un approccio di progettazione Model-Based per migliorare la copertura dei test

Il nuovo workflow semplifica lo sviluppo riducendo gli errori

“Abbiamo testato l’intero sistema passo dopo passo. I test e la progettazione Model-Based hanno migliorato l'efficienza.”

Risultati chiave

  • Un workflow di progettazione Model-Based ha migliorato del 30% l’efficienza dello sviluppo, permettendo il disaccoppiamento funzionale, la visualizzazione dei componenti e la generazione automatica del codice con un clic
  • Il tempo necessario per testare la funzione di riscaldamento con prenotazione è stato ridotto da 45 giorni a soli 40 minuti
  • L’automazione efficiente dei test ha raddoppiato la copertura delle verifiche e ridotto del 30% le risorse impiegate per il collaudo e i costi di sviluppo.

Haier Smart Home, una divisione di Haier Group Corporation, è specializzata nello sviluppo di prodotti per ecosistemi di elettrodomestici intelligenti. I prodotti per la rete idrica rappresentano una parte importante dell'attività di Haier Smart Home. Per realizzare i loro prodotti legacy, gli ingegneri di Haier Smart Home hanno aderito ai tradizionali processi di sviluppo del software embedded. Questo approccio tradizionale prevede una codifica complessa, che a volte può raggiungere le 20.000 righe, il che può aumentare la probabilità di errori. Inoltre, può comportare lunghi cicli di debug, scarsa copertura dei test e inefficienze che possono influire sulle scadenze del progetto.

Gli ingegneri Haier hanno implementato la progettazione Model-Based per integrare funzionalità avanzate nei loro prodotti. Architetture e moduli sono stati suddivisi per sviluppare modelli separati in base all'insieme dei requisiti. Il team ha utilizzato Simulink® per costruire blocchi fondamentali e standardizzare librerie condivise per offrire uno sviluppo interfunzionale e collaborativo per diverse linee di prodotti.

La progettazione Model-Based ha consentito la progettazione di algoritmi mediante la creazione di un modello digitale del software finale, con il team che ha eseguito la modellazione logica tramite Stateflow® per testare vari scenari. Embedded Coder® è stato utilizzato per automatizzare la generazione del codice dell'algoritmo di controllo, semplificando il processo di sviluppo. Simulink ha inoltre consentito lo sviluppo di una piattaforma di simulazione per sistemi di controllo motore per verificare gli algoritmi principali. I test del software venivano eseguiti in condizioni anomale, come cortocircuiti, circuiti aperti e guasti del sistema, senza fare affidamento sull'hardware fisico. In conclusione, il team ha automatizzato il processo di verifica e validazione (V&V) tramite Simulink Test™ al fine di aumentare la copertura dei test.