analysis, and certification of safety-critical software.
analysis, and certification of safety-critical software.

analysis, and certification of safety-critical software.

Über dieses Produkt

WebsiteBesuchen Sie die Produktseite
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
Ähnliche Produkte
1/15
Nachlaufachse – gelenkt
Nachlaufachse – gelenkt
BAU & TRANSPORT MODIFIKATIONEN Durch den Einbau einer elektrohydraulisch gelenkten Nachlaufachse ergibt sich nicht nur eine deutlich verbesserte Manöv...
DE-94474 Vilshofen an der Donau
TLS - Transport Logistik Systeme KG
TLS - Transport Logistik Systeme KG
Keine Branche ist so in Bewegung wie die der Logistiker. Flexibel einen Auftrag mit dem nächsten zu koordinieren - eine Herausforderung für Menschen, ...
DE-95119 Naila
Services für Ihren Truck.
Services für Ihren Truck.
My TruckPoint für Mercedes-Benz Trucks Ihr digitales Kundenportal. Sorgenfrei auf der Straße Dank digitaler Dienste, Serviceverträgen und Versicherung...
DE-32351 Stemwede
Baustoffe
Baustoffe
Gerne beraten wir Sie fachkundig bei Ihrem Ausbau bzw. Umbau Ihres Eigenheimes und liefern Ihnen sämtliche Produkte, welche Sie dafür benötigen. – Ber...
AT-3913 Großgöttfritz
Transporte
Transporte
Unser Spedition- und Transportabteilung ist Ihr probater Partner, der weltweite logistische Lösungen anbietet. Für jede Transportaufgabe finden wir e...
DE-12681 Berlin
Spezialtransporte für Landmaschinen: Unser Service für Sie – alles aus einer Hand.
Spezialtransporte für Landmaschinen: Unser Service für Sie – alles aus einer Hand.
und Spezialtransporte in ganz Deutschland und Europa Erfahrung in der sicheren Beförderung von landwirtschaftlichen Maschinen und Geräten Zuverlässige...
DE-55469 Budenbach
Motorsportlogistik
Motorsportlogistik
Vom Transport zur Rennstrecke oder zur Veranstaltung unterstützen wir sie auf Wunsch Vorort beim Auf- sowie Abbau ihres Equipments.
AT-3363 Ulmerfeld-Hausmening
Schwertransporte
Schwertransporte
Schwer-, Großraum- und Kesseltransporte sind anspruchsvolle Herausforderungen. Wir bringen wertvolle Güter sicher und termingerecht ans Ziel und biete...
DE-28816 Stuhr
Kamine
Kamine
Wir fertigen Kamine unterschiedlicher Größen nach Kundenwunsch. Es wird nach der DIN EN 13084-7 produziert. Durch eine hohe Fertigungstiefe mit einer ...
DE-49692 Cappeln / Nutteln
Gerichts- und Privat-Gutachten
Gerichts- und Privat-Gutachten
Alle Schäden, die bei multimodalem Verkehr auftreten können, werden von uns oder unseren Netzwerkpartnern weltweit besichtigt, bewertet und neutral be...
DE-28211 Bremen
100 Jahre Spedition Gericke
100 Jahre Spedition Gericke
Das Jahr 2021 – das sind 100 Jahre Bestehen und Tradition der Spedition Gericke. Das sind aber auch zufriedene treue Kunden, langjährige zuverlässige ...
DE-09337 Hohenstein-Ernstthal
Getreide & Ölsaaten
Getreide & Ölsaaten
In der Erntezeit erfassen wir in unseren Betrieben Futter- und Brotgetreide sowie nachhaltig und nicht nachhaltig erzeugten Raps. Unsere großen Abschü...
DE-23845 Oering
LKW-Vermietung - vom Sattelzug bis zum Auflieger
LKW-Vermietung - vom Sattelzug bis zum Auflieger
Sattelzugmaschinen Auflieger Gliederzüge als BdF Wechselbrückenträger Bau- und Entsorgungsfahrzeuge Nahverkehrs- und Verteilerfahrzeuge Wir haben den ...
DE-59929 Brilon
Mercedes-Benz Lkw & Transporter Nfz Werkstatt Service.
Mercedes-Benz Lkw & Transporter Nfz Werkstatt Service.
Bei uns ist Ihr Mercedes-Benz Transporter und Lkw in guten Händen. Mit dem Kauf eines Mercedes-Benz Transporters und Lkw erwerben Sie mehr als nur ein...
DE-33428 Harsewinkel-Greffen
Rosafio Transports
Rosafio Transports
Toute l’équipe de Rosafio Transports vous souhaite la bienvenue sur notre site internet. Nous vous souhaitons à tous une agréable visite. Nos valeurs ...
CH-1242 Satigny
Trend-Produkte
1/15
Compactonit® 10/200 Bentonit-Tonpellets nach DIN 4904 für den Brunnenbau
Tonpellets: vakuumstranggepresst, hoch quellfähig, sehr geringer Abrieb, höchste Strukturstabilität, hohe Sinkgeschwindigkeit, stark verzögerter Quell...
Hochgras Aufsitzmäher mit Allradantrieb
Hochgras Aufsitzmäher mit Allradantrieb Wird zusammen mit einem Anhänger mit Laderampe vermietet. So braucht man sich um den Transport keine Gedanke...
Mobiler Torzähler - KOSTENLOS FÜR ALLE VEREINE! SPIELSTANDANZEIGE MIT ZEITANGABE, Sport Anzeige Tafel
Maße: 3,00 x 2,30m komplett - Anzeige: 1,80 x 0,90m - Kostenloser werbefinanzierter und solarbetriebener TORZÄHLER (Spielstandsanzeige mit Zeitangabe)...
Europaletten gebraucht kaufen | Europaletten 1. Wahl & 2. Wahl vorrätig | Klasse-A, B, C tauschfähig | Top Angebot
Gebrauchte Europaletten kaufen | Europaletten 1. Wahl & 2. Wahl vorrätig | Klasse-A, B, C tauschfähig | Hohe Stückzahlen auf Lager | Schnelle Liefe...
Happys Amsterdam - 50 % HHC Einweg Vape 2 ml - verschiedene Sorten
HAPPYS Amsterdam - 50 % HHC Einweg Vape 2 ml Sorten: Cactus Lemon Grape Chill Mango Splash Skittlez Watermelon Ice HAPPYS Amsterdam dispos...
Komfort-Dreirad MALTA
Das MALTA verbindet Fahrkomfort und Sicherheit. Der BOSCH-Motor unterstützt die Fahrer und ermöglicht so problemlos auch längere Touren. Mehr Freude ...
Chemikalien-Sauger VACUUM 2200C
Hochleistungs-Flüssigkeits-Industriesauger Automatic für saure und basische Chemikalien mit automatischer Entleerung Für die Anwendungsbereiche: Spe...
Haro 4 SB Eiche Trend PV
Haro Parkett Serie 4000 Top Connect, Schiffsboden Eiche Trend Permadur versiegelt Nutzschicht 3,5 mm 523785 8 Stück pro Paket = 3,17 qm 32 Pakete...
EINWEG / E Shisha - Vape GZUZ HHC 95% 300 / Hashtag24
Das GZUZ 300 Einweg HHC Vape Disposable ist die perfekte Option für alle, die auf der Suche nach einem hochwertigen und einzigartigen Vaping-Erlebnis ...
Ankauf von Paletten und Gitterboxen
Ankauf von Neu-, Gebraucht- oder defekte Euro-Paletten Ankauf von: Euro-Gitterboxen Einwegpaletten Kunststoffpaletten
 Industrie-Gitterboxen Auf...
