BUGSENG

Halle 4 / Standnummer 4-548

BUGSENG

Sonstige

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

Über uns Hallenplan Produkte Mitarbeiter

Wir bieten

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

Branche

Security Safety Software / Systemhaus

Kontaktinformation

Via Fiorentina, 214/C

56121 Pisa

Italien

language Website

Kontakt per E-Mail

Ü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