HCC Embedded - Fallstudien

Der Kunde

Für HCC Embedded als Entwickler effizienter, qualitativ hochwertiger Software für den weltweiten Medizin-, Verkehrs-, Industrie- und Aerospace-Markt ist es wichtig, sich einen Ruf für erstklassige und zuverlässige Produkte zu bewahren. Nach einer intensiven und gründlichen Bewertung des Wettbewerbsfelds entschied sich HCC Embedded dafür, die LDRA Tool Suite zur Erzwingung des MISRA-Standards zu nutzen und die Messlatte bei den Softwareentwicklungs-Prozessen für die von dem Unternehmen entwickelten Dateisysteme und TCP/IP-Produkte höher zu legen.

Das Projekt
Jedes Unternehmen behauptet, seine Tools seien die besten. Nur selten aber kann diese Behauptung mit belastbaren Daten belegt werden“ , erklärt Dave Hughes, CEO von HCC Embedded, und fügt hinzu: „Wir dagegen wollten unsere herausragene Qualität beweisen, und genau dies ermöglicht uns die LDRA Tool Suite mit ihrer umfassenden statischen Analyse und ihren überaus guten dynamischen Analysefähigkeiten.
Die Anforderungen

HCC Embedded nutzte die LDRA Tool Suite als entscheidendes Element einer umfassenderen Initiative zur Implementierung einer rigoroseren, verifizierbaren Methode. „Die LDRA-Tools halfen uns bei der Umstellung auf einen disziplinierteren Prozess. Was wir dazu brauchten, war ein Normprüfer, der systematisch die Anwendung guter Programmiermethoden erzwingt.“

Durch die Verwendung von MISRA kann HCC Embedded garantieren, dass die vollständigste und rigoroseste Implementierung von C angewandt wird. „Der MISRA-Standard ist eine äußerst strikte Teilmenge der C-Sprache und dürfte die wohl beste Referenz für die Realisierung von etwas Verifizierbarem sein“, betont Hughes. „Hinsichtlich ihrer Gründlichkeit und ihrer umfassenden Fähigkeit zur Durchsetzung des MISRA-Standards ist die LDRA Tool Suite das beste Tool, das wir gefunden haben.“

In kritischen Systemen betont MISRA-C:2004 insgesamt 141 Reglen in 21 Kategorien. HCC Embedded war in der Lage, alle diese Regeln zu implementieren, damit der entwickelte Code möglichst sauber war.

Die Vorteile
Tatsache ist, dass die LDRA Tool Suite weit mehr bietet als andere MISRA-konforme Lösungen“, erklärt Hughes. „Die LDRA Tool Suite ist bei weitem die beste Implementierung, die wir gefunden haben.

HCC Embedded verwendete die LDRA Tool Suite zur Entwicklung seines neuen MISRA-konformen TCP/IP-Stacks für eingebettete Applikationen, die nach einem hohen Maß an Integrität verlangen. Die Ingenieure entwarfen den Code gemäß den MISRA-Richtlinien und ließen ihn von der statischen Analyse-Engine der LDRA Tool Suite prüfen, um die uneingeschränkte MISRA-C:2004-Konformität zu gewährleisten. „Die LDRA Tool Suite verifiziert und dokumentiert die Konformität des Codes“, sagt Hughes. „Unser Code ist gut strukturiert und leicht lesbar – dank MISRA, und weil die LDRA-Tools die korrekte Umsetzung des Standards verifizieren.“

Beeindruckt von dem Qualitätsunterschied, den die LDRA Tool Suite brachte, entschloss sich HCC Embedded, die Anwendung der strengsten Programmierstandards bei allen wichtigen Produkten zur Regel zu machen und die volle MISRA-Konformität mit der LDRA Tool Suite zu prüfen und nachzuweisen. Für HCC verleiht eine derart rigorose, hohe Qualität den Tools des Unternehmens eine Sonderstellung und setzt einen messbaren Qualitätsmaßstab, den es in der Branche bis dato nicht gibt.

Wir sind überzeugt, dass wir mit der Nutzung der LDRA Tool Suite zur Implementierung von MISRA-C:2004 dafür sorgen, dass die HCC-Tools auf Code von verifizierbar höherer Qualität basieren“, erklärt Hughes und ergänzt: „Wir erhalten sauberen, klaren und robusten Code ohne Mehrdeutigkeiten. Unsere Tools sind deshalb für den Einsatz in den kritischsten Embedded-Anwendungen gerüstet.“
Die Zukunft

Dank der gesteigerten Qualität und Zuverlässigkeit beabsichtigt HCC Embedded die Implementierung der MISRA-Konformität in seiner gesamten Produktlinie. Sollte die Konformität zu anderen Standards wie etwa den Security-orientierten Standard CERT C für die Kunden wichtig werden, wird HCC Embedded auch diese integrieren.

Wir sind entschlossen, qualitativ hochwertige Software-Tools zu liefern, die allen von uns gemachten Behauptungen entsprechen. Der von der LDRA Tool Suite durchgesetzte MISRA-Standard legt die Qualitäts- und Zuverlässigkeits-Messlatte für unsere Kunden und die Branche insgesamt höher.

Laden Sie sich hier den Newsletter herunter >>