Beitrag zur Modellierung, Berechnung und Validierung eines Zuverlässigkeitsmodells für HDL-Code in sicherheitskritischen Systemen

Beitrag zur Modellierung, Berechnung und Validierung eines Zuverlässigkeitsmodells für HDL-Code in sicherheitskritischen Systemen von Machmur,  Bashier
Bei der Entwicklung von Application Specific Integrated Circuit (ASIC) und der Verwendung von Field Programmable Gate Array (FPGA) werden Hardwarebeschreibungssprachen (HDL) für die Funktionsbeschreibung verwendet. Anhand des HDL-Codes wird ein digitaler Schaltungsentwurf erzeugt, der bei der Produktion zu einem digitalen Schaltkreis im ASIC führt. Falls die Funktion des ASICs durch Versagen des digitalen Schaltkreises zu schweren Folgen für die Umwelt und Menschenleben führen kann, muss der digitale Schaltungsentwurf ein bedeutendes Maß an Sicherheit und Zuverlässigkeit aufweisen. Für den Einsatz in sicherheitsgerichteten Elektroniksystemen werden daher diese höheren Anforderungen an der Sicherheit und Zuverlässigkeit anhand der internationalen Norm IEC 61508 bei der Entwicklung des HDL-Codes berücksichtigt. Diese Norm definiert die Zuverlässigkeit des digitalen Schaltungsentwurfs als eine qualitative Aussage. Eine quantitative Zuverlässigkeitsangabe des HDL-Codes wird in der Norm nicht unterstützt. Daher müssen in diesem Bereich neue wissenschaftliche Ansätze erbracht werden, um eine quantitative Aussage bezüglich der Zuverlässigkeit des digitalen Schaltungsentwurfs zu erbringen. Anhand der vorhandenen Softwarezuverlässigkeitsmodelle (SZM), die sich in der klassischen Programmiersprache (CPL) etabliert haben, werden Ansätze für Hardwarebeschreibungssprachen definiert. Dabei werden FPGAs für die Testumgebung verwendet, um eine Ansammlung der Ausfallzeiten für die Berechnungen der SZM zu erhalten. Der neue wissenschaftliche Ansatz der Anpassung der SZM an die Hardwarebeschreibungssprache muss zu einer quantitativen Aussage der Zuverlässigkeit des digitalen Schaltungsentwurfs führen. Ein Vergleich zwischen den existierenden SZM der klassischen Programmiersprache und dem hergeleiteten Ansatz für die Hardwarebeschreibungssprache wird für die Validierung der Anpassung verwendet. Durch den Ansatz kann ein weiterer quantitativer Nachweis der Zuverlässigkeit des HDL-Codes für die Zertifizierungsbehörden erbracht werden, um den Einsatz in sicherheitsgerichteten Elektroniksystemen gewährleisten zu können.
Aktualisiert: 2019-10-01
> findR *
MEHR ANZEIGEN

Bücher von Machmur, Bashier

Sie suchen ein Buch oder Publikation vonMachmur, Bashier ? Bei Buch findr finden Sie alle Bücher Machmur, Bashier. Entdecken Sie neue Bücher oder Klassiker für Sie selbst oder zum Verschenken. Buch findr hat zahlreiche Bücher von Machmur, Bashier im Sortiment. Nehmen Sie sich Zeit zum Stöbern und finden Sie das passende Buch oder die Publiketion für Ihr Lesevergnügen oder Ihr Interessensgebiet. Stöbern Sie durch unser Angebot und finden Sie aus unserer großen Auswahl das Buch, das Ihnen zusagt. Bei Buch findr finden Sie Romane, Ratgeber, wissenschaftliche und populärwissenschaftliche Bücher uvm. Bestellen Sie Ihr Buch zu Ihrem Thema einfach online und lassen Sie es sich bequem nach Hause schicken. Wir wünschen Ihnen schöne und entspannte Lesemomente mit Ihrem Buch von Machmur, Bashier .

Machmur, Bashier - Große Auswahl an Publikationen bei Buch findr

Bei uns finden Sie Bücher aller beliebter Autoren, Neuerscheinungen, Bestseller genauso wie alte Schätze. Bücher von Machmur, Bashier die Ihre Fantasie anregen und Bücher, die Sie weiterbilden und Ihnen wissenschaftliche Fakten vermitteln. Ganz nach Ihrem Geschmack ist das passende Buch für Sie dabei. Finden Sie eine große Auswahl Bücher verschiedenster Genres, Verlage, Schlagworte Genre bei Buchfindr:

Unser Repertoire umfasst Bücher von

Sie haben viele Möglichkeiten bei Buch findr die passenden Bücher für Ihr Lesevergnügen zu entdecken. Nutzen Sie unsere Suchfunktionen, um zu stöbern und für Sie interessante Bücher in den unterschiedlichen Genres und Kategorien zu finden. Neben Büchern von Machmur, Bashier und Büchern aus verschiedenen Kategorien finden Sie schnell und einfach auch eine Auflistung thematisch passender Publikationen. Probieren Sie es aus, legen Sie jetzt los! Ihrem Lesevergnügen steht nichts im Wege. Nutzen Sie die Vorteile Ihre Bücher online zu kaufen und bekommen Sie die bestellten Bücher schnell und bequem zugestellt. Nehmen Sie sich die Zeit, online die Bücher Ihrer Wahl anzulesen, Buchempfehlungen und Rezensionen zu studieren, Informationen zu Autoren zu lesen. Viel Spaß beim Lesen wünscht Ihnen das Team von Buchfindr.