Firma

LDRA Inc.

Embedded-Systeme auf RISC-V-Basis

Schnellere Zertifizierung durch Continuous Verification

Für die Entwicklung sicherer und zuverlässiger Embedded-Systeme auf Basis von Prozessoren mit RISC-V-Architektur gibt es inzwischen ein Spektrum von Entwicklungs- und Verifikations-Tools, das den gesamten Lebenszyklus abdeckt. Besonders wichtig sind…

Development tools for safety & security

Tasking acquires LDRA

Tasking, a Munich-based manufacturer of tools for the development of embedded software,…

Entwicklungstools für Safety & Security

Tasking übernimmt LDRA

Tasking, in München ansässiger Hersteller von Tools für die Entwicklung von…

Sicherheitskritische Software entwickeln

Determinismus mit oder trotz KI/ML

Künstliche Intelligenz (KI) und Machine Learning (ML) revolutionieren sicherheitskritische…

Development and verification

LDRA extends support for RISC-V with its analysis tool

Designed in partnership with other industry leaders, LDRA’s development and verification…

Entwicklung und Verifizierung

LDRA erweitert die Unterstützung von RISC-V für sein Analysetool

In Zusammenarbeit mit anderen Branchenführern entwickelt, unterstützt die Entwicklungs-…

Ganzheitliches Konzept

Interferenzen und Timing meistern

Um den für Hard-Realtime-Anwendungen erforderlichen Determinismus auf heterogenen…

Embedded-Software

Einsatz von MISRA C

Die branchenweit populärsten Codierrichtlinien verbessern die Software in Bezug auf Safety…

Alle Beiträge im Überblick

Online-Themenwoche »Embedded-Systeme«

Von 27. bis 31. März lief auf elektroniknet die Online-Themenwoche »Embedded-Systeme«. Von…

Cybersecurity mit ISO/SAE 21434

Leitlinien zur Software-Zertifizierung

Die Norm ISO/SAE 21434 enthält eine Reihe sinnvoller Zielsetzungen für Entwickler, auch…