Finden Sie schnell anderes für Ihr Unternehmen: 49 Ergebnisse

geeignet für die Verpackung von Standard-Infusionslösungen Optimiert für Warmpressschweißen Widerstandsfähig auch bei niedrigen Temperaturen bei 121°C sterilisierbar Gute Wasserdampfbarriereeigenschaften

Professionelle Reinigungs- und Pflegeprodukte für Schutzwände Bei uns erhalten Sie Spezialprodukte für die richtige Reinigung und Pflege von Acrylglas und anderen transparenten Kunststoffen Antistatischer Kunststoff-Reiniger und Pfleger Messbar antistatisch und pflegend, erzeugt keine Spannungsrisskorrosionen VPE: Sprühflasche á 250 ml (24 St./Karton) oder 500 ml (12 St./Karton) oder im 10-l-Kanister Kunststoff-Intensivreiniger Intensiv reinigendes Spezialmittel zur Beseitigung stärkerer Verschmutzungen. VPE: Sprühflasche á 250 ml Spezial-Tücher für die Kunststoffpflege Fusselfrei, besonders weich und saugfähig. Baumwollmaterial strapazierfähig und waschbar (bis 40 °C), Größe ca. 28 x 24 cm, Stofffarbe: Chamois VPE: 60 Stück/Packung Acrylglas-Polierpaste Zur Entfernung von Kratzern und blinden Stellen. VPE: Tube á 75 ml (92 g) oder á 200 ml (245 g) Tipps zur richtigen Reinigung/Pflege von Acrylglas finden Sie auf unserer Website.

Projekte sind immer einzigartig. Wie bieten unseren Kunden eine Gesamtlösung von der Planung bis zur Umsetzung. Beratung und Planung Projekte sind immer einzigartig. Und so behandeln wir sie auch. Wie bieten unseren Kunden eine Gesamtlösung von der Planung bis zur Umsetzung. Zusammen überprüfen wir die technische Machbarkeit, denn die Anforderungen unterscheiden sich immer je nach Branche. Nach dem ersten Brainstorming mit unserem Kunden setzen wir uns an die Planung. Wir kreieren und entwickeln kundenspezifische Ideen um die Automatisierung und Fertigungsprozesse im Unternehmen zu optimieren. Denn unsere Kunden erhalten von uns kein Standartprodukt, sondern eine maßgeschneiderte Anlage.

Die von ITWH entwickelten Sicherheitsvorrichtungen dienen zum Schutz des Wartungspersonals bei Arbeiten in Teilbereichen des Walzwerkes ohne den Walzbetrieb zu unterbrechen. Die Vorrichtung ist mit Sicherheitsendschaltern und hydraulisch betätigten Verriegelungen ausgestattet.

Durch Regranulierung wird aus vermahlenem Industriekunststoff qualitativ hochwertiges Material hergestellt, das in der Produktion wiederverwendbar ist. Ersatz für Primär Kunststoff Individuell nach Kundenwunsch Produkt ohne Qualitätsverlust

