Vorrichtung und Verfahren zur Generierung redundanter, aber unterschiedlicher Maschinencodes aus einem Quellcode zur Verifizierung für ein sicherheitskritisches System

Verfahren und Vorrichtung zur automatischen Generierung wenigstens zweier redundanter, aber unterschiedlicher Realisierungswege für ein sicherheitskritisches System, dadurch gekennzeichnet, dass die wenigstens zwei Realisierungswege aus einer einzigen Systembechreibung generiert werden, im Besondere...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	ROELKE, VOLKER
Format:	Patent
Sprache:	ger
Schlagworte:	CALCULATING COMPUTING COUNTING ELECTRIC DIGITAL DATA PROCESSING PHYSICS
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!