Mercati

Kernel verificabile per STM32 distribuito gratuitamente sull’Embedded Software Store

Questa notizia è stata scritta più di un anno fa old news

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, [email protected] EU24a Melville StreetEdinburgh EH3 7NS, UKDavid Brook, +44-7918-787-571www.hcc-embedded.com