Ihre Zukunft ist digital. Digitaler Posteingang, Erfassung und Verifizierung von Papierdokumenten "just in time" oder die Aufarbeitung Ihres alten Aktenbestandes – alles aus Papier digitalisieren wir Die Übermittlung nach höchsten Sicherheitsstandards im Rahmen der DSGVO ist dabei selbstverständlich. Und per Schnittstelle geht es auf Wunsch direkt in Ihr DMS-System. Auch historische Dokumente oder Fotos werden per Fotoscan zu Ihrem individuellen Firmenarchiv. Sortiert und direkt auffindbar. Wie wir das genau machen? Vereinbaren Sie einen unverbindlichen Beratungstermin! Wir informieren Sie sehr gerne! Digitalisierung von Dokumenten Wir scannen, klassifizieren und verschlagworten Ihre Unterlagen. Diese speichern wir auf Ihrem präferierten Medium, sei es Disc, Stick oder FTP-Server in Ihrem gewünschten Datenformat. Ob Jahresabschlüsse, Projektordner, wertvolle Urkunden und Originale, wichtige Protokolle, Einkaufsbelege, Angebote oder Rechnungen. All Ihre Unterlagen, die in Papierform vorliegen, digitalisieren wir nach Ihren Wünschen. Digitaler Posteingang Sie öffnen und sortieren Ihre Eingangspost noch selbst? Und verteilen sie mühsam in alle Fachabteilungen und Bereiche? Kopieren und informieren mehrere Mitarbeiter? Der digitale Posteingang der reha gmbh übernimmt das alles für Sie, von der Postfachabholung, der digitalen Übermittlung an Ihre Verteiler oder der Klassifizierung zum Import in Ihre Systeme. Personalisierte Post und Empfängergruppen nach Ihren Vorgaben bleibt dabei selbstverständlich ungeöffnet und wird Ihnen zugestellt. Verifizierung Ist ein Kundenvertrag korrekt unterschrieben, das Einverständnis bezüglich dem Datenschutz erteilt? Oder wickeln Sie Aktionen oder Gewinnspiele mit Teilnahmekarten ab und die Hälfte ist nicht leserlich? Wir verifizieren Ihre Papierdokumente und clustern sie in vollständige und korrekte sowie in fehlerhafte, einschließlich Handschrifterkennung und Vervollständigung. Großformat- und Buchscan Pläne, Projektübersichten oder Patientendiagramme - Groß- oder Sonderformat. Kein Problem für unser Team der Digitalisierung. Wenn gewünscht, in der digitalen Akte wieder an der folgerichtigen Stelle verfügbar. Historische Dokumente, Bücher oder gebundene Druckstücke - diese werden per Buch- und Fotoscan abgelichtet, ohne Ihre wertvollen Originale zu beschädigen. Archivierung, Aktenvernichtung Per Datenübertragung in Ihr DMS? Aufbau einer Ordnerstruktur zur digitalen Langzeitablage? Oder PDF-Daten "just in time"? Wir übermitteln Ihre Dokumente nach Ihren Vorgaben. Möchten Sie Ihre Original-Dokumente zurück haben oder sollen diese nach erfolgreicher Übermittlung und Prüfung des Digitalen Bestandes der Vernichtung zugeführt werden? Mit Hilfe unseres Systempartners "Documentus" kümmern wir uns darum und führen den entsprechenden Nachweis der Vernichtung nach Ihren Vorgaben.

Mit unserer CNC Fräsmaschine bearbeiten wir fast alle Werkstoffe. - Drehtechnik - Schweisstechnik - Brennschneiden - Plasmaschneiden - Zuschnitte auf Tafelschere oder Säge - Walzen - Abkanten - CNC Drehen - CNC Fräsen - Schweissen WIG, MIG, MAG

Bevor viele chemische Zwischen- und Endprodukte weiterverarbeitet werden können, benötigen sie zunächst einen zusätzlichen Verfahrensschritt: die Vakuum- oder Sprühtrocknung. Sie sparen durch das Outsourcen dieses Vorgangs Zeit und Geld. Bereits seit 20 Jahren als Ihr kompetenter und zuverlässiger Outsourcing Dienstleister für die Lohnfertigung und Lohnproduktion übernehmen wir Arbeitsschritte, die nicht zu Ihrem eigentlichen Kerngeschäft gehören, daher häufig aus Zeit- und oder Kostengründen ausgelagert werden. Seit eben diesen 20 Jahren verlassen sich unsere Auftraggeber vornehmlich aus der chemischen Industrie und in pharmazeutischen Unternehmen auf unseren hohen Qualitäts- und Sicherheitsanspruch. Wir führen jede Lohnfertigung exakt nach Ihren Vorgaben und Rezepturen aus – so auch die Lohntrocknung. Wir verfügen über skalierfähige Vakuum- und Sprühtrockner. Somit können wir flexibel auf Ihren Auftrag respektive Ihr zu trocknendes Gut reagieren. Menge und Preis: Individuelle Verhandlung

