embedded world | BUGSENG
BUGSENG auf der embedded world
Aussteller

Halle 4 / Standnummer 4-548

BUGSENG

Sonstige

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

Über uns

south_east

Hallenplan

south_east

Produkte

south_east

Mitarbeiter

south_east

Artikel

south_east

Sessions

south_east

Wir bieten

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

Kontaktinformation

Via Marco dell'Arpa, 8/B
43121 Parma
Italien

Ü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 funktionalen Sicherheitsstandards
  • Erweiterte Nutzung in Docker-Containern

BUGSENG bietet hochspezialisierte Beratungsdienstleistungen, um Branchenführern bei der Verbesserung ihrer Entwicklungsprozesse und der Einhaltung von funktionalen Sicherheitsstandards zu helfen. Zum Beispiel bei der Anpassung bestehender Projekte an MISRA-Konformität, der Entwicklung und Verifikation sicherer und geschützter Software sowie der Integration von Software-Verifikationstools in komplexe CI/CD-Infrastrukturen.

BUGSENG ist außerdem eine renommierte Quelle für fortgeschrittene berufliche Schulungen zu MISRA C, Projektmanagement und ECLAIR.

... mehr lesen

Hallenplan

Produkte

Produktbild ECLAIR
star_outline star

ECLAIR

Mitarbeiter

Nicola

Nicola Vetrini

Softwareentwickler | ECLAIR-Experte

E-Mail senden

Artikel

Sessions

Keywords

Zertifizierung | Werkzeuge | Software-Verifikation | Qualifikation | MISRA-Konformität | Funktionale Sicherheit