Kernel verificabile per STM32 distribuito gratuitamente sull’Embedded Software Store

11 Novembre 2013, di Redazione Wall Street Italia

HCC ha annunciato oggi il lancio di eTaskSync, un kernel integrato completamente verificabile per la famiglia STMicroelectronics STM32 di MCU. eTaskSync è disponibile come codice sorgente gratuito scaricabile dall’Embedded Software Store, un sito internet dedicato alla comunità di programmatori di sistemi embedded. eTaskSync supporta eventi, incarichi e mutex e adempie strettamente a MISRA-C:2004. È dotato di test per l’analisi MC-DC al 100% e per un code coverage “statement-and-object” del 100% che permettono agli ingegneri di verificare completamente il kernel nell’ambiente di destinazione. eTaskSync è destinato ad applicazioni che necessitano di un semplice meccanismo di programmazione ed è stato sviluppato utilizzando un livello di qualità verificabile. Il testo originale del presente annuncio, redatto nella lingua di partenza, è la versione ufficiale che fa fede. Le traduzioni sono offerte unicamente per comodità del lettore e devono rinviare al testo in lingua originale, che è l’unico giuridicamente valido. Photos/Multimedia Gallery Available: http://www.businesswire.com/multimedia/home/20131111005884/it/

HCC-Embedded USA444 East 82nd StreetNew York, NY 10028, USABernard Mushinsky, +1-212-734-1345info@hcc-embedded.comoppureHCC-Embedded EU24a Melville StreetEdinburgh EH3 7NS, UKDavid Brook, +44-7918-787-571www.hcc-embedded.com