Gefahrgut verpacken erfordert Erfahrung und Verpackungen auf dem höchsten Niveau. Auch diesen speziellen Service stellen wir unseren Kunden zur Verfügung. Eigens für diesen sensiblen Bereich der Verpackungen und des Transportes haben wir ein Gefahrgutdepot etabliert. Dort werden ausschließlich Gefahrgüter durch geschultes und fachspezifisches Personal für den Versand vorbereitet, sowie die erforderlichen Dokumente erstellt. Selbst radioaktive Güter können durch uns entsprechend verpackt und versendet werden. Wir bieten Ihnen einen Rundum-Service: • Individuelle Beratung durch Verpackungsspezialisten • Einhaltung aller Richtlinien der Fachgruppe „Verpackung nach HPE-Standard“ • Verpackung und Beschriftung gemäß aktuell gültiger Vorschriften • Erledigung aller notwendigen Gefahrguterklärungen (IATA, IMDG, ADR-RID)

Dieser letzte Schritt im Kühlgeräte-Recycling nach System SEG bezieht sich auf die Aufbereitung einzelner Produktströme aus der Stufe 1 und 2 sowie deren wertorientierter Vermarktung. Hochwertig vermarktet werden Aluminium- und FE-Shreddergut. Aber auch Polystyrol (ehem. Gehäusematerial) findet als PS-Mahlgut hochwertigen Wiedereinsatz. Polyurethan (ehem. Isolierung) erhält als Öl- und Chemikalienbinder ÖKO-Pur ein „zweites Leben“.  

Die Shelly Pro Line (Wi-Fi und Bluetooth-Relais) bietet mit der Möglichkeit eines LAN-Anschluss eine präzise Energieverwaltung und -Steuerung - Die Haus- und Gebäudeautomation auf höchstem Niveau. Mit verbesserten Sicherheitsfunktionen ermöglicht die Shelly Pro Linie eine vollständige Automatisierung und Steuerung ohne zusätzliche Kabel oder Verdrahtung. Shelly Pro Linie ist perfekt für Haushalte, Büros, Geschäfte, Unternehmen und Produktionsstätten. ANWENDUNG Der Shelly Pro 4PM wird im Sicherungskasten installiert und entspricht der weltweiten DIN-Schienen Standardisierung. Das macht ihn geeignet für alle Arten von Gebäude und gewährleistet so eine einfache Installation ohne das zusätzliche Komponenten benötigt werden. VORTEILE IM ÜBERBLICK Überhitzungsschutz: Im Falle einer zu hohen Temperatur oder eines schnellen Temperaturanstiegs schaltet das Gerät die Ausgänge ab und sendet eine Benachrichtigung. Der interne Temperatursensor misst die Wärme alle 100 ms. Überlastungsschutz: Bei erkannter Überlastung schaltet das Gerät die Ausgänge ab und sendet sofort eine Benachrichtigung. Die Überspannungsschutzfunktion schützt das Gerät und andere elektrische Geräte vor möglichen Schäden. Überspannungsschutz: Spannungsspitzen können für elektrische Geräte und Maschinen gefährlich sein. Um Schäden an den elektrischen Geräten zu vermeiden, schaltet das Gerät die Ausgänge ab, wenn Überspannungsspitzen erkannt werden, und sendet sofort eine Benachrichtigung. Schwer entflammbar: Alle Shelly Pro Komponenten werden aus schwer entflammbaren Materialien hergestellt und behalten ihre Konstruktion auch bei starker Hitzeeinwirkung bei. HTTP/HTTPs Webhooks: Erweitert mit HTTP/HTTPs Webhooks kann die Shelly Pro Linie sich leicht mit anderen kompatiblen Geräten oder Automatisierungssystem eines Drittanbieters verbinden, Benachrichtigungen senden oder die Steuerung der Geräte übernehmen. Sonnenauf/-untergangssteuerung: Shelly Pro Line kann den Strom ein- und ausschalten je nach Sonnenuntergang oder Sonnenaufgang, was sie perfekt für die dynamische Steuerung der elektrischen Geräte eignet. Individuelle Automatisierung (Terminplanung): Shelly Pro Line ermöglicht Ihnen die Einstellung von bis zu bis zu 50 Aktionen basierend auf Ihrem Tages- bzw. Wochenplan, ohne dass Sie einen einen externen Hub oder Server benötigen. Skripting für benutzerdefinierte Automatisation: Die Shelly Pro Linie unterstützt vollständig mjS Skripting, sodass Sie eigene Features und Funktionen erstellen können. Es können mehrere Skripte gemeinsam ausgeführt werden.

