Show simple item record

dc.contributor.authorLe, Hoang M.
dc.contributor.editorHölldobler, Steffen
dc.date.accessioned2017-09-22T20:47:26Z
dc.date.available2017-09-22T20:47:26Z
dc.date.issued2015
dc.identifier.isbn978-3-88579-975-7
dc.identifier.issn1617-5468
dc.identifier.urihttp://dl.gi.de/handle/20.500.12116/4579
dc.description.abstractAufgrund der rasch zunehmenden Komplexität eingebetteter Systeme ergab sich die Notwendigkeit, die Abstraktionsebene im Systementwurf anzuheben. Es wurde die elektronische Systemebene geschaffen, auf der die Systembeschreibungssprache SystemC und die Konzepte zur Mo- dellierung auf Transaktionsebene (engl. Transaction Level Modeling, TLM) große Bedeutung erlangten. TLM-Modelle, die in SystemC geschrieben sind, ermöglichen den Entwicklern, sehr früh mit der Entwicklung von Software sowie einer Verifikationsumgebung für herkömmliche Hardware- Modelle, die weniger abstrakt und erst viel später im Entwurfsablauf verfügbar sind, zu beginnen. Die resultierende Zeitersparnis und Steigerung der Produktivität hängt jedoch sehr stark von der Korrektheit der TLM-Modelle ab, die als Referenz für die weitere Softwareund Hardware-Entwicklung dienen. Aus diesem Grund ist die funktionale Verifikation von TLM-Modellen unerlässlich. Hierfür wurden in der vorliegenden Dissertation zwei wesentliche Ergebnisse erzielt. Erstens wird die Ka- pazität der formalen Verifikation durch die vorgeschlagenen Techniken in vielen Fällen um mehrere Größenordnungen erhöht. Zweitens ist es mit den entwickelten Verfahren zur Fehlerlokalisierung erstmalig möglich, das Debugging auf der TLM-Abstraktion zu automatisieren. Weitere neuartige Ansätze runden die ganzheitliche Betrachtung des Themas funktionale Verifikation ab.de
dc.language.isode
dc.publisherGesellschaft für Informatik
dc.relation.ispartofAusgezeichnete Informatikdissertationen 2015
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Dissertations, Volume D-16
dc.titleFunktionale Verifikation eingebetteter Systeme: Techniken und Werkzeuge auf Systemebenede
dc.pubPlaceBonn
mci.reference.pages179-188


Files in this item

Thumbnail

Show simple item record