VOOZH about

URL: https://www.absint.com/profile_de.htm

⇱ AbsInt-Firmenprofil

Firmenprofil

AbsInt bietet Software zur Analyse, Optimierung und Verifikation von ein­gebetteten Systemen und sicherheits­kritischen Software­programmen an.

Die Firma wurde 1998 gegründet und beschäftigt zurzeit gut 40 Mitarbeiter aus sechs Nationen. Unsere Kunden kommen aus mehr als vierzig Ländern weltweit, darunter USA, Kanada, Japan, Australien und fast alle EU-Mitgliedsstaaten. Es bestehen Vertriebs­verträge mit lokalen Distri­butoren rund um die Welt.

Unsere Motivation

Der heutige Markt für eingebettete Systeme ist geprägt durch ständig wachsende Software­komplexität und immer kürzere Entwicklungs­zyklen. Der Anteil sicherheits­kritischer Anwendungen steigt stetig an. Sicherheitsstandards und Gesetzgebung werden zusehends strikter.

AbsInts Produkte helfen Entwicklern von Echtzeitsystemen,

  • Sicherheitsanforderungen garantiert zu erfüllen,
  • den Aufwand für Tests und Fehlerbeseitigung zu senken,
  • die Systemsicherheit und -effizienz zu erhöhen,
  • die Entwicklungszyklen weiter zu verkürzen.

Firmenvorstellung auf YouTube

Video in Englisch:


Unsere Produkte basieren auf einem generischen und generativen Grund­gerüst und können daher schnell und optimal an individuelle Kunden­wün­sche angepaßt werden. Diese Anpassungs­fähigkeit wurde von uns auch in vielen Industrie- und Forschungsprojekten immer wieder unter Beweis gestellt.

Deutschland

  • Kunden: Airbus, Aumovio, Bosch, Cariad, Daimler, Diehl, Elektrobit, Helbako, OHB, Rolls-Royce, Siemens, Vestas
  • Industriepartner: Infineon, QA Systems, dSPACE, TASKING, emmtrix, HighTec
  • Forschungspartner: DLR, Audi, BMW, Schaeffler, SYSGO, mehr als 20 Universitäten
  • Jährliche Veranstaltungen:
    Embedded World
    Nürnberg    Embedded Testing
    München    Safetronic
    Stuttgart    VDA SYS
    Berlin    next
    Saarbrücken

Frankreich

  • Vertriebspartner: isit.fr
  • Kunden: Airbus, ATR, Framatome, Safran, Thales, Valeo
  • Industriepartner: Ansys, ENS, Inria
  • Forschungspartner: CEA, CNRS, Dassault, ONERA, Renault, ST
  • Regelmäßige Veranstaltung: ●Anstehende Veranstaltung:
    ToulouseToulouse

Benelux

  • Vertriebspartner: indes.com
  • Industriepartner: Solid Sands
  • Forschungspartner: NLR, Siemens, NXP,
    die Universitäten von Eindhoven, Amsterdam, Antwerpen und Twente
  • Zurückliegende Veranstaltungen:
    Bits&Chips
    Eindhoven    [SC]²
    Eindhoven    Projekttreffen
    Brüssel    SCOPES
    Amsterdam

Spanien und Portugal

  • Vertriebspartner: doymus.com
  • Forschungspartner: Thales Alenia Space, Tecnalia, RGB Medical Devices, TU Madrid
  • Zurückliegende Veranstaltungen:
    SAS
    Lissabon    RISC-V-Gipfel
    Barcelona    CYBER
    Valencia    QA&Test
    Bilbao    Eurocast
    Gran Canaria

Italien

  • Vertriebspartner: edaway.com
  • Projektpartner: Leonardo, Alenia, FIAT, Marelli, Hitachi, Selex,
    die Universitäten von Bologna, Aquila, Triest und Pisa
  • Zurückliegende Veranstaltungen:
    SafeComp
    Florenz, Trient    HiPEAC
    Bologna    AbsInt-Roadshow
    Turin, Maranello    Projekttreffen
    Rom

Türkei

  • Vertriebspartner: g3tek.com
  • Projektpartner: Arçelik, Ericsson, Ford Otosan, Havelsan
  • Zurückliegende Veranstaltung:
    TRISTAN-Treffen
    Istanbul