Mit den Entwässerungs-, Entgasungs- und sonstigen Fluidpflegesystemen bietet HYDAC eine umfangreiche Palette an professionellen Lösungen zur Ölpflege von Hydraulik- und Schmiermedien im Nebenstrom. Das Produktprogramm von HYDAC umfasst sowohl mobile als auch stationäre Pflegesysteme. - Entwässerung durch Vakuum- oder Koaleszenzverfahren - Elimination von Säuren und Ölalterungsprodukten / Varnish - Entgasung und Pflege von Transformatorenöl - Entölung von Wasser

Unsere bewährten Strategien verwandeln Ihre Apotheke in einen Zukunftsmotor. Wir maximieren die Effizienz und Funktionalität Ihrer Apotheke mit ästhetisch ansprechenden Lösungen. Mit langjähriger Erfahrung und einem tiefen Verständnis für die Branche bieten wir innovative Konzepte, die Ihre Vision in die Realität umsetzen.

Robuste Verriegelungen aus strapazierfähigem Kunststoff Diese robuste Verriegelungen aus strapazierfähigem Kunststoff hergestellten Schloßfallen sind einfach und geräuschlos in der Anwendung und haben eine lange Lebensdauer; sie können mit verschiedenem Öffnungs- und Schließdruck geliefert werden.

Sonderfunktion bis 45° möglich bis max. Werkstückhöhe 520mm Drahterodiermaschinen_: Sonderfunktion bis 45° möglich bis max. Werkstückhöhe 520mm Sonderfunktion mit Draht 0,1mm Oberflächengüte bis Ra 0.1 möglich Arbeitet auch mit Roboter Work-Pal 3R-System

Bei dieser anspruchsvollen Schleifaufgabe, der Fertigung einer Turboladerturbine, werden fünf Außenrund- Schleifoperationen durchgeführt. Das Werkstück besteht aus einem hochwarmfesten, stark legierten Gußkopf, der durch Reibschweißen mit dem Stiel aus sehr zähem Material verbunden wurde. Mit einer Zweischichtscheibe - einer Spezialität von COMET - wird im Schrägeinstechschleifen die Planfläche des Kopfes, die Schweißstelle und der Stiel über die gesamte Länge in einem Durchgang geschliffen, um die geforderte Geometrie herzustellen. Dabei wird mit der zweiten Schicht in weißem Edelkorund dem vom Stiel abweichenden Material und der Gefahr von Überhitzung Rechnung getragen. Werkstücke mit konstantem Durchmesser können im Spitzenlos-Durchgangsschleifen bearbeitet werden. Zwischen einer gummigebundenen Regelscheibe und einer keramisch oder kunstharzgebundenen Arbeitsscheibe wird hier der geforderte Abtrag erzielt. Je nach Länge der Schleifzone und der geforderten Abtragsleistung wird mit unterschiedlichen Körnungen gleichzeitig vor- und fertiggeschliffen. Aufgrund ihrer Geometrie können andere Teile nicht zwischen Spitzen gespannt und somit nicht im Durchgangsschleifen bearbeitet werden. Sie durchlaufen das Spitzenlos- Einstechschleifen. Auch hier werden die Werkstücke durch eine Regelscheibe in Rotation versetzt und mit Hilfe eines Lineals geführt. Die Arbeitsscheibe hat jedoch im Vergleich zum Durchgangsschleifen zur besseren Profilhaltigkeit eine höhere Härte.

eine umfangreiche Produktpalette aller namhaften Hersteller, von Elektroartikeln und Zubehör, zu einem fairen Preis ein bewährtes Bestell- und Versandwesen, realisiert eine Auslieferung an unsere Kunden in kürzester Zeit eine zuverlässige Fachberatung für alle offenen Kundenwünsche Minimierung von Standzeiten durch eine optimale Lagerbevorratung aller gängigen Elektrokomponenten

