Entwicklungstools

Formal verifizierter Compiler

Der CompCert-Compiler

Der Aufwand, der betrieben wird, um sicherheitskritische Software zu schreiben, ist hinfällig, wenn der Compiler Fehler macht. Mit dem ­CompCert-C-Compiler existiert ein Tool, für das formal nachgewiesen wurde, dass der erzeugte Code mit der Semantik…

Entwicklungstool

Schnelles Tracing für Cortex-M

Segger ergänzt sein Sortiment an Entwicklungstools um ein Cortex-M Trace Reference Board.…

Starter-Kit für Industrie 4.0 und IoT

Schnell verbunden

Digi International bietet mit »ConnectCore« für das i.MX6UL-Starter-Kit eine komplette…

Wegen IoT?

Assembler boomt

Für September registriert der Tiobe-Index das höchste Interesse an Assemblerprogrammierung…

pls Programmierbare Logik & Systeme GmbH

Speziell für sicherheitskritische Automotive-Applikationen

Eine auf die internen Fehlersuchfunktionen der aktuellen 32-Bit-MCU-Familie SPC570S von…

Tools & Technologien

Designwettbewerb »IoT« mit Panasonic

Möglichst einfach sollten sich intelligente Geräte im Internet der Dinge (IoT) vernetzen…

Statische Code-Analyse

Mehr Sicherheit für IIoT-Geräte

Im Industrial Internet of Things (IIoT) sind Geräte oft wegen Einschränkungen bei Design…

Externe Entwickler sicher einbinden

Lose koppeln, statt blind vertrauen

Agilität und Dynamik sind in der Softwareentwicklung gefordert und spiegeln sich auch in…

Security

Sichere Verbindung zu Amazon Web Services

Die Sicherheitsrichtlinien von Amazon schreiben gegenseitige Authentifizierung für…

Open Flash Loader

Unterstützung von neuen Chips selbst programmieren

Segger stattet seine Entwicklungstools J-Link, J-Trace und Flasher mit einem Open Flash…