Indien

  • Vertriebspartner: ftdinfocom.com, imicrosystem.com
  • Kunden: Bosch, Cariad, Aumovio, Collins, Mercedes-Benz
  • Zurückliegende Veranstaltungen:
    ESSS
    Bengaluru    AbsInt-Roadshow
    Puna, Chennai, Bengaluru

Brasilien

Nordamerika

  • Vertriebspartner: joraltechnologies.com
  • Kunden: AstraZeneca, Baxter, Collins, Compaq, IBM, Intel, Kostal, MERL, Qualcomm, RCMP, T-Systems, Veoneer
  • Industriepartner: Ansys, New Eagle, Wind River, Green Hills, McObject
  • Zurückliegende Veranstaltungen:
    Raptor-Gipfel
    Detroit    AeroTech
    Vancouver    Embedded World
    Austin    Splash Conf
    Pasadena

Vereinigtes Königreich

  • Vertriebspartner: isit.fr
  • Forschungspartner: Rapita, Airbus, Ricardo,
    die Universitäten von York, Bristol, London, Oxford, Manchester und St. Andrews
  • Zurückliegende Veranstaltungen:
    SSS
    York, Bristol    POPL
    London    Formal Methods
    Oxford    MISRA-Sitzungen
    Sibson    Projekttreffen
    Edinburgh, Islay, Cambridge

Estland

  • Projektpartner: Elvior

Rumänien

  • Kunden: Aumovio, Bosch, Dräxlmaier, Elektrobit, Hella, Marquardt, Yazaki
  • Projektpartner: NXP
  • Zurückliegende Veranstaltung:
    ECSEL-JU-Symposium
    Bucharest

Serbien

  • Kunden: Aumovio, Dräxlmaier

Bulgarien

  • Kunde: Bosch

Dänemark

  • Kunde: Vestas
  • Forschungspartner: die Universitäten von Kopenhagen, Aalborg, Lyngby und Süddänemark

Australien und Neuseeland

Japan

  • Kunden: Honda, Sanyo, Yazaki, Denso, Toyota, Elektrobit, Veoneer
  • Industriepartner: dSPACE
  • Zurückliegende Veranstaltungen:
    RISC-V-Tag
    Tokio    EdgeTech+
    Yokohama    JARI-Konferenz
    Online    AEE
    Yokohama

Südkorea

  • Vertriebspartner: mdsit.co.kr
  • Kunden: Elektrobit, Veoneer
  • Zurückliegende Veranstaltung:
    DEC
    Daegu

Schweiz

  • Kunden: ABB, Distalmotion, Roche, u-blox
  • Forschungspartner: ETH Zürich

Österreich

  • Kunden: Bosch, Siemens
  • Forschungspartner: TTTech, NXP, TU Wien, TU Graz, IAT, Infineon, Siemens
  • Zurückliegende Veranstaltungen:
    SafeComp
    Wien    CESAR-Treffen
    Salzburg    ISO-26262-Konferenz
    Graz    SCOPES
    Wien

Ungarn

  • Kunden: Bosch, ThyssenKrupp, Valeo
  • Zurückliegende Veranstaltungen:
    Workshop zur statischen Analyse
    Szeged    EmBounded-Workshop
    Budapest

Schweden

  • Projektpartner: Volvo, Scania, Ericsson, IBM, ABB, Dassault, Hitachi,
    KTH, RISE SICS, die Universitäten von Mälardalen, Uppsala und Linköping
  • Zurückliegende Veranstaltungen:
    EC Scandinavia
    Stockholm    ESSES
    Västerås    CPSWEEK
    Stockholm    ASTEC-Treffen
    Göteborg, Uppsala, Skokloster

Norwegen

  • Projektpartner: ABB, SINTEF, NTNU

Finnland

  • Kunden: Elektrobit, Huld, u-blox
  • Projektpartner: Nokia, Cargotec, TU Tampereen

Polen

  • Kunden: Aptiv, ZF
  • Projektpartner: Antmicro

Slowakei

  • Kunden: Aumovio, Webasto