Auf unseren modernen Spritzgussmaschinen können alle gängigen thermoplastischen Kunststoffe bis zu einem Schussgewicht von 180 Gramm verarbeitet werden. Unser neues und modernes Firmengebäude, mit klimatisierter Produktion, sorgt für optimale Bedingungen und legt somit den Grundstein für hohe Qualität. Wir beraten Sie ab der Planung neuer Werkzeuge bis zur Serienherstellung komplexer und qualitativ hochwertiger Kunststoffprodukte. Dabei arbeiten wir mit erfahrenen Konstrukteuren und Werkzeugbauern eng zusammen.

Transportpalette für Räumnadeln im Bereich der Getriebeherstellung, Automobilzulieferbetrieb. Unsere Stärke ist die Konzeption und Umsetzung von individuellen, modernen Automatisierungslösungen für die Branchen Automotive, Life Science und General Industry. Individuelle Anforderungen werden dabei bis ins kleinste Detail berücksichtigt. So können wir immer das Maximum an Prozesssicherheit, Qualität und Wirtschaftlichkeit garantieren.

Auf Basis unserer GFK-Standardprofile ist die Erstellung kompletter Strukturen wie Laufstege, Treppenanlagen und Podeste möglich. MEISER liefert hierbei die komplette Leistung, beginnend mit der fachgerechten Planung (inkl. 3D Darstellung), der statischen Berechnung bis hin zur Vormontage der Strukturen zu transportfähigen Kleinbaugruppen. Auch komplett metallfreie GFK-Konstruktionen, bei welchen selbst die kleinsten Verbindungsmittel nicht aus einem leitfähigen Material bestehen dürfen, werden durch MEISER fachgerecht geplant, gefertigt und geliefert. Auf Wunsch ist auch die bauseitige Montage der GFK-Konstruktion durch MEISER realisierbar.

Stapelbare Rungengestellen. Abmessungen und Nutzlasten nach Kundenwunsch.

Unser Service für Sie! ✓ Ersteinrichtung Smartphone/Tablet ✓ Geräte-Reset ✓ Apps installieren ✓ Datenübertragung ✓ Reparaturabwicklung ✓ Guthaben aufladen ✓ Datensicherung ✓ Vertragskündigung- und änderung ✓ Leihgeräte ✓ Datenrettung ✓ Handyschutz & Geräteversicherungen ✓ Software-Updates ✓ SIM-Karte stanzen ✓ Schutzfolie aufbringen ✓ Klärung von Vertragsangelegenheiten mit dem Netzanbieter ✓ SIM-Karte entsperren ✓ aetka 3-Jahres-Garantie ♥ Wir kümmern uns!

Das Modul Fleischwaren kann nur in Zusammenhang mit der Software GRS SIGNUM genutzt werden. Dieses Modul ermöglicht Ihnen die besondere QUID-Berechnung (QUID = QUantitative Ingredient Declaration) bei Fleischwaren auf eine äußerst komfortable Art und Weise. Die Ergebnisse werden sowohl nach den Bestimmungen des BVDF als auch nach GdCh berechnet. Auch an dieser Stelle erlaubt der eingebaute Berichtsgenerator eine völlig freie Gestaltung von Auswertungen, Formularen und Berichten, die die errechneten Daten auf Basis jeder einzelnen Fleischart oder aber auch auf Rezepturebene widerspiegeln.

Konstruktion von Werkzeugen, Vorrichtungen, Spannzeugen, Maschinen und Alagenteilen, Schweißvorrichtungen, Stanzwerkzeuge, Umformwerkzeuge, Lehren

Die zerstörungsfreie Datenerfassung mit Metrotomografie erfolgt bei unserem Businesspartner Carl Zeiss IMT. Während das Bauteil um 360° gedreht wird, durchleuchtet eine Röntgenquelle den Prüfgegenstand mit elektromagnetischen Strahlen, wodurch Volumendaten ermittelt werden. Die Volumendaten werden uns anschließend zur Verfügung gestellt und entsprechend Ihren Wünschen mit Software Calypso Option CT ausgewertet.

