BUGSENG
BUGSENG logo
  • Halle 4 / Standnummer 4-548

BUGSENG

Sonstige

Keine Abkürzungen, keine Kompromisse, keine Ausreden: Software-Verifikation richtig gemacht
Über uns Hallenplan Mitarbeiter

Wir bieten

Software für Software-Design Test- & Verifikations-Software Methoden & Werkzeuge für sichere Embedded Systeme Statische- & Laufzeit-Analysetools Consulting Schulung Testdienstleistungen

Branche

Security Safety Software / Systemhaus

Kontaktinformation

Via Marco dell'Arpa, 8/B

43121 Parma

Italien

language www.bugseng.com +39 0521 461640

Ü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 ...

    Hallenplan

    Zum Hallenplan

    Mitarbeiter

    Nicola Vetrini
    Nicola Vetrini
    Softwareentwickler | ECLAIR-Experte

    Keywords

    Funktionale SicherheitMISRA-KonformitätQualifikationSoftware-VerifikationWerkzeugeZertifizierung