Tschechien

  • Kunden: Eaton Cummins, Huld
  • Projektpartner: UNIS, TU Brno
  • Zurückliegende Veranstaltungen:
    EU Space Week
    Prag    HiPEAC
    Prag    ECRTS
    Prag

Griechenland

  • Kunden: u-blox, Huld
  • Projektpartner: Hellenic Aerospace Industry, Irida Labs,
    die Universitäten von Athen und Thessaloniki
  • Zurückliegende Veranstaltungen:
    CYBER
    Athen    ISoLA
    Kassandra

Ägypten

  • Kunde: Valeo
  • Zurückliegende Veranstaltung:
    Kairo

Marokko

  • Kunden: Safran, Yazaki

Israel

  • Projektpartner: Siemens, Universität Tel Aviv

Irland

  • Zurückliegende Veranstaltung:
    ECRTS
    Dublin

China

  • Vertriebspartner: visionmc.com, hirain.com
  • Kunden: AVIC, BorgWarner, CAUC, CMC, Elektrobit, Huawei, Schaeffler, Veoneer
  • Zurückliegende Veranstaltungen:
    Software Verification Conference
    Chengdu    Civil Avionics Forum
    Shanghai    LCTES
    Beijing

Analyse- und Verifikationssoftware

Tests und Debugging gehören zu den zeitraubendsten und kost­spieligsten Phasen der Software­entwicklung. Dies gilt ins­besondere für Echt­zeit­syste­me, in denen Berech­nungen nicht nur logisch korrekt sein, sondern auch recht­zeitig terminieren müssen. Die Timing-Eigenschaften eines Systems sind jedoch oft schwer zu bestimmen. Einfaches Zeitstoppen reicht in der Regel nicht aus, zumal es oft unpraktikabel ist – oder gar unmöglich –, das System mit allen denkbaren Eingaben zu testen.

Statische Programmanalysen hingegen erlauben es dem Entwickler, auf die langwierigen und fehler­trächtigen Test- und Meßverfahren zu ver­zichten. Die Analysen basieren auf der Methode der abstrakten Inter­pre­tation und sind daher nachweisbar korrekt. Sie laufen vollautomatisch ab – es ist also nicht erforderlich, die schlimmst­möglichen Eingaben manuell heraus­zufin­den. Die Analyse­ergebnisse sind für alle möglichen Eingaben und alle Aus­führungsszenarien gültig.

  • Timing-Validierung für Echtzeitsoftware

    Unser WCET-Analysator aiT ist weltweit das erste Softwarewerkzeug, das automatisch prüfen kann, ob eingebettete Software unter allen Um­ständen schnell genug reagiert. Seit 2002 wird aiT von Airbus France be­nutzt, um das korrekte Zeit­verhalten von sicherheitskritischer Flug­steuer­ungs­software zu garantieren.

  • Verifikation der Abwesenheit von Stacküberlauf

    Unser StackAnalyzer berechnet automatisch und exakt den Stack­bedarf von eingebetteter Software. Damit reduziert er den Entwicklungs­aufwand und hilft, kritische Laufzeit­fehler und Software­abstürze zu vermeiden.

  • Nachweis der Abwesenheit von Laufzeitfehlern

    Unser Programm-Analysator Astrée überprüft C- und C++-Programme automatisch auf eine Vielzahl von möglichen Fehlern. Seine sehr präzise Analyse­engine kann leicht an das zu analysierende Programm angepaßt werden. Damit ist es möglich, Fehl­alarme auf ein Miminum zu reduzieren.

Zertifizierung und Qualifizierung

Aktuelle Sicherheitsstandards wie ISO 26262, DO-178B, DO-178C, IEC-61508 und EN-50125 fordern, potentielle funk­tionale und nicht­funktionale Gefahren­stellen zu identi­fizieren und nach­zuweisen, daß die Soft­ware die rele­vanten Sicherheits­ziele nicht verletzt.

Statische Analysatoren wie aiT, StackAnalyzer und Astrée sind formale Verifikations­werkzeuge, die hundert­prozentig vollständige und ver­läßliche Ergebnisse liefern. Somit sind sie für den Zertifizierungs­einsatz ideal geeignet.

Die Tool-Qualifizierung wird durch unsere Qualifizierungskits vereinfacht und auto­ma­ti­siert.