Die Gravuren werden in unserer Gravuranstalt genau nach Ihren Wünschen angefertigt. Schmuckgravuren Schilder- und Industriegravuren Typenschilder und Werbeschilder

Bei der Teilefertigung von 4 bis 65 mm Durchmesser bearbeiten die meisten Metalle und Legierungen und dies von der Vorserie bis zu Serien mit großen Stückzahlen. Außerdem besitzen wir für Tätigkeiten wie Wärmebehandlung, Oberflächenbehandlung, Schleifen, Läppen… ein erstklassiges Zulieferernetz. Diese Vielseitigkeit ermöglicht es uns, unsere Kunden in jeder Projektphase zu begleiten.

Hydraulik-Schlauchleitungen sind prüfpflichtige Arbeitsmittel in der Betriebssicherheitsverordnung BetrSichV. In unserem 2-Tages Seminar erklären wir Ihnen alles, was Sie für die Prüfprotokolle nach DGUV 113-020 (DGUV 113-015 – BGR 237) benötigen und auf welche Punkte Sie besonders achten müssen. DGUV113-20 Qualifizierung zur befähigten Person für Hydraulik-Schlauchleitungen Seit dem 1.1.2003 sind Hydraulik-Schlauchleitungen als prüfpflichtige Arbeitsmittel in der Betriebssicherheitsverordnung BetrSichV deklariert worden. Ferner ist für Sie als Arbeitgeber und Unternehmer am 1.6.2015 die neue Betriebssicherheitsverordnung mit vielen wichtigen Änderungen und Regelungen in Kraft getreten. In der am 1.6.2016 erneut geänderten Fassung der BetrSichV wurden wieder zahlreiche Ergänzungen und Anpassungen vorgenommen, auf die wir im Seminar detailiert eingehen und speziell hinweisen. Basierend auf den Ergebnissen Ihrer Gefährdungsbeurteilung §3 BetrSichV und Vorgaben des Maschinenherstellers, muss eine „befähigte Person“ die Hydraulik-Schlauchleitungen nach DGUV 113-020 (vormals BGR 237) prüfen und dokumentieren und das mindestens 1 x jährlich Hierbei gilt zu beachten, dass Ihre aussagekräftige, betriebsinterne Gefährdungsbeurteilung mit berücksichtigt wird. Haben Sie diese Richtlinien schon umgesetzt und sind Ihnen die Zusammenhänge bewusst? In unserem 2-Tages Seminar erklären wir Ihnen alles, was Sie für die Prüfprotokolle nach DGUV 113-020 benötigen und auf welche Punkte Sie besonders achten müssen. Wie sehen Schadensbilder aus, worauf muss ich achten? Wie sieht ein mögliches Prüfprotokoll aus? Welche Richtlinien, DIN, TRBS, usw. benötigen als Grundlage? Kein Problem, wir zeigen Ihnen den kompletten Ablauf. Empfehlung: Vorheriger Besuch des Hydraulik Grundlagen Seminares. So werden zusammenhängende Abläufe klar und verständlich.

PP-Umreifungsbänder empfehlen wir Ihnen zur Verwendung bei mittelschweren Palettenladungen bis ca. 300 kg. Speziell für Kleinverbraucher haben wir ein PP-Umreifungsband im Spendekarton mit 600 lfm. Unser PP-Umreifungsband ist speziell für Umreifungsmaschinen und alle gängigen Handgeräte geeignet. Aufgrund der hohen Reißfestigkeit sind diese zum Fixieren von Palettenladungen und Umreifen von Paketen bestens geeignet. Artikelnummer: UMR12055PP Bandbreite: 12 mm Rollenlänge: 2500 m Materialstärke: 0,55 mm

