





CodeSonar® Kunden
CodeSonar® von CodeSecure ist seit langer Zeit das bevorzugte Software-Analyse-Tool für Entwickler von embedded Software und missionskritischen Applikationen wie Satelliten, Flugzeuge, Industrial Controls und Medizintechnik.Aber auch Firmen außerhalb des sicherheitskritischen Bereiches nutzen CodeSonar® zur Verbesserung der Softwarequalität und -sicherheit.
Hier eine kleine Auswahl unserer Kunden:
Luft- und Raumfahrt/Verteidigung:
Deutsches Zentrum für Luft- und Raumfahrt (DLR),
AIRBUS, BAE Systems, Boeing, GE Aviation Systems, Honeywell, Lockheed Martin, NASA, Northrop Grumman, Raytheon, ...
Elektronik/Industrial Control:
A. Eberle GmbH & Co. KG, Anedo, Andreas STIHL AG & Co. KG, Bernecker + Rainer Industrie-Elektronik, devolo AG, DORMA Time + Access GmbH, Emz-Hanauer GmbH & Co KG, HEKATRON, Inaos GmbH, Pepperl+Fuchs GmbH, Sensor Technik Sirnach AG, Siemens AG,
Alstom Power, Analog Devices, Bosch Security Systems, Canon, CS Holdings, Fujitsu, General Electric, Hyundai, Ingenico, Konica Minolta, LG, Olympus, SanDisk, Schneider Electric, Sony, ST Electronics, ...
Medizintechnik:
B. Braun Melsungen AG,
Boston Scientific, Cardinal Health, Harvard Apparatus, Karl Storz Imaging, Philips Medical Systems, Varian Medical Systems, ...
Telekom/Datacom:
Alcatel-Lucent, LG Electronics, Panasonic Mobile, Qualcomm, Samsung Electronics, ...
Automotive/Transportation:
BMW, Daimler, Knorr-Bremse SfS GmbH, ...
Daewoo, Denso, GE Transportation, Hyundai Motors, Kawasaki, Volvo, ...
sonstige:
INVARIS Informationssysteme GmbH, Kappa optronics GmbH, Kronegger GmbH, LEMKEN GmbH & Co. KG, Logicdata GmbH, Schrack Seconet AG, Viessmann Elektronik GmbH,
staatliche Organisationen/Forschungsinstitute:
Fraunhofer Institut IESE,
Food and Drug Administration (FDA), NASA, National Institute of Standards and Technology (NIST), US Air Force, US Army, US Navy, ...
Universitäten und Hochschulen:
Hunderte von Universitäten und Hochschulen aus allen Erdteilen nutzen CodeSonar® für Forschung und Lehre im Rahmen unseres Hochschulprogramms.
Im deutschsprachigen Raum gehören hierzu unter anderem: Berner Fachhochschule, Hochschule für Technik und Wirtschaft Dresden, Hochschule Offenburg, TU Hamburg Institut für Flugzeug-Systemtechnik, ...
User-Testimonials
Lesen Sie hier was unsere Kunden über CodeSonar sagen.Expertenmeinung

Dr. Stephan Grünfelder: Software-Test für Embedded Systems, dpunkt.verlag, Mai 2013, ISBN 978-3-86490-048-8




CodeSonar 4 für Embedded Systeme
![[PDF]](icon-pdf-15x16.gif)
![[PDF]](icon-pdf-15x16.gif)
Development Testing
Defect Detection
Concurrency Checks
Security Checks
Software-Metriken
Automatisierung der Quellcodeverifikation
CodeSonar for Java
Erfüllung von Normen
DO-178
ISO 26262
FDA-Normen
MISRA
CWE- und BSI-Regeln
"Power of Ten" und JPL-Regeln
IEC 62443
Wie Statische Codeanalyse funktioniert
Workflow-Features
Binary-Analyse
Visual-Taint-Analyse
Whitepapers
Referenzen
Hochschulprogramm
Fallstudien
![[PDF]](icon-pdf-15x16.gif)