Software und Hardware für vernetzte eingebettete Systeme müssen hohe Anforderungen an Sicherheit, Echtzeitfähigkeit, Energie- und Ressourceneffizienz...