Beschleunigte Laufzeitanalysen erleichtern Softwareentwicklung
Je früher im Entwicklungsprozess Softwarefehler entdeckt werden, desto günstiger können sie behoben werden. Besonders bei der Entwicklung von Embedded-Systemen sind Methoden wie Echtzeit-Tracing daher unerlässlich. Seit Jahrzehnten sind die PowerTrace-Module von Lauterbach Marktführer für Echtzeit-Tracing in der Embedded-Industrie, sie liefern neben vielem anderen auch Informationen über den Programmablauf mit Verzweigungen, Sprüngen, Interrupts und Taskwechseln.
Das Abrufen und Analysieren dieser Daten ist Grundlage für AbsInts Tool TimeWeaver, das die gemessenen Ausführungszeiten von Codeabschnitten aus dem Echtzeit-Tracing dazu nutzt, um eine möglichst sichere Abschätzung der Laufzeit im schlimmsten Fall (Worst-Case Execution Time, WCET) zu bestimmen.
„Dank unserer guten Zusammenarbeit werden WCET-Analysen ab sofort auch für komplexere Prozessoren erleichtert“, sagt Dr. Christian Ferdinand, Geschäftsführer der AbsInt Angewandte Informatik GmbH.
„Entwickler von embedded Software kommen ab sofort noch schneller zum Ziel, wenn sie Daten aus unserem Echtzeit-Trace für eine WCET-Analyse nutzen“, erklärt Norbert Weiß, Geschäftsführer der Lauterbach GmbH. „Die gemeinsame Lösung mit AbsInt stellt bei der Entwicklung insbesondere sicherheitskritischer Anwendungen mit Echtzeitanforderungen eine große Verbesserung dar.“
In enger Kooperation beider Embedded-Spezialisten konnte der Speicherbedarf für die ausgetauschten Daten durch Komprimierung und Optimierung nunmehr drastisch reduziert werden, was neben einem geringeren Speicherbedarf dazu führt, dass TimeWeaver seine Ergebnisse deutlich schneller liefert.
Die Kombination von PowerTrace und TimeWeaver unterstützt alle gängigen CPU-Architekturen, selbst komplexe heterogene SoCs, mit dem schnellsten Tracing auf dem Markt. Damit ist sie für sämtliche Embedded-Projekte geeignet, bei denen WCET-Laufzeitanalysen gefordert sind.
Über Lauterbach
Lauterbach ist der führende Hersteller von modernsten Entwicklungswerkzeugen für Embedded Systeme mit mehr als 40 Jahren Erfahrung. Als internationales, etabliertes Unternehmen beliefert Lauterbach Kunden in aller Welt, arbeitet mit allen Halbleiterherstellern zusammen und wächst stetig. Am Hauptsitz in Höhenkirchen bei München entwickelt und produziert das Ingenieurteam hochspezialisierte und einfach zu bedienende Entwicklungswerkzeuge. Niederlassungen in Großbritannien, Italien, Frankreich, Tunesien, an der Ost- und Westküste der USA, in Japan und China sowie hochqualifizierte Vertriebs- und Support-Ingenieure in vielen weiteren Ländern machen die gesamte Produktpalette von Lauterbach weltweit verfügbar.
Für weitere Informationen besuchen Sie bitte http://www.lauterbach.com/
AbsInt bietet hochmoderne Entwicklungswerkzeuge für eingebettete Systeme mit Schwerpunkt auf Validierung, Verifizierung und Zertifizierung von sicherheitskritischer und sicherheitsrelevanter Software. Zu den Schlüsselprodukten gehören statische Analysewerkzeuge zur Überprüfung von Codierrichtlinien, zur Timing‐ und Stack‐Use‐Analyse und zur Erkennung von kritischen Programmierfehlern in C/C++‐Code sowie der formal verifizierte Compiler CompCert. Jüngst wurde die Entwicklung von CompCert mit dem renommierten ACM Software System Award ausgezeichnet: https://awards.acm.org/software-system.
AbsInt wurde 1998 gegründet und ist ein privates Unternehmen mit Sitz in Saarbrücken. Wir beliefern Unternehmen aus 40 Ländern in aller Welt und aus verschiedenen Industriezweigen, einschließlich der Luft‐ und Raumfahrt, der Automobilindustrie, der Medizintechnik und dem Energiesektor – siehe https://www.absint.com/success_de.htm.
Weitere Informationen finden Sie unter www.absint.com.
AbsInt Angewandte Informatik GmbH
Science Park 1
66123 Saarbrücken
Telefon: +49 (681) 383600
Telefax: +49 (681) 3836020
http://www.AbsInt.com
AbsInt Angewandte Informatik GmbH
Telefon: +49 (681) 383600
E-Mail: tritz@absint.com
Lauterbach GmbH
Telefon: +49 (8102) 9876-182
E-Mail: press@lauterbach.com
QA‐MISRA – die passgenaue Antwort auf Marktanforderungen
Je früher im Entwicklungsprozess Softwarefehler entdeckt werden, desto günstiger können sie behoben werden. Optimal ist es, wenn Fehler gar nicht erst entstehen, bzw. sofort entdeckt werden. Das ist eine wichtige Erfahrung, die Entwickler immer wieder machen: Je früher, desto besser.
Deshalb hat der Kooperationspartner von QA Systems, AbsInt, einen statischen Checker für Codierungsregeln entwickelt. Das Tool wird heute exklusiv von QA Systems unter dem Namen QA‐MISRA vertrieben. „Wir kennen den Markt und die Beteiligten“, so Andreas Sczepansky, Geschäftsführer der QA Systems GmbH in Waiblingen.
900 potenzielle Source Code Probleme erkennt QA‐MISRA bereits heute. Die statische Analyse mit QA‐MISRA findet gefährliche Strukturen und zeigt frühzeitig Probleme bei Sicherheit, Wartbarkeit und Portabilität. Hier senken Entwickler zukünftige Kosten.
Selbst umfangreiche Softwarepakete analysiert QA‐MISRA schnell und detailliert. Große und kleine Projekte können so auf Qualität und Einhaltung der geforderten Richtlinien überprüft werden. Das vereinfacht das Qualitätsmanagement und hilft, die wichtigen Sicherheitsstandards zu erfüllen. „Nach unserem langjährigen Engagement in Arbeitsgruppen des MISRA‐Konsortiums haben wir ein komfortables Werkzeug zur effizienten Prüfung von Codierrichtlinien geschaffen, das mit Hilfe der Experten von QA Systems maximal auf die Bedürfnisse der Kunden ausgerichtet wurde.“, sagt Dr.‐Ing. Christian Ferdinand, Geschäftsführer der AbsInt GmbH in Saarbrücken.
QA‐MISRA ist voll integrierbar in QA Systems‘ Unit‐ und Integrationstesttool CANTATA. QA‐MISRA hilft, Programmcodes zuverlässiger, portabler und leichter wartbar zu machen.
QA‐MISRA prüft automatisch C‐ oder C++‐Code auf Einhaltung der MISRA‐ und AUTOSARRegeln sowie der Standards: SEI CERT C/C++, Common Weakness Enumeration (CWE), ISO/IEC TS 17961, Hersteller‐Initiative Software (HIS Metriken) und weitere.
QA‐MISRA wird international exklusiv vertrieben von QA Systems: https://www.qasystems. de/tools/qa‐misra/
Über QA Systems
Seit über 25 Jahren unterstützt QA Systems Unternehmen dabei, qualitativ hochwertige und standardkonforme Software für eingebettete Systeme im sicherheits‐ und geschäftskritischen Bereich, zu entwickeln. Die Tools von QA Systems automatisieren Unit‐Tests, Codeabdeckung, Integrationstests sowie Source‐Code‐Analysen unter Einhaltung aller üblichen sicherheitsrelevanten Softwarestandards (MISRA, AUTOSAR, CERT, CWE, ISO 26262, u. a.).
Das Unternehmen QA Systems wurde 1996 vom Geschäftsführer und Rennfahrer, Andreas Sczepansky, gegründet. Mit internationalen Standorten ist QA Systems weltweit direkt als auch über ein globales Reseller‐ Netzwerk tätig. Über 350 der größten Unternehmen stehen auf der Kundenliste von QA Systems. Als Kompetenzzentrum für bessere Software ist die QA Systems Akademie die Nahtstelle für den Know‐how Transfer zu Softwareingenieuren weltweit.
Weitere Informationen finden Sie unter www.qa‐systems.de
AbsInt bietet hochmoderne Entwicklungswerkzeuge für eingebettete Systeme mit Schwerpunkt auf Validierung, Verifizierung und Zertifizierung von sicherheitskritischer und sicherheitsrelevanter Software. Zu den Schlüsselprodukten gehören statische Analysewerkzeuge zur Überprüfung von Codierrichtlinien, zur Timing‐ und Stack‐Use‐Analyse und zur Erkennung von kritischen Programmierfehlern in C/C++‐Code sowie der formal verifizierte CompCert Compiler.
AbsInt wurde 1998 gegründet und ist ein privates Unternehmen mit Sitz in Saarbrücken, Deutschland. Unsere Kunden kommen aus verschiedenen Industriezweigen, einschließlich der Luft‐ und Raumfahrt, der Automobilindustrie, dem Gesundheitswesen und dem Energiesektor, und befinden sich in mehr als 40 Ländern auf der ganzen Welt.
Weitere Informationen finden Sie unter www.absint.com.
AbsInt Angewandte Informatik GmbH
Science Park 1
66123 Saarbrücken
Telefon: +49 (681) 383600
Telefax: +49 (681) 3836020
http://www.AbsInt.com
QA Systems GmbH
Telefon: +49 (711) 138183‐0
E-Mail: marketing@qa?systems.de
Telefon: +49 (681) 383600
E-Mail: tritz@absint.com
Projekt EMPHYSIS gewinnt ITEA Award of Excellence – AbsInts Beitrag
EMPHYSIS (Embedded Systems with Physical Models in the Production Code Software) wurde von Bosch geleitet und war auf eine Laufzeit von dreieinhalb Jahren (September 2017 bis Februar 2021) ausgelegt. Heute wird die gemeinsame Leistung der Projektpartner gewürdigt: Die Schaffung eines globalen Standards für die Smart Industry, des eFMI-Standards (embedded Functional Mock-up Interface), ermöglicht den Austausch digitaler Modelle zwischen Herstellern. Er basiert auf dem weit verbreiteten FMI-Standard und deckt den gesamten Entwicklungsprozess vom physikbasierten Modell bis zum auf einem eingebetteten System laufenden Code ab und ermöglicht so fortschrittliche Steuerungs- und Diagnosefunktionen. Ein neues Projekt der Modelica Association wird eFMI weiterentwickeln, standardisieren und fördern, so dass die Kosten und der Zeitaufwand für die Softwareentwicklung von eingebetteten Systemen erheblich gesenkt werden können, was zu einer Produktivitätssteigerung von bis zu 90 % führt.
Technisch gesehen besteht das Innovative an eFMI darin, dass es ein zielunabhängiges Zwischenformat bereitstellt, das durch eine völlig neue Sprache definiert ist, die Guarded Algorithmic Language for Embedded Control (GALEC). Diese neue Programmiersprache kann garantieren, dass ein in dieser Sprache beschriebener Algorithmus in Code übersetzt werden kann, auf den Folgendes zutrifft:
- statische Berechnung der Ausführungszeit im schlimmsten Fall;
- statische Berechnung des a priori bekannten Speicherbedarfs; und
- Möglichkeit des statischen Nachweises, dass keine illegalen Speicherzugriffe stattfinden.
Mit anderen Worten: Der Code erfüllt nun die harten Anforderungen an sicherheitskritische eingebettete Software im Automobilbereich, was ihn auch für viele andere, weniger regulierte Bereiche wie Robotik, industrielle Anwendungen und Konsumgüter anwendbar macht.
AbsInt hat als Anbieter von Verifikationswerkzeugen mit der Entwicklung eines prototypischen Werkzeuges zur Kopplung von eFMI mit dem statischen Analysator Astrée zu diesem Erfolg beigetragen.
Diese Kopplung ermöglicht die automatische Analyse von Code, der eFMI-Komponenten implementiert, mit dem Ziel, die Abwesenheit von Laufzeitfehlern (wie z.B. "index out of bound", "overflow" oder "division by zero") zu beweisen und Verletzungen von Codierungsregeln (wie z.B. MISRA-C-Regeln) zu erkennen. Dieser Beitrag ist ein wichtiger Schritt auf dem Weg zur vollautomatischen eFMI-Verifikation: Die Abwesenheit von kritischen Laufzeitfehlern bei der Ausführung von physikbasierten Modellen, die über eFMI in die eingebettete Software integriert sind, kann nun garantiert werden.
Über ITEA
ITEA ist das Eureka-Cluster-Programm für Software-Innovation, das es einer großen internationalen Gemeinschaft ermöglicht, in geförderten Projekten zusammenzuarbeiten, um innovative Ideen in neue Unternehmen, Arbeitsplätze, Wirtschaftswachstum und Vorteile für die Gesellschaft umzusetzen. https://itea4.org
AbsInt bietet hochmoderne Entwicklungswerkzeuge für eingebettete Systeme mit Schwerpunkt auf Validierung, Verifizierung und Zertifizierung von sicherheitskritischer und sicherheitsrelevanter Software. Zu den Schlüsselprodukten gehören statische Analysewerkzeuge zur Überprüfung von Codierrichtlinien, zur Timing- und Stack-Use-Analyse und zur Erkennung von kritischen Programmierfehlern in C/C++-Code sowie der formal verifizierte CompCert Compiler.
AbsInt wurde 1998 gegründet und ist ein privates Unternehmen mit Sitz in Saarbrücken, Deutschland. Unsere Kunden kommen aus verschiedenen Industriezweigen, einschließlich der Luft- und Raumfahrt, der Automobilindustrie, dem Gesundheitswesen und dem Energiesektor, und befinden sich in mehr als 40 Ländern auf der ganzen Welt.
Weitere Informationen finden Sie unter [url=http://www.absint.com]www.absint.com[/url].
AbsInt Angewandte Informatik GmbH
Science Park 1
66123 Saarbrücken
Telefon: +49 (681) 383600
Telefax: +49 (681) 3836020
http://www.AbsInt.com
Projektleiter
E-Mail: Oliver.Lenord@de.bosch.com
ITEA-Kontaktperson
E-Mail: linda.van.den.borne@itea4.org
Telefon: +49 (681) 383600
E-Mail: tritz@absint.com
Einladung zum Webinar über Zertifizierung nach ISO 26262 durch Statische Analyse (Webinar | Online)
Der Einsatz von Werkzeugen zur statischen Analyse kann die Produktivität beträchtlich steigern. Der Code wird automatisch nach einer Vielzahl von Kriterien geprüft, und kritische Software-Fehler werden automatisch entdeckt. Der Standard ISO 26262 und weitere Sicherheitsnormen definieren zahlreiche Verifikationsziele, die mit Hilfe statischer Analysatoren effizient erreicht werden können.
AbsInt bietet zu diesem Thema am Mittwoch, den 24. März ein kostenfreies Webinar in englischer Sprache an:
Space, Code and Time – Obtaining ISO 26262 Certification Credits by Sound Static Analysis
Der Vortrag gibt eine kurze Einführung in die Methodik der statischen Analyse und zeigt praktische Anwendungsbeispiele auf Quellcode- und Binärcode-Ebene. Der Fokus liegt auf sicheren Analysatoren, die auf der Methode der Abstrakten Interpretation beruhen. Mit diesen ist es möglich, sichere Schranken für Stackverbrauch und längstmögliche Ausführungszeit zu bestimmen, Codier-Richtlinien zu prüfen und die Abwesenheit von Laufzeitfehlern in C/C++ Programmen nachzuweisen.
Der Hauptteil des Vortrages betrachtet den ISO 26262-Standard, vor allem Teil 6 (Software) und Teil 8 (unterstützende Prozesse). Wir durchleuchten die Anforderungen der ISO 26262 entlang des V-Modells, beginnend mit der Spezifikation von Safety-Eigenschaften bis hin zur Verifikation des Software-Integrationsstands, und untersuchen, welche Aspekte durch statische Analysemethoden abgedeckt werden können. Wir geben einen Überblick über die Analysewerkzeuge der Firma AbsInt und schlüsseln auf, welche Verifikationsziele durch das jeweilige Tool abgedeckt werden können. Der Vortrag schließt mit einem Überblick über ISO 26262-Anforderungen zur Tool-Qualifizierung, insbesondere Tool-Validierung und Tool-Entwicklung gemäß Sicherheitsstandard, und zeigt, dass diese durch Qualifizierungs-Kits und QSLCD-Reports automatisiert erfüllt werden können.
Programm:
• Industrie-übergreifender Einblick in Vorgaben der funktionalen Sicherheit
• Übersicht über die Methoden der statischen Analyse
• ISO 26262: Struktur und Prozessmodell
• Detaillierte Übersicht der Ziele, Anforderungen und Empfehlungen
• Beispiele für Tools und Anwendungen
• Tool-Qualifizierung nach ISO 26262
Referent ist Daniel Kästner (CTO von AbsInt), der abschließend Fragen zum Webinar beantwortet. Zur kostenlosen Registrierung genügt eine E-Mail an info@absint.com mit der Angabe Ihres gewünschten Termins (9:00 Uhr oder 17:00 Uhr, Dauer: 1h) und Ihrer Firmenzugehörigkeit.
AbsInt liefert modernste Softwarewerkzeuge und Dienstleistungen zur Entwicklung, Analyse und Zertifizierung von sicherheitskritischer Software. Produktschwerpunkte sind statische Analysetools zur Prüfung von Codierrichtlinien, zur Timing- und Stack-Analyse und zum Entdecken kritischer Programmierfehler in C/C++-Code sowie der formal verifizierte Compiler CompCert. Ein breites Spektrum von Toolpräsentationen finden Sie auf unserem YouTube-Kanal, einschließlich der Informationen zu unseren jeweils aktuellen Produktreleases.
Wir freuen uns, Sie online begrüßen zu dürfen – bleiben Sie gesund!
Eventdatum: Mittwoch, 24. März 2021 09:00 – 10:00
Eventort: Online
Firmenkontakt und Herausgeber der Eventbeschreibung:
AbsInt Angewandte Informatik GmbH
Science Park 1
66123 Saarbrücken
Telefon: +49 (681) 383600
Telefax: +49 (681) 3836020
http://www.AbsInt.com
Weiterführende Links
verantwortlich. Dieser ist in der Regel auch Urheber der Eventbeschreibung, sowie der angehängten
Bild-, Ton-, Video-, Medien- und Informationsmaterialien. Die United News Network GmbH
übernimmt keine Haftung für die Korrektheit oder Vollständigkeit des dargestellten Events. Auch bei
Übertragungsfehlern oder anderen Störungen haftet sie nur im Fall von Vorsatz oder grober Fahrlässigkeit.
Die Nutzung von hier archivierten Informationen zur Eigeninformation und redaktionellen Weiterverarbeitung
ist in der Regel kostenfrei. Bitte klären Sie vor einer Weiterverwendung urheberrechtliche Fragen mit dem
angegebenen Herausgeber. Eine systematische Speicherung dieser Daten sowie die Verwendung auch von Teilen
dieses Datenbankwerks sind nur mit schriftlicher Genehmigung durch die United News Network GmbH gestattet
Space, Code, and Time — Obtaining ISO 26262 Certification Credits by Sound Static Analysis (Webinar | Online)
Der Einsatz von Werkzeugen zur statischen Analyse kann die Produktivität beträchtlich steigern. Der Code wird automatisch nach einer Vielzahl von Kriterien geprüft, und kritische Software-Fehler werden automatisch entdeckt. Der Standard ISO 26262 und weitere Sicherheitsnormen definieren zahlreiche Verifikationsziele, die mit Hilfe statischer Analysatoren effizient erreicht werden können.
AbsInt bietet zu diesem Thema am 24. März ein kostenfreies Webinar in englischer Sprache an:
Space, Code and Time – Obtaining ISO 26262 Certification Credits by Sound Static Analysis
Der Vortrag gibt eine kurze Einführung in die Methodik der statischen Analyse und zeigt praktische Anwendungsbeispiele auf Quellcode- und Binärcode-Ebene. Der Fokus liegt auf sicheren Analysatoren, die auf der Methode der Abstrakten Interpretation beruhen. Mit diesen ist es möglich, sichere Schranken für Stackverbrauch und längstmögliche Ausführungszeit zu bestimmen, Codier-Richtlinien zu prüfen und die Abwesenheit von Laufzeitfehlern in C/C++ Programmen nachzuweisen. Der Hauptteil des Vortrages betrachtet den ISO 26262-Standard, vor allem Teil 6 (Software) und Teil 8 (unterstützende Prozesse). Wir durchleuchten die Anforderungen der ISO 26262 entlang des V-Modells, beginnend mit der Spezifikation von Safety-Eigenschaften bis hin zur Verifikation des Software-Integrationsstands, und untersuchen, welche Aspekte durch statische Analysemethoden abgedeckt werden können. Wir geben einen Überblick über die Analysewerkzeuge der Firma AbsInt und schlüsseln auf, welche Verifikationsziele durch das jeweilige Tool abgedeckt werden können. Der Vortrag schließt mit einem Überblick über ISO 26262-Anforderungen zur Tool-Qualifizierung, insbesondere Tool-Validierung und Tool-Entwicklung gemäß Sicherheitsstandard, und zeigt, dass diese durch Qualifizierungs-Kits und QSLCD-Reports automatisiert erfüllt werden können.
Zur kostenlosen Registrierung genügt eine E-Mail an info@absint.com mit der Angabe Ihres gewünschten Termins (9:00 Uhr oder 17:00 Uhr, Dauer: 1h).
AbsInt liefert modernste Softwarewerkzeuge und Dienstleistungen zur Entwicklung, Analyse und Zertifizierung von sicherheitskritischer Software. Das in Saarbrücken ansässige Unternehmen wurde 1998 gegründet. Seit über 20 Jahren befindet sich die GmbH im Besitz der Gründer.
Eventdatum: Mittwoch, 24. März 2021 09:00 – 10:00
Eventort: Online
Firmenkontakt und Herausgeber der Eventbeschreibung:
AbsInt Angewandte Informatik GmbH
Science Park 1
66123 Saarbrücken
Telefon: +49 (681) 383600
Telefax: +49 (681) 3836020
http://www.AbsInt.com
Weiterführende Links
verantwortlich. Dieser ist in der Regel auch Urheber der Eventbeschreibung, sowie der angehängten
Bild-, Ton-, Video-, Medien- und Informationsmaterialien. Die United News Network GmbH
übernimmt keine Haftung für die Korrektheit oder Vollständigkeit des dargestellten Events. Auch bei
Übertragungsfehlern oder anderen Störungen haftet sie nur im Fall von Vorsatz oder grober Fahrlässigkeit.
Die Nutzung von hier archivierten Informationen zur Eigeninformation und redaktionellen Weiterverarbeitung
ist in der Regel kostenfrei. Bitte klären Sie vor einer Weiterverwendung urheberrechtliche Fragen mit dem
angegebenen Herausgeber. Eine systematische Speicherung dieser Daten sowie die Verwendung auch von Teilen
dieses Datenbankwerks sind nur mit schriftlicher Genehmigung durch die United News Network GmbH gestattet
Webinar on obtaining DO-178B/C-Certification Credit (Webinar | Online)
AbsInt: Invitation to Webinar on obtaining DO-178B/C-Certification Credits from Sound Static Program Analyzers
On Tuesday, December 15, we invite you to our live webinar on Obtaining DO-178 B/C Certification Credits from Sound Static Program Analyzers. The webinar is free and takes place in association with our NA distributor Joral Technologies.
The focus of the presentation is on sound abstract-interpretation–based analyzers, e.g. for computing safe bounds on stack usage and worst-case execution time, checking coding guidelines, and proving the absence of runtime errors for C/C++ programs.
The talk concentrates on the DO-178C standard and the supplementary norms DO-333 and DO-330. We review the requirements of DO-178C/DO-333, from High-Level Requirements to requirements for verification of Executable Object Code. We investigate which aspects can be covered by static analysis methods and give an overview of the different AbsInt analyzers alongside the precise verification objectives addressed by each of them, in annotated views of the verification goal tables (FM-)A-3 through (FM-)A-6.
Agenda:
[*]Cross-domain overview of functional safety requirements
[*]Methodology overview — static analysis
[*]Structure and objectives of DO-178C
[*]The formal methods supplement DO-333
[*]Software development standards
[*]Review of DO-178C/DO-333 verification goals from HLR to EOC
[*]Example tools and applications
[*]DO-330 and tool qualification
The talk will be given by Daniel Kästner (CTO of AbsInt), who will available for a Q&A at the end. We offer the free webinar in two time slots: 9:00–10:00 CET and 17:00–18:00 CET. Please register by writing to info@absint.com, indicating your preferred time slot and your affiliation.
AbsInt provides cutting-edge development tools for embedded systems with a focus on validation, verification, and certification of safety-critical and security-relevant software. Key products include static analysis tools to check coding guidelines, for timing and stack usage analysis, and to detect critical programming defects in C/C++ code, as well as the formally verified compiler CompCert. You’ll find a broad range of tool presentations on our YouTube channel, including information on our current product release 20.10.
Eventdatum: Dienstag, 15. Dezember 2020 09:00 – 10:00
Eventort: Online
Firmenkontakt und Herausgeber der Eventbeschreibung:
AbsInt Angewandte Informatik GmbH
Science Park 1
66123 Saarbrücken
Telefon: +49 (681) 383600
Telefax: +49 (681) 3836020
http://www.AbsInt.com
Weiterführende Links
verantwortlich. Dieser ist in der Regel auch Urheber der Eventbeschreibung, sowie der angehängten
Bild-, Ton-, Video-, Medien- und Informationsmaterialien. Die United News Network GmbH
übernimmt keine Haftung für die Korrektheit oder Vollständigkeit des dargestellten Events. Auch bei
Übertragungsfehlern oder anderen Störungen haftet sie nur im Fall von Vorsatz oder grober Fahrlässigkeit.
Die Nutzung von hier archivierten Informationen zur Eigeninformation und redaktionellen Weiterverarbeitung
ist in der Regel kostenfrei. Bitte klären Sie vor einer Weiterverwendung urheberrechtliche Fragen mit dem
angegebenen Herausgeber. Eine systematische Speicherung dieser Daten sowie die Verwendung auch von Teilen
dieses Datenbankwerks sind nur mit schriftlicher Genehmigung durch die United News Network GmbH gestattet
AbsInt: Einladung zu Veranstaltungen im Juni 2020 (Webinar | Online)
Am Donnerstag, den 18. Juni 2020, laden wir Sie herzlich zu einem neuen gemeinsamen Webinar mit Vector Informatik ein. Das englischsprachige Webinar mit anschließender Diskussion startet um 16 Uhr und trägt den Titel Combining Dynamic Testing and Static Analysis for ISO 26262 Development. Referenten sind Daniel Kästner (AbsInt), Mohamad Ballouk und Winfried Schröder (beide VECTOR). Auf der Registrierungsseite finden Sie weitere Informationen.
In der Woche darauf nehmen wir – wie in den letzten Jahren auch – am Forum Safety & Security teil. Die traditionsreiche Veranstaltung geht neue Wege und findet am 23. und 24. Juni virtuell statt. Kommen Sie am virtuellen Ausstellungsstand während der gesamten Veranstaltungsdauer mit unseren ProduktexpertInnen ins Gespräch, und erleben Sie am 23. Juni den Vortrag von Daniel Kästner über Statische Taint-Analyse zur Erkennung von Spectre-Verwundbarkeiten (16:40 – 17:20 Uhr, Teil der Session 4: Automotive II Security). Bitte melden Sie sich hier mit dem Gutscheincode FSS2020SC an. Sie erhalten damit einen Rabatt von 10% auf die Teilnahmegebühr.
AbsInt liefert modernste Softwarewerkzeuge und Dienstleistungen zur Entwicklung, Analyse und Zertifizierung von sicherheitskritischer Software. Produktschwerpunkte sind statische Analysetools zur Prüfung von Codierrichtlinien, zur Timing- und Stack-Analyse und zum Entdecken kritischer Programmierfehler in C/C++-Code sowie der formal verifizierte Compiler CompCert. Ein breites Spektrum von Toolpräsentationen finden Sie auf unserem YouTube-Kanal, einschließlich der Informationen zu unserem aktuellen Produktrelease 20.04.
Eventdatum: 18.06.20 – 24.06.20
Eventort: Online
Firmenkontakt und Herausgeber der Eventbeschreibung:
AbsInt Angewandte Informatik GmbH
Science Park 1
66123 Saarbrücken
Telefon: +49 (681) 383600
Telefax: +49 (681) 3836020
http://www.AbsInt.com
Weiterführende Links
verantwortlich. Dieser ist in der Regel auch Urheber der Eventbeschreibung, sowie der angehängten
Bild-, Ton-, Video-, Medien- und Informationsmaterialien. Die United News Network GmbH
übernimmt keine Haftung für die Korrektheit oder Vollständigkeit des dargestellten Events. Auch bei
Übertragungsfehlern oder anderen Störungen haftet sie nur im Fall von Vorsatz oder grober Fahrlässigkeit.
Die Nutzung von hier archivierten Informationen zur Eigeninformation und redaktionellen Weiterverarbeitung
ist in der Regel kostenfrei. Bitte klären Sie vor einer Weiterverwendung urheberrechtliche Fragen mit dem
angegebenen Herausgeber. Eine systematische Speicherung dieser Daten sowie die Verwendung auch von Teilen
dieses Datenbankwerks sind nur mit schriftlicher Genehmigung durch die United News Network GmbH gestattet