ANHÄNGER FÜR DEN PROFESSIONELLEN EINSATZ
PKW-Anhänger in mehr als 510 Modellen -> (siehe Grundtypen und Varianten) Trebbiner Qualitätsanhänger -> Stabilität und Robustheit, die man sieht un...
Hersteller PLEXIGLAS®, DS® Acrylglas Aquarium Sondermaße, nach Mass, Sonderanfertigungen, XXL Aquarium und Groß Aquarien
Wir sind Hersteller von Exklusiven Aquarien in den unterschiedlichsten Größen und Formen, XL-XXL Aquarien auch Groß Aquarien aus DS® Acrylglas und PLE...
CBD Hash 100g – 1Kg · verschiedene Sorten
100% natürliches Hash aus hochwertigem Cannabis Sativa · EU zertifiziertes Saatgut CBD Hash 1Kg oder in 100g Schritten, kaufen Sie direkt bei uns im ...
Mehradrige Mantelleitungen & Kabelbäume
Wir fertigen für Sie mehrdrahtige Mantelleitungen mit individuellen Mantelfarben, Aderfarben und Isolierungen. Im Folgenden finden Sie eine Übersich...
Wir kaufen Ihre Altkleider und Schuhe ein zu Höchstpreisen.
Ankauf von kompletten gewerblichen und karitativen Altkleider-Sammlungen, sei es einmalig oder in regelmäßigen Abständen zu Höchstpreisen. 💥 WIR ZAHL...