BUGSENG
BUGSENG logo
  • Halle 4 / Standnummer 4-648

BUGSENG

Sonstige

Keine Abkürzungen, keine Kompromisse, keine Ausreden: Software-Verifikation richtig gemacht

Wir bieten

Testdienstleistungen Schulung Tools Consulting Software für Software-Design

Branche

Safety Software / Systemhaus Security

Kontaktinformation

Via Fiorentina, 214/C

56121 Pisa

Italien

language Website

Über uns

BUGSENG ist ein führender Anbieter von hochwertigen Lösungen und Dienstleistungen für die Software-Verifikation.

Die ECLAIR-Tool-Suite unterstützt Ihre Entwicklung in allen Phasen: vom Quellcode bis hin zum ausführbaren Code, der für die Integration in Ihre sicherheitskritischen Geräte bereit ist. Wichtige Funktionen sind:

  • Ständige Einhaltung von Codierungsstandards
  • Automatische Toolchain-Konfiguration
  • Nutzung über GUI, Kommandozeile, IDE, CI/CD-Systeme
  • Automatische Überprüfung der Unabhängigkeit und StörungsfreiheitIntegriertes
  • Anforderungen-Management-Tool
  • Zertifiziert und qualifizierbar für die wichtigsten f ...
    Download

    Hallenplan

    Zum Hallenplan

    Mitarbeiter

    Nicola Vetrini
    Nicola Vetrini
    Softwareentwickler | ECLAIR-Experte
    Lavinia Battaglia
    Lavinia Battaglia
    General Manager
    Valentina Loggini
    Valentina Loggini

    Keywords

    Funktionale SicherheitMISRA-KonformitätQualifikationSoftware-VerifikationWerkzeugeZertifizierung