Aziendale di controllo industriale hardware e software formale

EqualOcean è stata informata che Formal-tech (cinese: 丰蕾科技), una società di ricerca e sviluppo di hardware e software di base per il controllo industriale, ha recentemente completato oltre 100 milioni di CNY in finanziamenti di serie A.

Fondata nel 2015, Formal-tech è un produttore specializzato nella ricerca, sviluppo, produzione e vendita di hardware e software di base per il controllo industriale ad alta sicurezza e software industriale per processi di sviluppo di apparecchiature di fascia alta.

Il software industriale è diventato una delle tecnologie chiave che limitano lo sviluppo dell'industria cinese, che può aiutare i sistemi di controllo industriale a effettuare una progettazione e realizzazione più completa e accurata e a risolvere i quattro principali punti critici dei tradizionali sistemi di controllo industriale, che sono difficili da progettare , testare, utilizzare e adattare.

Secondo l'introduzione del team fondatore di Formal-tech, Formal-tech si concentra sulla tecnologia di base della ricerca e sviluppo industriale e del software di progettazione e il team, dopo quasi due decenni di accumulo e precipitazione, ha formato due importanti serie di prodotti, SMAVE e ACEPHERE, per risolvere i quattro principali problemi sopra menzionati.

Tra questi, la serie SMAVE di piattaforme di sviluppo software industriale fornisce soluzioni per l'intero ciclo di vita per lo sviluppo di software di sistemi di controllo industriale, inclusa la progettazione basata su modelli, la generazione automatica di codice ad alta sicurezza, la simulazione integrata di modelli multidominio, la verifica formale, la simulazione virtuale e analisi di sistemi elettronici, ecc., e i prodotti sono stati applicati con successo in molti dei principali settori delle apparecchiature.

Concentrandosi su scenari di controllo panindustriali, i prodotti della serie ACEPHERE supportano lo standard internazionale IEC 61131-3, compreso l'ambiente di sviluppo e runtime, il controllo del movimento, la progettazione dell'interfaccia di interazione uomo-computer e altre funzioni. Supportando prodotti hardware sviluppati internamente, i prodotti della serie ACEPHERE costituiscono una soluzione totale per scenari di controllo pan-industriale e sono stati applicati con successo nell'elettronica automobilistica, nella produzione industriale intelligente e così via.

Il team fondatore dell'azienda ha anche affermato che un sistema di controllo complesso può essere descritto dalla struttura geometrica, dal meccanismo fisico e dal modello di controllo elettronico, l'attenzione a lungo termine della tecnologia formale sulla ricerca sulla modellazione del controllo elettronico, il prodotto non solo soddisfa gli scenari del modello standard del cliente, in di fronte al complesso ambiente in loco del cliente, ma anche per soddisfare gli adeguamenti in tempo reale del cliente alle esigenze del modello.

Fin dalla sua fondazione, Formal-tech ha attribuito grande importanza agli investimenti in ricerca e sviluppo, con un personale di ricerca e sviluppo che rappresenta oltre il 70%. Negli ultimi anni, il fatturato dell'azienda ha mantenuto una crescita elevata e nel 2023 si prevede che supererà il miliardo di dollari.

Questo round di finanziamento è stato investito da GL Ventures (cinese: 高瓴創投), CDH Investment (cinese: 鼎晖百孚) e altre note organizzazioni nazionali, e Tonggao Capital (cinese: 同高资本), una società di lunga data azionista a lungo termine, continuerà a investire. I proventi del finanziamento verranno utilizzati principalmente per lo sviluppo di nuovi prodotti, l'espansione del mercato e la costruzione di ambienti di produzione di massa.