Case Studies

Esprit Lean of Portet sur Garonne, France is a specialist company that provides custom electronic and software systems guiding production from concept and design through to market.

With expertise in both hardware and software, Esprit Lean has developed systems used in satellites, automotive, medical and industrial control applications. As a company Esprit Lean is committed to implementing and applying the most stringent quality techniques and practices to its development processes. Apart of this commitment, in addition to implementing an internal software control process, Esprit Lean is also ISO 9001 certified.

Als Entwickler effizienter qualitativ hochwertiger Software für die Märkte der Medizintechnik, des Transportwesens, der Industriesteuerungen und der Luftfahrt weltweit ist es für HCC Embedded äußerst wichtig seinen Ruf als Anbieter von zuverlässigen und qualitativ herausragenden Produkten zu wahren. Nach einer rigorosen und ausführlichen Evaluierung mehrerer miteinander konkurrierender Produkte wählte HCC Embedded die LDRA Werkzeugreihe zur Erzwingung des MISRA Standards und zur Erhöhung der Messlatte in Bezug auf die Softwareentwicklungsprozesse, die bei Dateisystemen und TCP/IP Produkten, von HCC Embedded entwickelt werden, zur Anwendung kommen.

Analox, ein Marktführer im Bereich des Aufspürens von Gasen entschied sich für den Einsatz der LDRA Werkzeugreihe bei zwei Projekten denen Sicherheitsaspekte zugrunde lagen. LDRA war auch das einzige Produkt, welches vollständig in die Analox Werkzeugreihe integriert werden konnte, so dass bei fallenden Kosten die Produktivität und die Qualität sich erhöhten.

Ultra entwickelte eine Aktualisierung eines vorhandenen, nicht zertifizierten Avionik-Systems und hob die signifikanten Herausforderungen hervor, die bei der Einführung der Forderung der Zertifizierung nach Do-178B Ebene B entstehen, wobei gleichzeitig eine Migration der Hardwareplattform auf eine handelsübliche (commercial off-the-shelf (COTS)) stattfand. Sie legten den Schwerpunkt auf die zu verwendeten Testtechniken und speziell wie die LDRA Werkzeugreihe die Herausforderungen bewältigte um eine sicherheits zertifizierbare Plattform auf VxWorks zu entwickeln.

Fairchild Controls – eine Tochterfirma von EADS North America (Fairchild) entschied sich für die LDRA Werkzeugreihe um sie in ihre Entwicklungsumgebung zu integrieren und ihre Möglichkeiten zu nutzen eine DO-178B Level C Zertifizierung zu erlangen. Die LDRA Werkzeugreihe half Fairchild dabei die Entwicklungsprozesse zu automatisieren und ihre Effektivität um 1000% zu erhöhen.

IHI, ein Hersteller von Düsentriebwerken in Japan, entschied sich für die LDRA Werkzeugreihe um seinen vorhandenen C und Ada Quellcode für die DO-178B Zertifizierung zu verifizieren. IHI fand heraus, dass die LDRA Werkzeugreihe 14mal schneller war als die Prozesse, die zuvor für die Überdeckungsanalysen benutzt wurden. IHI sagte auch, dass die Entscheidung für die LDRA Werkzeugreihe auf der Analysetiefe sowie der Vielzahl der vorhandenen Module beruhte.

Ultra Datel (Datel) verwendete die LDRA Werkzeugreihe (Softwareverifizierungswerkzeuge) in sicherheitskritischen Projekten. LDRA wurde in den Projekten Schutz vor Eis auf Tragflächen (Wing Ice Protection System (WIPS)) und Schutz vor Eis in Triebwerken (Engine Ice Protection System (EIPS)) benutzt. Datel berechnete einen Einspareffekt von £2 Millionen über 4 Jahre, da die LDRA Werkzeugreihe einen stromlinienförmigen und hochgradig automatisierbaren Verifizierungsprozess bereitstellt.

DENSO ist ein führender Lieferant für fortschrittlicher Automobiltechnologie, Systeme und Komponenten für nahezu alle Automobilwerke in der Welt. Sie verwendeten die Softwareanalysetechniken von LDRA erfolgreich zur Verbesserung der Qualität ihrer Softwareplattform. Die LDRA Werkzeugreihe wird als Maßstab für andere von dritter Seite angebotenen Produkte und ähnlicher Softwareplattformprodukte benutzt.