Programming safety requirements in the REFLECT design flow

The common approach to include non-functional requirements in tool chains for hardware/software embedded systems requires developers to manually change the software code and/or the hardware, in an error-prone and tedious process. In the REFLECT research project we explore a novel approach where safe...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Petrov, Z., Kratky, K., Cardoso, J. M. P., Diniz, P. C.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Fault tolerant systems Hardware Redundancy Safety Software Weaving
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!