Firma

Verifysoft Technology

Herausforderung Embedded Devices

Testabdeckung bei kleinen Targets

Die Überwachung des Testfortschritts, die von vielen Sicherheitsnormen gefordert wird, ist für Embedded Systeme nicht ganz trivial. Denn oft sind die Ressourcen limitiert und können durch die Code Coverage an ihre Grenzen stoßen - Kreativität ist…

Forum Safety & Security 2017

Workshop zu Code Coverage auf Mikrocontrollern

Software für Safety-relevante Systeme muss auf Code Coverage getestet werden. Wie das auch…

Forum Safety & Security 2017

Workshop zu Code Coverage auf Mikrocontrollern

Software für Safety-relevante Systeme muss auf Code Coverage getestet werden. Wie das auch…

Statische Codeanalyse

Rettende Software

Rückrufe von medizinischen Geräten sind nicht ungewöhnlich. Einer der wichtigsten Gründe…

embedded world 2015

Tool-Neuheiten in der Halle 4 – Teil 1

Die embedded world ist in drei Bereiche eingeteilt: Hardware, Software und Tools. In…

Embedded-Software-Design

Leitfaden zu Statischer Analyse

Embedded-Entwickler stehen unter größerem Druck als Programmierer in anderen Industrien:…

GrammaTech

Programmierfehler schneller finden

Dass der Mars-Rover bislang unfallfrei seiner Erkundungsmission auf dem roten Planeten…

GrammaTech

Distributionsabkommen mit Verifysoft

Installation, Integration und Supportdienstleistungen für die Produkte von GrammaTech sind…

Software-Test

Code-Coverage auf kleinen Targets

In sicherheitskritschen Systemen darf kein Stück Code im Produktionsbetrieb ablaufen, ohne…