Finden Sie schnell analysee für Ihr Unternehmen: 7 Ergebnisse

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

SunshineTec GmbH bietet umfassende Wartungs- und Serviceleistungen für Photovoltaikanlagen an, um deren Effizienz und Langlebigkeit zu gewährleisten. Regelmäßige Wartung ist entscheidend, um den optimalen Betrieb Ihrer Anlage sicherzustellen und mögliche Störungen frühzeitig zu erkennen. Unser erfahrenes Team führt präzise Inspektionen durch und behebt potenzielle Mängel schnell und zuverlässig. Eigenschaften und Vorteile: Regelmäßige Inspektionen: Frühzeitige Erkennung von Verschleiß und Schäden zur Vermeidung kostspieliger Ausfälle. Reinigungsservice: Professionelle Reinigung der PV-Module zur Maximierung der Energieausbeute. Fehleranalyse: Detaillierte Überprüfung aller Komponenten zur Erkennung von Leistungsabfällen. Schnelle Reparatur: Unsere Experten beheben Störungen effizient, um lange Ausfallzeiten zu vermeiden. Monitoring: Überwachung der Anlagenleistung in Echtzeit zur schnellen Identifikation von Problemen. Erweiterte Garantie: Verlängerte Garantieoptionen für eine langfristige Absicherung Ihrer Investition. Ersatzteilservice: Direkter Zugang zu hochwertigen Ersatzteilen zur Minimierung der Reparaturzeit. Vertrauen Sie auf unsere Expertise und sichern Sie sich maximale Erträge mit unserem umfassenden Wartungs- und Serviceangebot für Photovoltaikanlagen.

Um unser Leistungsspektrum abzurunden, bieten wir Ihnen noch verschiedenste Servicearbeiten an. • Schulungen bei uns im Hause oder direkt bei Ihnen vor Ort • Die partikuläre und chemische Mediumsanalyse mit entspre­chender • Beratung und Konzeption von Optimierungsmaßnahmen • Öltrocknungen per Entwässerungsanlagen • Konstruktion und Bau von Filteraggregaten mobil oder stationär nach Ihren Wünschen • Ölabreinigungen und Befüllungen von Filteranlagen

Partikelzähltechnik: Messung von Feststoffverschmutzung, Temperatur und Feuchtegehalt von Hydraulikflüssigkeiten. Partikelzählgeräte für den Einsatz online oder offline. Die Partikelmesstechnik von MP Filtri ist einzigartig! Die Untersuchung des Fluides erfolgt kontinuierlich, automatisch und nahezu in Echtzeit. Dadurch kann eine lückenlose Dokumentation des Zustands nach Reinheitsklasse gewährleistet und rechtzeitig auf Veränderungen reagiert werden. Unsere Partikelzählgeräte, die online oder offline eingesetzt werden können, arbeiten mit einem Lichtblockadeverfahren. Die zu untersuchende Flüssigkeit wird, je nach eingesetztem Gerät, mittels LED oder Laser durchleuchtet. Partikelanzahl und Partikelgröße werden durch numerische Verfahren der elektronischen Auswertung bestimmt.

Rohrleitungsprüfung nach EN 1610 Bei der Generalinspektion sollte auch die zuführenden Rohrleitungen geprüft werden. Gerne führen wir die Prüfungen für Sie durch und machen Ihnen dafür ein Angebot

Regelmäßige Sicherheitsinspektionen und Prüfungen, auch unabhängig von gesetzlichen Vorschriften, garantieren, dass Ihr Unternehmen Sicherheits- und Qualitätsstandards gerecht wird. Ebenso vermeiden Sie mit vorbeugender Wartung unfreiwillige Standzeiten. Dies spart Zeit, Ärger und Kosten. Wir halten dabei die Termine im Blick, führen eine sachkundige und fachgerechte Prüfung der angebauten Schutzeinrichtungen sowie der Pressensteuerung durch und dokumentieren das Ergebnis QM-gerecht. Absturzsicherung Im Zuge einer Pressenprüfung prüfen wir Ihre Absturzsicherung direkt und schnell vor Ort. Sparen Sie sich den Ausbau, das Versenden und die separate Prüfung Ihrer Absturzsicherung, unsere Mitarbeiter erledigen dies für Sie im eingebauten Zustand während der Pressenprüfung.

SunshineTec GmbH bietet eine umfassende Beratung zur Nutzung von Solarenergie für Privat- und Gewerbekunden. Unser Expertenteam analysiert Ihre individuellen Anforderungen und entwickelt maßgeschneiderte Konzepte, die sowohl wirtschaftlich als auch ökologisch sinnvoll sind. Von der Bedarfsanalyse über die Standortbewertung bis zur Fördermittelberatung – wir unterstützen Sie auf Ihrem Weg zur nachhaltigen Energieerzeugung. Eigenschaften und Vorteile: Individuelle Bedarfsanalyse: Wir ermitteln Ihren Energiebedarf und erstellen darauf basierend ein passgenaues Konzept. Standortbewertung: Detaillierte Analyse des Standorts zur Bestimmung der optimalen Ausrichtung und Modulwahl. Fördermittelberatung: Unterstützung bei der Beantragung staatlicher Förderungen und Zuschüsse zur Senkung der Investitionskosten. Wirtschaftlichkeitsberechnung: Prognosen zu Kosten und Einsparpotenzialen, um Ihnen die beste Investitionsentscheidung zu ermöglichen. Ganzheitliches Konzept: Von der Planung bis zur Umsetzung begleiten wir Sie durch jeden Schritt des Projekts. Zukunftssicherheit: Planung mit neuesten Technologien für maximale Effizienz und Langlebigkeit Ihrer Solaranlage. Persönliche Betreuung: Direkter Ansprechpartner für alle Fragen rund um Ihr Solarenergieprojekt. Mit unserer Beratung setzen Sie auf eine zukunftssichere und umweltfreundliche Energiequelle. Profitieren Sie von unserem Know-how und maximieren Sie Ihre Energieeinsparungen durch eine optimale Nutzung der Solarenergie.