Verifizierbarer Kernel für STM32 als kostenlose Version im Embedded Software Store erhältlich

Free Verifiable Kernel Download (Graphic: Business Wire)

NEW YORK--()--HCC hat heute die Markteinführung von eTaskSync bekannt gegeben, ein vollständig verifizierbarer Embedded Kernel für die MCUs der STM32-Reihe von STMicroelectronics. eTaskSync ist als kostenloser Quellcode zum Herunterladen im Embedded Software Store erhältlich, eine Online-Seite, die sich speziell an die Embedded-Design-Community richtet. eTaskSync unterstützt Ereignisse, Aufgaben und Mutexe und entspricht vollständig dem Standard MISRA-C:2004. Es wird mit einer 100% MC-DC-Analyse und 100% Anweisungs- und Objektcode-Überdeckungstests ausgeliefert, sodass die Ingenieure die Möglichkeit haben, den Kernel in der Zielumgebung vollständig zu überprüfen.

eTaskSync zielt auf Anwendungen ab, die einen einfachen Terminierungs-Mechanismus benötigen und wurde auf Grundlage eines nachprüfbaren Qualitätsstandards entwickelt. Es ist für Einsatzbereiche wie medizinische Geräte, Industriesteuerungen und Transport geeignet, die einer Zertifizierung oder transparenten Qualitätsdokumentation bedürfen. Zur Unterstützung von Tests und Debugging enthält eTaskSync ein kostenloses Kernel-aware Plug-in für IAR Embedded Workbench und Atollic TrueSTUDIO.

eTaskSync wird mit dem vollständigen Quellcode über den Embedded Software Store vertrieben, ein gemeinsames Angebot von ARM und Avnet Electronics Marketing, das zur Unternehmensgruppe Avnet, Inc. (NYSE: AVT) gehört. Es kann ohne Zeit- oder Funktionsbegrenzung kostenlos zu Trainings- und Evaluierungszwecken verwendet werden. Für kommerzielle Anwendungen muss eine Lizenz erworben werden. Die Lizenzgebühren beginnen bei nur 7.000 US-Dollar und sie enthalten 12 Monate lang Support und Wartung.

Tim Barber, Senior Vice President für Design Chain Business Development, erläuterte: „eTaskSync ist eine hervorragende Möglichkeit für unsere Kunden, die eine kostenlose Quelle zur Evaluierung von Embedded-Anwendungen für verschiedene Lösungen suchen. Wenn Entwickler Tools zum Testen und Debuggen ihrer Prototypen suchen, finden sie im Embedded Software Store alles, was sie brauchen.“

David Brook, Director of Marketing von HCC, kommentierte: „Der Embedded Software Store ist eine wunderbare Quelle für Entwickler, denn dort finden sie hochwertige Embedded-Software wie eTaskSync.“

Eine kostenlose Version zum Herunterladen finden Sie im Embedded Software Store unter http://embeddedsoftwarestore.com/

Über HCC-Embedded

HCC Embedded ist ein führender Anbieter von innovativer Embedded-Middleware für Datenspeicherung und Kommunikation. Die Implementation der Produkte des Anbieters beruht auf einem leistungsstarken Prozess, der robuste, vom Target unabhängige Softwaremodule erstellt. Das Unternehmen bietet eine umfassende Produktreihe an, darunter ausfallsichere Dateisysteme, IPv4 & IPv6, USB-Software für Host und Device, Flash Translation Layers und den verifizierbaren Scheduler eTaskSync. Dank des Advanced Embedded Framework läuft die Software von HCC unabhängig von Betriebssystem, Werkzeugkette oder Hardware nahtlos in den meisten Embedded-Umgebungen. Alle Produkte von HCC-Embedded werden gebührenfrei lizenziert und mit komplettem Quellcode bereitgestellt.

WEB: http://www.hcc-embedded.com/

Twitter: http://twitter.com/HCCEmbedded

Facebook: http://www.facebook.com/HCCEmbedded

LinkedIn: http://www.linkedin.com/company/hccembedded

Die Ausgangssprache, in der der Originaltext veröffentlicht wird, ist die offizielle und autorisierte Version. Übersetzungen werden zur besseren Verständigung mitgeliefert. Nur die Sprachversion, die im Original veröffentlicht wurde, ist rechtsgültig. Gleichen Sie deshalb Übersetzungen mit der originalen Sprachversion der Veröffentlichung ab.

Contacts

HCC-Embedded USA
444 East 82nd Street
New York, NY 10028, USA
Bernard Mushinsky, +1-212-734-1345
info@hcc-embedded.com
oder
HCC-Embedded EU
24a Melville Street
Edinburgh EH3 7NS, UK
David Brook, +44-7918-787-571
www.hcc-embedded.com

Contacts

HCC-Embedded USA
444 East 82nd Street
New York, NY 10028, USA
Bernard Mushinsky, +1-212-734-1345
info@hcc-embedded.com
oder
HCC-Embedded EU
24a Melville Street
Edinburgh EH3 7NS, UK
David Brook, +44-7918-787-571
www.hcc-embedded.com