Firma

Produkte des Jahres 2020

Software-Engineering

Die Redaktion der Elektronik hat 15 Unternehmen mit ihren Produkten in der Kategorie »Software Engineering und Ingenieurssoftware« nominiert. Wählen Sie Ihren Favoriten aus und stimmen Sie ab bei der Wahl der besten Produkte des Jahres 2020.

Software implantierbarer Geräte

Sicherheit lässt sich programmieren

Eine Fehlfunktion implantierter Medizingeräte kann schwerwiegende Folgen haben. Die…

AbsInt

Static Analysis at Bosch

Since spring 2018, AbsInt Angewandte Informatik GmbH provides a worldwide use license for…

Fehlerfreie Medizinsoftware

Von der Vision zur Wirklichkeit

Aktuelle Sicherheitsnormen fordern den Nachweis, dass die funktionalen Anforderungen…

Quellen: Fehlerfreie Medizinsoftware

Von der Vision zur Wirklichkeit

Aktuelle Sicherheitsnormen fordern den Nachweis, dass die funktionalen Anforderungen…

Systemdesign / Echtzeitbenchmarks

Zeitanalyse komplexer eingebetteter Systeme

Jenseits von einfachen Mikrocontrollern gestaltet sich die Laufzeitanalyse von Programmen…

Formal verifizierter Compiler

Der CompCert-Compiler

Der Aufwand, der betrieben wird, um sicherheitskritische Software zu schreiben, ist…

Vorhersage von Rechenleistung unabdingbar

Multicore-CPUs in sicherheitskritischen Echtzeitsystemen

Viele Multicore-Designs weisen Eigenschaften auf, die ihren Einsatz in…

Forum Funktionale Sicherheit 2014

Fehler sind menschlich

Vom 15. bis 17. Juli 2014 fand im Kempinski Hotel Airport München das Forum Funktionale…

Modellbasierte Enwicklung

Schwere Fehler sicher ausschließen

Bei der modellbasierten Entwicklung wird die Software auf einer hohen Abstraktionsebene,…