ACM Software System Award Timing Stack Usage Runtime Errors Rule Checking Compilation automatisch berechnet sichere Grenzen für die maximale Ausführungszeit von Aufgaben in ausführbaren Binärdateien, unter Berücksichtigung des Cache- und Pipeline-Verhaltens des betreffenden Prozessors. TimeWeaver kombiniert statische Analysen mit Messungen aus Hardware-Traces. Und TimingProfiler ermöglicht es Ihnen, das Zeitverhalten in frühen Phasen der Softwareentwicklung zu überwachen. StackAnalyzer ermittelt automatisch den maximalen Stackverbrauch der Aufgaben in eingebetteten Anwendungen. Es analysiert direkt ausführbare Binärdateien und berücksichtigt alle möglichen Ausführungsszenarien. Eine enge Integration mit TargetLink und SCADE ist verfügbar, ebenso wie Qualifikationssätze für ISO 26262, DO-178B, IEC 61508 und andere Sicherheitsstandards. Astrée weist automatisch das Fehlen von Laufzeitfehlern und ungültigem parallelem Verhalten in C/C++-Anwendungen nach. Es ist präzise für Gleitkommaberechnungen, sehr schnell und außerordentlich genau. Der Analyzer überprüft auch MISRA-Codierungsregeln und unterstützt die Qualifikation für ISO 26262, DO-178C Level A und andere Sicherheitsstandards. Jenkins- und Eclipse-Plugins sind verfügbar. RuleChecker überprüft automatisch Ihren C- oder C++-Code auf Konformität mit MISRA-Regeln, CERT-Empfehlungen und anderen Codierungsrichtlinien, einschließlich eigener Regeln. Er kompiliert auch Code-Metriken und unterstützt eine einfache Qualifikation für ISO 26262, DO-178B/C und andere Sicherheitsstandards. Plugins für TargetLink, Jenkins, Eclipse und ARM Keil µVision sind verfügbar. CompCert ist ein formal verifizierter optimierender C-Compiler für sicherheitskritische und missionskritische Software. Im Gegensatz zu jedem anderen Produktionscompiler ist mathematisch nachgewiesen, dass er frei von Misskompilationsproblemen ist. Dieses Vertrauen in die Korrektheit des Kompilierungsprozesses ist beispiellos und hilft, die höchsten Ebenen der Software-Sicherheit zu erreichen. Automobil Luftfahrt Energie Raumfahrt Kommunikation Seit zwei Jahrzehnten setzt Airbus France unsere Tools bei der Entwicklung sicherheitskritischer Avionik-Software für mehrere Flugzeugtypen ein, einschließlich der Flugsteuerungssoftware des A380, des größten Passagierflugzeugs der Welt. Honda hat unsere Tools bei der Entwicklung der FADEC-Software eines Turbofan-Triebwerks verwendet. Die Technische Universität München verwendet unsere Tools bei der Entwicklung, Prüfung und Optimierung von Flugsteuerungs- und Navigationsalgorithmen. Daimler setzt unsere Tools in vielen Automobilsoftwareprojekten ein, einschließlich des Antriebsstrangsteuerungssystems des Actros-LKW. Bosch Automotive Steering hat ihre Legacy-Tools durch Astrée und RuleChecker ersetzt, was zu erheblichen Einsparungen durch schnellere Analysen, höhere Genauigkeit und geringere Lizenzkosten führt. Continental verlässt sich seit Jahren auf unseren Stack-Analyse-Service, um Überläufe im Stack ihrer Airbag-Steuerungssysteme zu vermeiden. NASA hat unser Timing-Analyse-Tool zur Demonstration des Fehlens von zeitbezogenen Softwarefehlern bei der Untersuchung des Toyota-Falles von 2010 verwendet. OHB verwendet unsere Tools bei der Entwicklung von Bordsoftware, die für den Missionserfolg der SmallGEO-Plattform für geostationäre Kommunikationssatelliten und der GALILEO FOC+++ Plattform für Satellitennavigation unerlässlich ist. ESA hat unseren Runtime-Fehleranalysator verwendet, um das Fehlen von Laufzeitfehlern in der automatischen Andocksoftware des Jules Verne Automated Transfer Vehicle nachzuweisen, sodass es Nutzlasten zur Internationalen Raumstation transportieren konnte. Seit 2003 arbeiten wir mit dem Deutschen Zentrum für Luft- und Raumfahrt an acht verschiedenen mitt